[m-dev.] for review: document that interactive queries require shared libs
Fergus Henderson
fjh at cs.mu.OZ.AU
Mon Oct 25 00:00:55 AEST 1999
Estimated hours taken: 0.5
doc/user_guide.texi:
Document that on Linux you need to use shared libraries
for interactive queries to work.
Workspace: /home/mercury0/fjh/mercury
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.186
diff -u -d -r1.186 user_guide.texi
--- user_guide.texi 1999/10/07 09:31:05 1.186
+++ user_guide.texi 1999/10/24 13:59:34
@@ -1470,6 +1470,19 @@
Note that dynamic linking may not be supported on some systems;
if you are using a system for which dynamic linking is not supported,
you will get an error message when you try to run these commands.
+ at sp 1
+You may also need to build your program using shared libraries
+for interactive queries to work.
+With Linux on the Intel x86 architecture, the default is for
+executables to be statically linked, which means that dynamic
+linking won't work, and hence interactive queries won't work either
+(the error message is rather obscure: the dynamic linker complains
+about the symbol @samp{__data_start} being undefined).
+To build with shared libraries, you can use
+ at samp{MGNUCFLAGS=--pic-reg} and @samp{MLFLAGS=--shared} in your
+Mmakefile. See the @file{README.Linux} file in the Mercury
+distribution for more details.
+
@end table
@node Forward movement commands
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the developers
mailing list