[m-dev.] diff: add `--trace' option for ml

[Erwan Jahier]

| Estimated hours taken: 3
| 
| Improve the autoconfiguration for sockets and the dlopen() stuff,
| and ensure that the libraries needed for these are only linked in
| when debugging.
| 
| This change also fixes a bug: Erwan's recent change to add -lsocket
| broke static linking on Solaris 2.6 machines.  This change means that
| static linking works again, so long as you don't enable debugging.


Thanks Fergus.


| ===================================================================
| RCS file: /home/mercury1/repository/mercury/scripts/ml.in,v
| retrieving revision 1.52
| diff -u -r1.52 ml.in
...
| @@ -40,17 +47,28 @@
|  		libraries, not just the standard Mercury libraries.
|  	--make-shared-lib
|  		Produce a shared library, rather than an executable.
| +
| +Directory options:
|  	-L <directory>, --lib-dir <directory>
|  		Include <directory> in the list of directories that the
|  		linker will use to search for libraries.
|  	-R <directory>, --shared-lib-dir <directory>
|  		Include <directory> in the list of directories that the
|  		dynamic linker will use to search for shared libraries.
| -	--no-demangle
| -		Don't pipe the output of the linker through the Mercury
| -		demangler.
| -	-g, --no-strip, --c-debug
| -		Do not strip debugging information.
| +
| +Debugging options:
| +	-t, --trace
| +		Link in the Mercury debugging libraries.
| +		This option is needed if any of the modules being linked
| +		were compiled with tracing enabled.  However, \`--debug'
| +		implies \`--trace', so if you're using \`--debug',
| +		then you don't need to explicilty specify \`--trace'.

s/explicilty/explicitly


-- 
R1.