forked from Isabelle_DOF/Isabelle_DOF
Added new dependency: Metalogic_ProofChecker
This commit is contained in:
parent
3aa1b45837
commit
da6bc4277d
|
@ -105,7 +105,7 @@ check_isabelle_version() {
|
||||||
check_afp_entries() {
|
check_afp_entries() {
|
||||||
echo "* Checking availability of AFP entries:"
|
echo "* Checking availability of AFP entries:"
|
||||||
missing=""
|
missing=""
|
||||||
required="Regular-Sets Functional-Automata Physical_Quantities"
|
required="Regular-Sets Functional-Automata Physical_Quantities Metalogic_ProofChecker"
|
||||||
for afp in $required; do
|
for afp in $required; do
|
||||||
res=`$ISABELLE_TOOL build -n $afp 2>/dev/null || true`
|
res=`$ISABELLE_TOOL build -n $afp 2>/dev/null || true`
|
||||||
if [ "$res" != "" ]; then
|
if [ "$res" != "" ]; then
|
||||||
|
|
Loading…
Reference in New Issue