Fixed installation message.
This commit is contained in:
parent
df12a32624
commit
21f0339879
4
install
4
install
|
@ -182,7 +182,9 @@ install_and_register(){
|
||||||
ISABELLE_SHORT_VERSION=`echo $ISABELLE_VERSION | sed -e 's/^Isabelle\(.*\):.*/\1/'`
|
ISABELLE_SHORT_VERSION=`echo $ISABELLE_VERSION | sed -e 's/^Isabelle\(.*\):.*/\1/'`
|
||||||
sed -i -e "s|%%% CONFIG %%%| \
|
sed -i -e "s|%%% CONFIG %%%| \
|
||||||
\\\\renewcommand{\\\\dof@isabelleversion}{$ISABELLE_SHORT_VERSION}\n \
|
\\\\renewcommand{\\\\dof@isabelleversion}{$ISABELLE_SHORT_VERSION}\n \
|
||||||
|
\\\\renewcommand{\\\\isabellefullversion}{$ISABELLE_VERSION\\\\xspace}\n \
|
||||||
\\\\renewcommand{\\\\dof@version}{$DOF_VERSION}\n \
|
\\\\renewcommand{\\\\dof@version}{$DOF_VERSION}\n \
|
||||||
|
\\\\renewcommand{\\\\isabelleurl}{$ISABELLE_URL}\n \
|
||||||
\\\\renewcommand{\\\\dof@baseurl}{$DOF_BASE_URL}|" \
|
\\\\renewcommand{\\\\dof@baseurl}{$DOF_BASE_URL}|" \
|
||||||
"$DIR/DOF-core.sty"
|
"$DIR/DOF-core.sty"
|
||||||
|
|
||||||
|
@ -197,7 +199,7 @@ install_and_register(){
|
||||||
if [[ $ISABELLE_TOOLS = *DOF* ]]; then
|
if [[ $ISABELLE_TOOLS = *DOF* ]]; then
|
||||||
echo " * Tools already registered in $DIR/settings"
|
echo " * Tools already registered in $DIR/settings"
|
||||||
else
|
else
|
||||||
echo " * Registering tools in Tools already registered in $DIR/settings"
|
echo " * Registering tools in $DIR/settings"
|
||||||
echo 'ISABELLE_TOOLS=$ISABELLE_TOOLS:$ISABELLE_HOME_USER/DOF/Tools' \
|
echo 'ISABELLE_TOOLS=$ISABELLE_TOOLS:$ISABELLE_HOME_USER/DOF/Tools' \
|
||||||
>> "$DIR/settings"
|
>> "$DIR/settings"
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in New Issue