[m-rev.] diff: make_arena

[Zoltan Somogyi]

tools/make_arena:
	Update this script to handle recent changes in the compilation
	environment.

Zoltan.

cvs diff: Diffing .
Index: make_arena
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/make_arena,v
retrieving revision 1.2
diff -u -b -r1.2 make_arena
--- make_arena	28 Mar 2002 03:28:02 -0000	1.2
+++ make_arena	13 Jan 2003 08:18:31 -0000
@@ -17,9 +17,16 @@
 mkdir arena
 
 # copy the source files that make the best benchmark subjects into tha arena
-cp compiler/make_hlds.m compiler/typecheck.m compiler/llds_out.m compiler/modules.m compiler/code_info.m compiler/polymorphism.m arena
+for module in make_hlds typecheck llds_out modules code_info polymorphism
+do
+	cp compiler/$module.m arena
+done
 
 # copy the interface files and possibly optimization files they will need
-cp library/*.int* library/*.*opt compiler/*.int* arena
+for dir in library browser analysis compiler
+do
+	cp $dir/*.int* arena
+	cp $dir/*.*opt arena > /dev/null 2>&1
+done
 
 exit 0
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------