Use cc.find_library

flintlib · Mar 25, 2024 · 20bfdfa · 20bfdfa
1 parent df3d923
commit 20bfdfa
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/meson.build b/meson.build
@@ -10,11 +10,11 @@ mpfr_dep = dependency('mpfr')
 flint_dep = dependency('flint')
 
 flint_dep = dependency('flint')
+
 if flint_dep.version().version_compare('<3.1')
-    flint_dep = declare_dependency(
-        dependencies: flint_dep,
-        link_args: ['-lflint'],
-    )
+  # This is a workaround for the fact that the flint.pc file in flint < 3.1
+  # is missing -lflint. This is fixed in flint 3.1.0.
+  flint_dep = cc.find_library('flint')
 endif
 
 pyflint_deps = [dep_py, gmp_dep, mpfr_dep, flint_dep]