File tree 3 files changed +10
-4
lines changed
3 files changed +10
-4
lines changed Original file line number Diff line number Diff line change @@ -22,7 +22,7 @@ debug: sanity
22
22
$(OCB ) -tag debug src/moloss.byte
23
23
24
24
static : sanity
25
- $(OCB ) -tag custom src/moloss.native
25
+ STATIC=true $(OCB ) -tag custom src/moloss.native
26
26
27
27
# tests
28
28
various_tests : native
Original file line number Diff line number Diff line change @@ -9,9 +9,6 @@ true: use_menhir
9
9
<src/smtmsat.ml>: package(msat)
10
10
<**/moloss.*>: package(unix), package(minisat), package(msat)
11
11
12
- # compiler options
13
- true: ccopt(-static)
14
-
15
12
# Local Variables:
16
13
# mode: conf
17
14
# End:
Original file line number Diff line number Diff line change
1
+ open Ocamlbuild_plugin
2
+
3
+ let () =
4
+ dispatch begin function
5
+ | After_hygiene ->
6
+ if getenv " STATIC" ~default: " false" = " true" then
7
+ tag_any [" ccopt(-static)" ]
8
+ | _ -> ()
9
+ end
You can’t perform that action at this time.
0 commit comments