Only register AFP components if they are not already registered.
This commit is contained in:
parent
0907f7d88a
commit
b9405bf033
2
install
2
install
|
@ -98,7 +98,7 @@ check_afp_entries() {
|
||||||
if curl -s -L $AFP_URL | tar zxf - -C .afp $extract; then
|
if curl -s -L $AFP_URL | tar zxf - -C .afp $extract; then
|
||||||
for e in $missing; do
|
for e in $missing; do
|
||||||
echo " Registering $e in $ISABELLE_HOME_USER/ROOTS"
|
echo " Registering $e in $ISABELLE_HOME_USER/ROOTS"
|
||||||
echo "$PWD/.afp/afp-2018-08-14/thys/$e" >> $ISABELLE_HOME_USER/ROOTS
|
grep -q $PWD/.afp/afp-2018-08-14/thys/$e || echo "$PWD/.afp/afp-2018-08-14/thys/$e" >> $ISABELLE_HOME_USER/ROOTS
|
||||||
done
|
done
|
||||||
echo " AFP installation successful."
|
echo " AFP installation successful."
|
||||||
else
|
else
|
||||||
|
|
Loading…
Reference in New Issue