blob: 63e11e32e6a989ab1f48b4e20c206ab921b716bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
#! /bin/sh
#
# die quickly if anything goes astray...
set -e
echo '*******************************************************************'
echo '* I hope that you read the relevant documentation and tweaked the *'
echo '* appropriate configuration files _BEFORE_ you started running *'
echo '* this! *'
echo '*******************************************************************'
echo ''
echo "*** We don't project-ify or setup-ify this distribution..."
echo ''
PROJECT=none
SETUP=std
# figure out the absolute pathname of the "top" directory
# (the one which has "mkworld", "nofib", "grasp-utils", etc., as subdirs)
hardtop=`pwd`
hardtop=`echo $hardtop | sed 's|^/tmp_mnt||' | sed 's|^/export||' | sed 's|^/grasp_tmp|/local/grasp_tmp|'`
echo ''
echo "*** I decided the top of your build tree is: $hardtop"
# make all the Makefiles first
for i in mkworld grasp-utils literate ; do
( set -e; \
cd $i ; \
echo '' ; \
echo "*** configuring $i ..." ; \
make -f Makefile.BOOT BOOT_DEFINES="-P none -S std -DTopDirPwd=$hardtop"; \
echo '' ; \
echo "*** making Makefiles in $i ..." ; \
make Makefiles \
)
done
# now make the dependencies and Real Stuff
for i in mkworld literate grasp-utils ; do
( set -e; \
cd $i ; \
echo '' ; \
echo "*** making make dependencies in $i ..." ; \
make depend ; \
echo '' ; \
echo "*** making all in $i ..." ; \
make all \
)
done
echo ''
echo '*******************************************************************'
echo "* You should be ready to install, test, etc., this system..."
echo "* (Please consult the documentation.)"
echo '*******************************************************************'
exit 0
|
