[m-dev.] How do I mmake .opt files?

[Ralph Becket]

I've done something in a workspace that is giving me warnings like this:

/home/ceres/public/mercury-latest/i686-pc-linux-gnu/bin/mmc
--no-unboxed-float --conf-low-tag-bits 2 --bits-per-word 32
--bytes-per-word 4 --make-transitive-optimization-interface --grade
asm_fast.gc.tr.debug      --config-file
../scripts/Mercury.config.bootstrap --no-mercury-stdlib-dir -I../library
--c-include-directory ../boehm_gc --c-include-directory
../boehm_gc/include --c-include-directory ../mps_gc/code
--c-include-directory ../runtime -L../boehm_gc -L../mps_gc/code
-L../runtime -L../library -L../trace -L../browser --no-infer-all
--halt-at-warn --no-warn-inferred-erroneous --strict-sequential --trace
minimum --generate-mmc-deps
-R/home/staff/rafe/mercury/ws-any/mercury/lib/mercury/lib/asm_fast.gc.tr.debug/i686-pc-linux-gnu
-R/home/staff/rafe/mercury/ws-any/mercury/lib/mercury/lib/i686-pc-linux-gnu
--no-shlib-linker-use-install-name  --inline-vars-threshold 10000   list
Warning: cannot open `bintree_set.opt'.
Warning: cannot open `builtin.opt'.
Warning: cannot open `int.opt'.
Warning: cannot open `private_builtin.opt'.
Warning: cannot open `require.opt'.
Warning: cannot open `std_util.opt'.
Warning: cannot open `string.opt'.
Warning: cannot open `table_builtin.opt'.
Warning: cannot open `term.opt'.

This problem is preventing me from building the compiler in this
workspace.  Any idea how one might fix it?

-- Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------