forked from Isabelle_DOF/Isabelle_DOF
Port to Isabelle 2020 (tested with Isabelle 2020 RC4).
This commit is contained in:
parent
f13e325f6a
commit
968694f153
6
.config
6
.config
|
@ -6,9 +6,9 @@ DOF_LATEST_DOI="10.5281/zenodo.3370483"
|
|||
DOF_GENERIC_DOI="10.5281/zenodo.3370482"
|
||||
#
|
||||
# Isabelle and AFP Configuration
|
||||
ISABELLE_VERSION="Isabelle2019: June 2019"
|
||||
ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2019/"
|
||||
AFP_DATE="afp-2019-06-17"
|
||||
ISABELLE_VERSION="Isabelle2020-RC4: April 2020"
|
||||
ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2020-RC4/"
|
||||
AFP_DATE="afp-2020-04-17"
|
||||
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
|
||||
#
|
||||
# Isabelle/DOF Repository Configuration
|
||||
|
|
6
install
6
install
|
@ -1,7 +1,7 @@
|
|||
#!/usr/bin/env bash
|
||||
# Copyright (c) 2018-2019 The University of Sheffield.
|
||||
# 2019-2019 The University of Exeter.
|
||||
# 2018-2019 The University of Paris-Saclay.
|
||||
# 2019-2020 The University of Exeter.
|
||||
# 2018-2020 The University of Paris-Saclay.
|
||||
#
|
||||
# Redistribution and use in source and binary forms, with or without
|
||||
# modification, are permitted provided that the following conditions
|
||||
|
@ -126,6 +126,8 @@ check_afp_entries() {
|
|||
fi
|
||||
done
|
||||
if [ "$missing" != "" ]; then
|
||||
echo " Please install development version of AFP for Isabelle 2020 manually."
|
||||
exit_error
|
||||
echo " Trying to install AFP (this might take a few *minutes*) ...."
|
||||
extract=""
|
||||
for e in $missing; do
|
||||
|
|
Reference in New Issue