Changeset 4181 for trunk/configs

Show
Ignore:
Timestamp:
03/31/08 15:28:48 (9 months ago)
Author:
pmoura
Message:

Updated the YAP and SWI-Prolog config files to set the default value of the "tmpdir" flag depending on the host operating-system.

Location:
trunk/configs
Files:
2 modified

Legend:

Unmodified
Added
Removed

  • trunk/configs/swi.config

    r4102 r4181  
    66%  configuration file for SWI Prolog 5.6.x and later versions 
    77% 
    8 %  last updated: January 23, 2008 
     8%  last updated: March 31, 2008 
    99%  
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    201201 
    202202'$lgt_default_flag'(altdirs, off). 
    203 '$lgt_default_flag'(tmpdir, 'lgt_tmp/'). 
     203'$lgt_default_flag'(tmpdir, TmpDir) :- 
     204    (   current_prolog_flag(unix, true) -> 
     205        TmpDir = '.lgt_tmp/' 
     206    ;   TmpDir = 'lgt_tmp/' 
     207    ). 
    204208'$lgt_default_flag'(xmldir, 'xml_docs/'). 
    205209 

  • trunk/configs/yap.config

    r4102 r4181  
    66%  configuration file for YAP Prolog 5.1.2 and later versions 
    77% 
    8 %  last updated: January 23, 2008 
     8%  last updated: March 31, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    231231 
    232232'$lgt_default_flag'(altdirs, off). 
    233 '$lgt_default_flag'(tmpdir, 'lgt_tmp/'). 
     233'$lgt_default_flag'(tmpdir, TmpDir) :- 
     234    (   current_prolog_flag(unix, true) -> 
     235        TmpDir = '.lgt_tmp/' 
     236    ;   TmpDir = 'lgt_tmp/' 
     237    ). 
    234238'$lgt_default_flag'(xmldir, 'xml_docs/'). 
    235239