11 lines
404 B
Diff
11 lines
404 B
Diff
--- a/src/dune 2022-02-18 15:56:18.448932476 -0700
|
|
+++ b/src/dune 2022-02-18 15:57:07.165948459 -0700
|
|
@@ -11,6 +11,7 @@
|
|
(libraries base_internalhash_types caml sexplib0 shadow_stdlib)
|
|
(flags :standard -w -55)
|
|
(c_flags :standard -D_LARGEFILE64_SOURCE (:include mpopcnt.sexp))
|
|
+ (c_library_flags -lm)
|
|
(c_names exn_stubs int_math_stubs hash_stubs am_testing)
|
|
(preprocess no_preprocessing)
|
|
(lint
|