From e4b0b8c0df7d85ba2f7069037f2f994fba01c1ff Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 17 Feb 2015 20:27:31 +0000 Subject: [PATCH] export --- library/ypp.yap | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/library/ypp.yap b/library/ypp.yap index d622b5ffa..36c5f2057 100644 --- a/library/ypp.yap +++ b/library/ypp.yap @@ -68,12 +68,12 @@ get_state(State):- (Val==0->State=off;State=on). -store_define(Name,Value):- - recorded('___ypp',def(Name,_),Ref), - erase(Ref), +store_define(Name,_Value):- + recorded('___ypp',def(Name,_),Ref), + erase(Ref), fail. store_define(Name,Value):- - system_variable( Name ), + system_variable( Name ), environ( Name, Value ), fail. store_define(Name,Value):- @@ -81,10 +81,9 @@ store_define(Name,Value):- fail. store_define(_Name,_Value). -system_variable( Name ). -system_variable( Name ). -system_variable( Name ). -system_variable( Name ). +system_variable( 'YAPLIBDIR' ). +system_variable( 'YAPSHAREDIR' ). +system_variable( 'YAPBINDIR' ). del_define(Name):- @@ -119,4 +118,3 @@ ypp_file(File,PPFile):- :-set_state(on), ypp_extcmd('cpp -P -E -w -o '). % ypp_extcmd('gpp -o'). -