[m-rev.] diff: tools/bootcheck: support IL grades

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main

tools/bootcheck:
	Add support for grades `il' and `ilc'.

Workspace: /home/fjh/ws/hermes
Index: tools/bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.145
diff -u -d -r1.145 bootcheck
--- tools/bootcheck	26 Jan 2003 13:41:29 -0000	1.145
+++ tools/bootcheck	15 Feb 2003 21:49:41 -0000
@@ -323,9 +323,11 @@
 case $use_subdirs in
 	yes)	cs_subdir=Mercury/cs/
 		ss_subdir=Mercury/ss/
+		ils_subdir=Mercury/ils/
 		;;
 	no)	cs_subdir=
 		ss_subdir=
+		ils_subdir=
 		;;
 esac
 
@@ -342,6 +344,17 @@
 		# then we need to copy the profiler directory.
 		# So to be safe, we just enable this by default.
 		copy_profiler=true
+		;;
+esac
+case $grade in
+	il|ilc)	target_ext=il
+		target_subdir=$ils_subdir
+		target_opt=
+		# See comment above
+		copy_profiler=true
+		# The IL back-end generates native Windows executables,
+		# which do not understand symlinks.  So we need to use cp.
+		use_cp=true
 		;;
 esac
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------