diff options
Diffstat (limited to 'dev-lang/yap/files/yap-6.2.0-yapsharedir.patch')
-rw-r--r-- | dev-lang/yap/files/yap-6.2.0-yapsharedir.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/dev-lang/yap/files/yap-6.2.0-yapsharedir.patch b/dev-lang/yap/files/yap-6.2.0-yapsharedir.patch deleted file mode 100644 index 59f15c54d39f..000000000000 --- a/dev-lang/yap/files/yap-6.2.0-yapsharedir.patch +++ /dev/null @@ -1,14 +0,0 @@ ---- yap-6.orig/pl/consult.yap 2010-10-18 21:48:21.000000000 +1300 -+++ yap-6/pl/consult.yap 2010-10-19 19:40:31.000000000 +1300 -@@ -886,9 +886,9 @@ - atom_concat([Path,File],PFile). - - '$system_library_directories'(Dir) :- -- getenv('YAPSHAREDIR', Dir). -+ getenv('YAPSHAREDIR', Dir), !. - '$system_library_directories'(Dir) :- -- getenv('YAPCOMMONSDIR', Dir). -+ getenv('YAPCOMMONSDIR', Dir), !. - '$system_library_directories'(Dir) :- - get_value(system_library_directory,Dir). - '$system_library_directories'(Dir) :- |