fixup! fixup! fixup! fixup! fixup! fixup! fixup! Use packaged version…

… of mpfr
thvnx · Sep 6, 2024 · d5f23d9 · d5f23d9
1 parent 29563c4
commit d5f23d9
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/dune b/dune
@@ -3,11 +3,16 @@
   (flags
    (:standard -w +42 -ccopt -L/usr/local/lib))
   (c_flags
-   (:standard -O2 -Wall -Wextra -g -L/usr/local/lib))
+   (:include c_flags.sexp));-O2 -Wall -Wextra -g -L/usr/local/lib))
   (env-vars
    (LD_LIBRARY_PATH /usr/local/lib)))
  (release
   (flags
    (:standard -warn-error))
   (c_flags
    (:standard -O2 -Werror))))
+
+(rule
+ (targets c_flags.sexp c_library_flags.sexp)
+ (action
+  (run ./src/config/discover.exe)))