3 # die quickly if anything goes astray...
6 # figure out the absolute pathname of the "top" directory
7 # (the one which has "mkworld", "nofib", "glafp-utils", etc., as subdirs)
9 hardtop=`echo $hardtop | sed 's|^/tmp_mnt/|/|' | sed 's|^/export/|/|' | sed 's|^/grasp_tmp|/local/grasp_tmp|'`
11 echo "*** The top of your build tree is: $hardtop"
14 # NeXTStep brain damage
15 /private/tmp_mnt/auto* )
17 echo '*** AAARRRGGGHHHH!!!'
19 echo '*** Stupid automounter (and pwd) will not tell me'
20 echo '*** the absolute pathname for the current directory.'
21 echo '*** Be sure to set TopDirPwd in mkworld/site-DEF.jm.'
22 echo '*** (Then it does not matter what this script decides.)'
27 # make "mkworld", "literate", and "glafp-utils" (no special configuration)
29 # make all the Makefiles first
31 for i in @DoingMkWorld@ @DoingGlaFpUtils@ @DoingLiterate@ ; do
36 echo "*** configuring $i ..." ; \
37 make -f Makefile.BOOT BOOT_DEFINES="-P none -S std -DTopDirPwd=$hardtop"; \
39 echo "*** making Makefiles in $i ..." ; \
44 echo warning: $i is not a directory -- doing nothing for it
48 # now make the dependencies and Real Stuff
50 for i in @DoingMkWorld@ @DoingGlaFpUtils@ @DoingLiterate@ ; do
55 echo "*** making dependencies in $i ..." ; \
58 echo "*** making all in $i ..." ; \
62 echo warning: $i is not a directory -- doing nothing for it
66 # OK, now make the \`real' Makefiles
68 passed_in_setup="-S @MkWorldSetup@"
70 for i in @DoingGHC@ @DoingHappy@ @DoingHaggis@ @DoingNoFib@ EndOfList ; do
71 if [ $i = nofib ] ; then
72 setup=$passed_in_setup
80 echo "*** configuring $i ..." ; \
81 make -f Makefile.BOOT BOOT_DEFINES="-P $i $setup -C mkworld -DTopDirPwd=$hardtop"; \
83 echo "*** making Makefiles in $i ..." ; \
88 if [ $i != EndOfList ] ; then
89 echo warning: $i is not a directory -- doing nothing for it
94 # Finally, the dependencies
96 for i in @DoingGHC@ @DoingHappy@ @DoingHaggis@ @DoingNoFib@ EndOfList ; do
101 echo "*** making dependencies in $i ..." ; \
105 if [ $i != EndOfList ] ; then
106 echo warning: $i is not a directory -- doing nothing for it
112 echo '*******************************************************************'
113 echo "* Looking good! All you should need to do now is... *"
115 for i in @DoingGHC@ @DoingHappy@ @DoingHaggis@ @DoingNoFib@ EndOfList ; do
116 if [ $i != EndOfList ] ; then
118 if [ $i = nofib ] ; then
119 echo ' make all # or...'
120 echo ' make runtests'
123 echo ' make install # if you are so inclined...'
128 echo '*******************************************************************'