mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
6e5a0144ae
Library grade detection causes the library installation for the csharp grade (and probably any grades that use mmc --make) to fail. (There is likely a better solution than this, e.g. making --no-mercury-stdlib-dir imply --no-detect-libgrades, but the handling of command line options in this part of the compiler is pretty convoluted, so I will look into that separately.) browser/MDB_FLAGS.in: compiler/COMP_FLAGS.in: deep_profiler/DEEP_FLAGS.in: library/LIB_FLAGS.in: mdbcomp/MDBCOMP_FLAGS.in: mfilterjavac/MFILTERJAVAC_FLAGS.in: profiler/PROF_FLAGS.in: slice/SLICE_FLAGS.in: ssdb/SSDB_FLAGS.in: As above.
28 lines
633 B
Plaintext
28 lines
633 B
Plaintext
@BOOTSTRAP_MC_ARGS@
|
|
--optimize-constructor-last-call
|
|
--profile-optimized
|
|
--no-infer-all
|
|
--halt-at-warn
|
|
--no-warn-inferred-erroneous
|
|
--no-mercury-stdlib-dir
|
|
--no-detect-libgrades
|
|
--strict-sequential
|
|
--generate-mmc-deps
|
|
--no-shlib-linker-use-install-name
|
|
--trace minimum
|
|
--force-disable-ssdebug
|
|
--no-libgrade
|
|
--c-include-directory ../boehm_gc
|
|
--c-include-directory ../boehm_gc/include
|
|
--c-include-directory ../runtime
|
|
--c-include-directory ../robdd
|
|
--csharp-flag -keyfile:../mercury.snk
|
|
-L../boehm_gc
|
|
-L../runtime
|
|
-L../library
|
|
-L../trace
|
|
-L../mdbcomp
|
|
-L../browser
|
|
--no-java-classpath
|
|
--config-file ../scripts/Mercury.config.bootstrap
|