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

[Julien Fischer]

On Thu, 23 Dec 2004, Ralph Becket wrote:

> 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'.
>

Have you tried doing a mmake realclean and just rebuilding everything?

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------