[m-rev.] trivial diff: enable shared libraries on x86_64/linux

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

configure.in:
	Enable Mercury shared libraries on x86_64/Linux.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.426
diff -u -r1.426 configure.in
--- configure.in	30 Aug 2005 22:58:06 -0000	1.426
+++ configure.in	31 Aug 2005 07:06:45 -0000
@@ -3118,7 +3118,7 @@
 DEFAULT_LINKAGE="shared"

 case "$host" in
-	i*86-*-linux|i*86-*-linux-gnu)
+	i*86-*-linux|i*86-*-linux-gnu|x86_64-*-linux|x86_64-*-linux-gnu)
 		case $ac_cv_prog_gcc in
 		yes)
 			AC_MSG_RESULT(yes)

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------