Changeset 4467 for trunk/configs

Show
Ignore:
Timestamp:
09/11/08 09:25:09 (4 months ago)
Author:
pmoura
Message:

Updated the ECLiPSe 6.0 config files in order to switch on the use of multifile/1 directives.

Location:
trunk/configs
Files:
2 modified

Legend:

Unmodified
Added
Removed

  • trunk/configs/eclipse6.config

    r4466 r4467  
    1212%  configuration file for ECLiPSe 6.0#33 and later versions 
    1313% 
    14 %  last updated: August 22, 2008 
     14%  last updated: September 11, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    1919:- pragma(system). 
    2020:- pragma(nodebug). 
     21 
     22:- use_module(library(multifile)). 
    2123 
    2224 
    … …  
    314316 
    315317'$lgt_default_flag'(encoding_directive, unsupported). 
    316 '$lgt_default_flag'(multifile_directive, unsupported). 
     318'$lgt_default_flag'(multifile_directive, supported). 
    317319'$lgt_default_flag'(threads, unsupported). 
    318320 

  • trunk/configs/eclipse6iso.config

    r4466 r4467  
    1212%  configuration file for ECLiPSe 6.0#33 and later versions 
    1313% 
    14 %  last updated: August 14, 2008 
     14%  last updated: September 11, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    1919:- pragma(system). 
    2020:- pragma(nodebug). 
     21 
     22:- use_module(library(multifile)). 
    2123 
    2224 
    … …  
    225227 
    226228'$lgt_default_flag'(encoding_directive, unsupported). 
    227 '$lgt_default_flag'(multifile_directive, unsupported). 
     229'$lgt_default_flag'(multifile_directive, supported). 
    228230'$lgt_default_flag'(threads, unsupported). 
    229231