changeset 74313 | 6b998ce1b8cb |
parent 74312 | 7b860fa1140f |
child 74464 | c30906fbbe91 |
74312:7b860fa1140f | 74313:6b998ce1b8cb |
---|---|
93 |
93 |
94 VAMPIRE_HOME="$COMPONENT/$ISABELLE_PLATFORM64" |
94 VAMPIRE_HOME="$COMPONENT/$ISABELLE_PLATFORM64" |
95 |
95 |
96 ISABELLE_VAMPIRE="$VAMPIRE_HOME/vampire" |
96 ISABELLE_VAMPIRE="$VAMPIRE_HOME/vampire" |
97 ISABELLE_VAMPIRE_POLYMORPHIC="$VAMPIRE_HOME/vampire_polymorphic" |
97 ISABELLE_VAMPIRE_POLYMORPHIC="$VAMPIRE_HOME/vampire_polymorphic" |
98 |
|
99 VAMPIRE_EXTRA_OPTIONS="" |
|
100 """) |
98 """) |
101 |
99 |
102 |
100 |
103 /* README */ |
101 /* README */ |
104 |
102 |