[m-rev.] diff: enable `--allow-undefined' by default

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Enable `--allow-undefined' by default, since Mercury shared libraries
may contain undefined symbols when they are linked.  Specifically,
the global variables used to implement the runtime conditions of trace
goals won't exist when a shared library is linked, only when an executable
using it is linked.

compiler/options.m:
doc/user_guide.texi:
 	Enable --allow-undefined by default.

 	Update documentation to match.

Julien.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.561
diff -u -r1.561 options.m
--- compiler/options.m	23 May 2007 10:21:16 -0000	1.561
+++ compiler/options.m	23 May 2007 10:25:06 -0000
@@ -1485,7 +1485,7 @@
      demangle                            -   bool(yes),
      strip                               -   bool(yes),
      main                                -   bool(yes),
-    allow_undefined                     -   bool(no),
+    allow_undefined                     -   bool(yes),
      use_readline                        -   bool(yes),
      runtime_flags                       -   accumulating([]),
      extra_initialization_functions      -   bool(no),
@@ -4689,8 +4689,8 @@
          "--no-main",
          "\tDon't generate a C main() function.  The user's code must",
          "\tprovide a main() function.",
-        "--allow-undefined",
-        "\tAllow undefined symbols in shared libraries.",
+        "--no-allow-undefined",
+        "\tDo not allow undefined symbols in shared libraries.",
          "--no-use-readline",
          "\tDisable use of the readline library in the debugger.",
          "--runtime-flags <flags>",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.519
diff -u -r1.519 user_guide.texi
--- doc/user_guide.texi	14 May 2007 08:20:15 -0000	1.519
+++ doc/user_guide.texi	23 May 2007 10:25:06 -0000
@@ -8975,9 +8975,9 @@
  provide a main() function.

  @sp 1
- at item --allow-undefined
- at findex --allow-undefined
-Allow undefined symbols in shared libraries.
+ at item --no-allow-undefined
+ at findex --no-allow-undefined
+Do not allow undefined symbols in shared libraries.

  @sp 1
  @item --no-use-readline

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------