diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2010-12-01 21:29:20 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2010-12-01 21:29:20 +0000 |
commit | 373fabf1c0d3d6bdf6c8a029f59854080172baef (patch) | |
tree | 8c6a1fa2deed718aafaebfe26fb02f58d628a6e7 /pkgs/applications/science/logic/isabelle | |
parent | b89881d098ad69ccfc446be5c6cadec5eba13774 (diff) | |
download | nixlib-373fabf1c0d3d6bdf6c8a029f59854080172baef.tar nixlib-373fabf1c0d3d6bdf6c8a029f59854080172baef.tar.gz nixlib-373fabf1c0d3d6bdf6c8a029f59854080172baef.tar.bz2 nixlib-373fabf1c0d3d6bdf6c8a029f59854080172baef.tar.lz nixlib-373fabf1c0d3d6bdf6c8a029f59854080172baef.tar.xz nixlib-373fabf1c0d3d6bdf6c8a029f59854080172baef.tar.zst nixlib-373fabf1c0d3d6bdf6c8a029f59854080172baef.zip |
Fix settings patch for Isabelle
svn path=/nixpkgs/trunk/; revision=24951
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
-rw-r--r-- | pkgs/applications/science/logic/isabelle/settings.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/isabelle/settings.patch b/pkgs/applications/science/logic/isabelle/settings.patch index 15a70944087b..dc9c611d4886 100644 --- a/pkgs/applications/science/logic/isabelle/settings.patch +++ b/pkgs/applications/science/logic/isabelle/settings.patch @@ -6,7 +6,7 @@ diff -Naur Isabelle2009-1/etc/settings Isabelle2009-1-patched/etc/settings # Poly/ML 5.x (automated settings) -POLY_HOME="$(type -p poly)"; [ -n "$POLY_HOME" ] && POLY_HOME="$(dirname "$POLY_HOME")" - ML_PLATFORM=$("$ISABELLE_HOME/lib/scripts/polyml-platform") + ML_PLATFORM="$ISABELLE_PLATFORM" -ML_HOME=$(choosefrom \ - "$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM" \ - "$ISABELLE_HOME/../polyml/$ML_PLATFORM" \ |