blob: 59f15c54d39fba0e18b7d73d2ab3f43e7e16a9bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--- 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) :-
|
GitWeb
