diff options
Diffstat (limited to 'dev-lang/mozart/files/mozart-1.4.0-ozhome.patch')
| -rw-r--r-- | dev-lang/mozart/files/mozart-1.4.0-ozhome.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-lang/mozart/files/mozart-1.4.0-ozhome.patch b/dev-lang/mozart/files/mozart-1.4.0-ozhome.patch new file mode 100644 index 000000000000..2479ecab2c09 --- /dev/null +++ b/dev-lang/mozart/files/mozart-1.4.0-ozhome.patch @@ -0,0 +1,11 @@ +--- mozart-1.4.0.20080704.orig/share/bin/oz.in 2008-04-22 20:40:41.000000000 +1200 ++++ mozart-1.4.0.20080704/share/bin/oz.in 2008-07-06 19:04:46.000000000 +1200 +@@ -4,7 +4,7 @@ + # to draw links from say /usr/local/bin to OZHOME/bin + # see chapter "installation" in the users manual for more information + +-# OZHOME=/usr/local/mozart ++OZHOME=/usr/lib/mozart + + + |