equal
deleted
inserted
replaced
44 [ "$1" = "-?" ] && usage |
44 [ "$1" = "-?" ] && usage |
45 [ "$#" -lt "1" ] && usage |
45 [ "$#" -lt "1" ] && usage |
46 |
46 |
47 [ -d $DISTPREFIX ] || fail "$DISTPREFIX is not a directory." |
47 [ -d $DISTPREFIX ] || fail "$DISTPREFIX is not a directory." |
48 |
48 |
|
49 TARGETS=all |
|
50 |
49 # make file flags and nice setup for different target platforms |
51 # make file flags and nice setup for different target platforms |
50 case $HOSTNAME in |
52 case $HOSTNAME in |
51 atbroy51) |
53 atbroy51) |
52 MFLAGS="-k -j 2" |
54 MFLAGS="-k -j 2" |
53 NICE="" |
55 NICE="" |
67 MFLAGS="-k -j 2" |
69 MFLAGS="-k -j 2" |
68 ;; |
70 ;; |
69 |
71 |
70 macbroy2) |
72 macbroy2) |
71 MFLAGS="-k" |
73 MFLAGS="-k" |
|
74 TARGETS=full |
72 NICE="" |
75 NICE="" |
73 ;; |
76 ;; |
74 |
77 |
75 macbroy5) |
78 macbroy5) |
76 MFLAGS="-k -j 2" |
79 MFLAGS="-k -j 2" |
92 NICE="nice" |
95 NICE="nice" |
93 ;; |
96 ;; |
94 |
97 |
95 macbroy2[0-9]) |
98 macbroy2[0-9]) |
96 MFLAGS="-k -j 2" |
99 MFLAGS="-k -j 2" |
|
100 NICE="" |
|
101 ;; |
|
102 |
|
103 macbroy30) |
|
104 MFLAGS="-k" |
|
105 TARGETS=full |
97 NICE="" |
106 NICE="" |
98 ;; |
107 ;; |
99 |
108 |
100 *) |
109 *) |
101 MFLAGS="-k" |
110 MFLAGS="-k" |
117 ISABELLE_HOME="$($ISABELLE_TOOL getenv -b ISABELLE_HOME)" |
126 ISABELLE_HOME="$($ISABELLE_TOOL getenv -b ISABELLE_HOME)" |
118 DIR="$ISABELLE_HOME/src/$LOGIC" |
127 DIR="$ISABELLE_HOME/src/$LOGIC" |
119 TOOL="$ISABELLE_TOOL make $MFLAGS $TARGETS" |
128 TOOL="$ISABELLE_TOOL make $MFLAGS $TARGETS" |
120 else |
129 else |
121 DIR="." |
130 DIR="." |
122 TOOL="$ISABELLE_TOOL makeall $MFLAGS all" |
131 TOOL="$ISABELLE_TOOL makeall $MFLAGS $TARGETS" |
123 fi |
132 fi |
124 |
133 |
125 IDENT=$(cat "$DISTPREFIX/ISABELLE_IDENT") |
134 IDENT=$(cat "$DISTPREFIX/ISABELLE_IDENT") |
126 |
135 |
127 # main test loop |
136 # main test loop |