Use POSIX-compliant method to find isabelle command.
This commit is contained in:
parent
642a1924a2
commit
f56e2a7b9e
|
@ -177,7 +177,7 @@ isa_version_cmd (){
|
||||||
echo `Isabelle version | sed -e 's/:.*//' -e 's/Isabelle//'`
|
echo `Isabelle version | sed -e 's/:.*//' -e 's/Isabelle//'`
|
||||||
}
|
}
|
||||||
isa_version_dir() {
|
isa_version_dir() {
|
||||||
echo `which isabelle | sed -e 's/.*Isabelle//' -e 's/.bin.*//'`
|
echo `command -v isabelle | sed -e 's/.*Isabelle//' -e 's/.bin.*//'`
|
||||||
}
|
}
|
||||||
prompt_isabelle_env() {
|
prompt_isabelle_env() {
|
||||||
ISADIR=false
|
ISADIR=false
|
||||||
|
|
Loading…
Reference in New Issue