[m-rev.] diff: make_arena
Zoltan Somogyi
zs at cs.mu.OZ.AU
Mon Jan 13 20:30:17 AEDT 2003
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
--------------------------------------------------------------------------
More information about the reviews
mailing list