diff options
Diffstat (limited to 'dev-lang/yap/files/yap-6.0.5-yapsharedir.patch')
| -rw-r--r-- | dev-lang/yap/files/yap-6.0.5-yapsharedir.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/dev-lang/yap/files/yap-6.0.5-yapsharedir.patch b/dev-lang/yap/files/yap-6.0.5-yapsharedir.patch new file mode 100644 index 000000000000..487a939962e6 --- /dev/null +++ b/dev-lang/yap/files/yap-6.0.5-yapsharedir.patch @@ -0,0 +1,14 @@ +--- yap-6.orig/pl/consult.yap 2010-05-12 01:53:25.000000000 +1200 ++++ yap-6/pl/consult.yap 2010-05-16 09:26:41.000000000 +1200 +@@ -872,9 +872,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) :- |