xcgdfg
This commit is contained in:
parent
4f349de9b9
commit
e362286c32
|
@ -7,7 +7,7 @@ session "TR_mycommentedisabelle" = "Isabelle_DOF" +
|
||||||
"preamble.tex"
|
"preamble.tex"
|
||||||
"prooftree.sty"
|
"prooftree.sty"
|
||||||
"build"
|
"build"
|
||||||
"figures/markup-demo"
|
"figures/markup-demo.png"
|
||||||
"figures/text-element.pdf"
|
"figures/text-element.pdf"
|
||||||
"figures/isabelle-architecture.pdf"
|
"figures/isabelle-architecture.pdf"
|
||||||
"figures/pure-inferences-I.pdf"
|
"figures/pure-inferences-I.pdf"
|
||||||
|
|
35
install
35
install
|
@ -126,19 +126,28 @@ check_isa_dof_patch() {
|
||||||
echo " Warning: Isabelle/HOL needs to be rebuild to activate patch."
|
echo " Warning: Isabelle/HOL needs to be rebuild to activate patch."
|
||||||
fi
|
fi
|
||||||
else
|
else
|
||||||
command -v md5sum >/dev/null 2>&1 || echo " Warning: md5sum not available, cannot check if patch is already applied."
|
if command -v md5 > /dev/null 2>&1 && [[ $(md5 "$src" | cut -d' ' -f1) = $(md5 "$dst" | cut -d' ' -f1) ]]; then
|
||||||
echo " Warning: Isabelle/DOF patch is not available or outdated."
|
echo " Success: latest Isabelle/DOF patch already applied"
|
||||||
echo " Trying to patch system ...."
|
if isabelle process -e 'Thy_Output.set_meta_args_parser' &> /dev/null ; then
|
||||||
if (cp $dst $dst.backup-by-isadof-installer && cp -f $src $dst) &> /dev/null; then
|
true
|
||||||
echo " Applied patch successfully, Isabelle/HOL will be rebuilt during"
|
else
|
||||||
echo " the next start of Isabelle."
|
echo " Warning: Isabelle/HOL needs to be rebuild to activate patch."
|
||||||
else
|
fi
|
||||||
echo " FAILURE: Could not apply Isabelle/DOF patch."
|
else
|
||||||
echo " Please copy patches/thy_output.ML to $ISABELLE_HOME/src/Pure/Thy/:"
|
ommand -v md5sum >/dev/null 2>&1 || command -v md5 >/dev/null 2>&1 || echo " Warning: neither md5sum inor md5 were available, cannot check if patch is already applied."
|
||||||
echo " cp patches/thy_output.ML $ISABELLE_HOME/src/Pure/Thy/"
|
echo " Warning: Isabelle/DOF patch is not available or outdated."
|
||||||
echo " and rebuild Isabelle/HOL."
|
echo " Trying to patch system ...."
|
||||||
exit_error
|
if (cp $dst $dst.backup-by-isadof-installer && cp -f $src $dst) &> /dev/null; then
|
||||||
fi
|
echo " Applied patch successfully, Isabelle/HOL will be rebuilt during"
|
||||||
|
echo " the next start of Isabelle."
|
||||||
|
else
|
||||||
|
echo " FAILURE: Could not apply Isabelle/DOF patch."
|
||||||
|
echo " Please copy patches/thy_output.ML to $ISABELLE_HOME/src/Pure/Thy/:"
|
||||||
|
echo " cp patches/thy_output.ML $ISABELLE_HOME/src/Pure/Thy/"
|
||||||
|
echo " and rebuild Isabelle/HOL."
|
||||||
|
exit_error
|
||||||
|
fi
|
||||||
|
fi
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue