summaryrefslogtreecommitdiff
path: root/web/glasgow/lit2x-0.16/STARTUP-literate
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