Check for the presence of Physical_Quantities.
This commit is contained in:
parent
99facb109c
commit
6ee7058d51
|
@ -77,7 +77,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"
|
required="Regular-Sets Functional-Automata Physical_Quantities"
|
||||||
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