-
Notifications
You must be signed in to change notification settings - Fork 54
/
EXTRAS_FLAGS.in
45 lines (45 loc) · 1.48 KB
/
EXTRAS_FLAGS.in
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
@BOOTSTRAP_MC_ARGS@
--no-infer-all
--warn-known-bad-format-calls
--warn-unknown-format-calls
--warn-non-contiguous-clauses
--warn-non-contiguous-foreign-procs
--warn-inconsistent-pred-order-clauses
--warn-unused-imports
--warn-insts-with-functors-without-type
--warn-suspicious-foreign-code
--warn-dead-preds
--warn-implicit-stream-calls
--warn-potentially-ambiguous-pragma
--halt-at-warn
--no-halt-at-warn-make-int
--no-halt-at-warn-make-opt
--no-mercury-stdlib-dir
--no-detect-libgrades
-I../../ssdb
-I../../browser
-I../../mdbcomp
-I../../library
--c-include-directory ../../boehm_gc
--c-include-directory ../../boehm_gc/include
--c-include-directory ../../runtime
--c-include-directory ../../library
--c-include-directory ../../library/Mercury/mhs
--c-include-directory ../../library/Mercury/mihs
--c-include-directory ../../mdbcomp
--c-include-directory ../../mdbcomp/Mercury/mhs
--c-include-directory ../../mdbcomp/Mercury/mihs
--c-include-directory ../../browser
--c-include-directory ../../browser/Mercury/mhs
--c-include-directory ../../browser/Mercury/mihs
--c-include-directory ../../ssdb
--c-include-directory ../../ssdb/Mercury/mhs
--c-include-directory ../../ssdb/Mercury/mihs
--c-include-directory ../../trace
--csharp-flag -keyfile:../../mercury.snk
--no-java-classpath
--java-classpath ../../library/mer_rt.jar
--java-classpath ../../library/mer_std.jar
--java-classpath ../../browser/mer_browser.jar
--java-classpath ../../mdbcomp/mer_mdbcomp.jar
--config-file ../../scripts/Mercury.config.bootstrap