fix: add missing file

kupl · Nov 9, 2023 · 7e5ede5 · 7e5ede5
1 parent 792a09e
commit 7e5ede5
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/C/flint-1/buggy/flint.pc.in b/C/flint-1/buggy/flint.pc.in
@@ -0,0 +1,11 @@
+prefix=@prefix@
+exec_prefix=@exec_prefix@
+includedir=@includedir@
+libdir=@libdir@
+
+Name: @PACKAGE_NAME@
+Description: Fast Library for Number Theory
+Version: @PACKAGE_VERSION@
+URL: https://flintlib.org/
+Cflags: -I${includedir}
+Libs: -L${libdir} -lgmp -lmpfr