[m-rev.] diff: g12 release of mercury

Mark Brown mark at cs.mu.OZ.AU
Tue Jan 24 17:17:32 AEDT 2006


Estimated hours taken: 0.1
Branches: main

tools/test_mercury:
	Further updates for building a g12 release of Mercury.

Index: tools/test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.280
diff -u -r1.280 test_mercury
--- tools/test_mercury	18 Jan 2006 04:55:47 -0000	1.280
+++ tools/test_mercury	24 Jan 2006 06:15:19 -0000
@@ -172,8 +172,7 @@
 	g12)
 		# At the moment we don't have a tagged g12 rotd
 		# so just use the main branch.
-		# CHECKOUT_OPTS=-r<g12_rotd_tagname>
-		CHECKOUT_OPTS=-A
+		CHECKOUT_OPTS=-rg12-0_1_0
 		BASE_TAG_NAME=g12-rotd
 		FTP_DIR_NAME=g12-rotd
 		RELEASE_VERSION=g12-rotd-$DATE
@@ -220,7 +219,7 @@
 	saturn)		OPTIMIZE="-O5 --intermodule-optimization" ;;
 	$G12_ROTD_HOST|swordfish)
 		case $BRANCH in
-			g12) OPTIMIZE="-O2" ;;
+			g12) OPTIMIZE="-O3" ;;
 			*)   OPTIMIZE="-O4 --intermodule-optimization --constraint-propagation" ;;
 		esac
 		;;
@@ -460,9 +459,15 @@
 			g12)
 				DEFAULT_GRADE=hlc.gc.tr
 				export $DEFAULT_GRADE
+				INSTALL_LIBGRADES="hlc.gc.tr		\
+					hl.gc.tr			\
+					asm_fast.gc.tr			\
+					asm_fast.gc.tr.prof 		\
+					asm_fast.gc.tr.memprof 		\
+					asm_fast.gc.tr.profdeep		\
+					asm_fast.gc.tr.debug"
 			;;
-		esac
-		INSTALL_LIBGRADES="asm_fast.gc				\
+				INSTALL_LIBGRADES="asm_fast.gc		\
 					hlc.gc.tr			\
 					hlc.gc.tr.prof 			\
 					hlc.gc.tr.memprof		\
@@ -472,6 +477,8 @@
 					asm_fast.gc.tr.profdeep		\
 					asm_fast.gc.tr.decldebug	\
 					hlc.gc"
+			;;
+		esac
 		;; 
 	uranus)
 		CONFIG_OPTS=""
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list