Cleaner dune files

LesBoloss-es · May 24, 2020 · 0e6951b · 0e6951b
1 parent f873f3e
commit 0e6951b
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 5 deletions.
diff --git a/dune b/dune
@@ -0,0 +1,2 @@
+(env
+ (_ (c_flags :standard -Wall -Werror -Wpedantic)))
diff --git a/prng/src/splitmix/tests/dune b/prng/src/splitmix/tests/dune
@@ -4,9 +4,9 @@
 
 (rule
  (target sm64_c.exe)
- (deps reference.h (:codedeps sm64_c.c reference.c ../../testutils/libtestutils.a))
+ (deps reference.h (:codedeps sm64_c.c reference.c %{lib-private:testutils:libtestutils.a}))
  (action
-  (run cc -Wall -Wextra -Wpedantic -o %{target} %{codedeps})))
+  (run %{cc} -o %{target} %{codedeps})))
 
 (rule (with-stdout-to sm64_ocaml.output (run ./sm64_ocaml.exe --nb=1000)))
 (rule (with-stdout-to sm64_c.output     (run ./sm64_c.exe     --nb=1000)))

diff --git a/prng/src/testutils/dune b/prng/src/testutils/dune
@@ -1,7 +1,6 @@
 (foreign_library
  (archive_name testutils)
  (language c)
- (flags -Wall -Wextra -Wpedantic)
  (names testutils))
 
 (library

diff --git a/prng/src/xoshiro/tests/dune b/prng/src/xoshiro/tests/dune
@@ -4,9 +4,9 @@
 
 (rule
  (target x256pp_c.exe)
- (deps reference.h (:codedeps x256pp_c.c reference.c ../../testutils/libtestutils.a))
+ (deps reference.h (:codedeps x256pp_c.c reference.c %{lib-private:testutils:libtestutils.a}))
  (action
-  (run cc -Wall -Wextra -Wpedantic -o %{target} %{codedeps})))
+  (run %{cc} -o %{target} %{codedeps})))
 
 
 (rule (with-stdout-to x256pp_int.output   (run ./int.exe      --nb=1000)))