refactor: use -I only in dev profile

imitator-model-checker · Oct 1, 2024 · 198b2ac · 198b2ac
1 parent a151206
commit 198b2ac
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/bin/dune b/src/bin/dune
@@ -2,7 +2,6 @@
  (name IMITATOR)
  (modes byte exe)
  (libraries lib)
- (ocamlc_flags (-g) (-I %{env:OPAM_SWITCH_PREFIX=}/lib/gmp/) (-I %{env:OPAM_SWITCH_PREFIX=}/lib/ppl))
  (link_flags
   (:include link_flags.%{system})
   (:standard
@@ -35,7 +34,10 @@
 (env
  (dev
   (flags
-   (:standard -warn-error -A))))
+   (:standard -warn-error -A -g)
+   (-I %{env:OPAM_SWITCH_PREFIX=}/lib/gmp/)
+   (-I %{env:OPAM_SWITCH_PREFIX=}/lib/ppl)
+  )))
 
 
 (rule