[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