diff options
| author | Martin Wilke <miwi@FreeBSD.org> | 2007-03-22 11:32:00 +0000 |
|---|---|---|
| committer | Martin Wilke <miwi@FreeBSD.org> | 2007-03-22 11:32:00 +0000 |
| commit | 6c11582094ece535d53389e0fcc6f71d1023ac0f (patch) | |
| tree | e67cc333968622f5f081f07a3741dd60668342b6 /math/isabelle/files/patch-etc-settings | |
| parent | - Update to 0.8.0 (diff) | |
- Fix crash with lang/polyml.
PR: 109958
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Diffstat (limited to 'math/isabelle/files/patch-etc-settings')
| -rw-r--r-- | math/isabelle/files/patch-etc-settings | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/isabelle/files/patch-etc-settings b/math/isabelle/files/patch-etc-settings index 7fa19cbfcb4e..07944e074d80 100644 --- a/math/isabelle/files/patch-etc-settings +++ b/math/isabelle/files/patch-etc-settings @@ -34,7 +34,7 @@ +ML_SYSTEM=%%ML_SYSTEM%% +ML_HOME=%%ML_HOME%% +ML_OPTIONS=%%ML_OPTIONS%% -+ML_PLATFORM=x86-bsd ++ML_PLATFORM=%%ML_PLATFORM%% +ML_DBASE=%%ML_DBASE%% ### |