Changeset 4580 for trunk/configs

Show
Ignore:
Timestamp:
11/07/08 16:33:23 (2 months ago)
Author:
pmoura
Message:

Added a "prolog" read-only compiler flag whose value is the name of the back-end Prolog compiler (an atom). This flag can be used for conditional compilation of Prolog specific code.

Location:
trunk/configs
Files:
29 modified

Legend:

Unmodified
Added
Removed

  • trunk/configs/als.config

    r4572 r4580  
    1212%  configuration file for ALS Prolog 3.1 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    201201% 
    202202% default values for all flags 
     203 
     204'$lgt_default_flag'(prolog, als). 
    203205 
    204206'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/amzi.config

    r4572 r4580  
    1212%  configuration file for Amzi! Prolog 7.6.1 and later versions 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    197197% 
    198198% default values for all flags 
     199 
     200'$lgt_default_flag'(prolog, amzi). 
    199201 
    200202'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/b.config

    r4572 r4580  
    1212%  configuration file for B-Prolog 7.1 
    1313% 
    14 %  last updated: October 28, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    157157% 
    158158% default values for all flags 
     159 
     160'$lgt_default_flag'(prolog, b). 
    159161 
    160162'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/bin.config

    r4572 r4580  
    1212%  configuration file for BinProlog 8.x~10.x 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    263263% 
    264264% default values for all flags 
     265 
     266'$lgt_default_flag'(prolog, bin). 
    265267 
    266268'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/ciao_aux.config

    r4572 r4580  
    1212%  configuration file for CIAO Prolog 1.8p2 and later versions 
    1313% 
    14 %  last updated: October 28, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    238238% default values for all flags 
    239239 
     240'$lgt_default_flag'(prolog, ciao). 
     241 
    240242'$lgt_default_flag'(xmldocs, on). 
    241243'$lgt_default_flag'(xslfile, 'lgtxml.xsl'). 

  • trunk/configs/cx.config

    r4572 r4580  
    1212%  configuration file for CxProlog 0.97.2 or a later version 
    1313% 
    14 %  last updated: October 28, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    171171% 
    172172% default values for all flags 
     173 
     174'$lgt_default_flag'(prolog, cx). 
    173175 
    174176'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/eclipse5.config

    r4572 r4580  
    1212%  configuration file for ECLiPSe 5.10#26 and later versions 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    289289% default values for all flags 
    290290 
     291'$lgt_default_flag'(prolog, eclipse). 
     292 
    291293'$lgt_default_flag'(xmldocs, on). 
    292294'$lgt_default_flag'(xslfile, 'lgtxml.xsl'). 

  • trunk/configs/eclipse5iso.config

    r4572 r4580  
    1212%  configuration file for ECLiPSe 5.10#26 and later versions 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    195195% default values for all flags 
    196196 
     197'$lgt_default_flag'(prolog, eclipse). 
     198 
    197199'$lgt_default_flag'(xmldocs, on). 
    198200'$lgt_default_flag'(xslfile, 'lgtxml.xsl'). 

  • trunk/configs/eclipse6.config

    r4572 r4580  
    1212%  configuration file for ECLiPSe 6.0#37 and later versions 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    283283% default values for all flags 
    284284 
     285'$lgt_default_flag'(prolog, eclipse). 
     286 
    285287'$lgt_default_flag'(xmldocs, on). 
    286288'$lgt_default_flag'(xslfile, 'lgtxml.xsl'). 

  • trunk/configs/eclipse6iso.config

    r4572 r4580  
    1212%  configuration file for ECLiPSe 6.0#37 and later versions 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    194194% default values for all flags 
    195195 
     196'$lgt_default_flag'(prolog, eclipse). 
     197 
    196198'$lgt_default_flag'(xmldocs, on). 
    197199'$lgt_default_flag'(xslfile, 'lgtxml.xsl'). 

  • trunk/configs/gnu.config

    r4572 r4580  
    1212%  configuration file for GNU Prolog 1.3.0 (and later versions) 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    152152% 
    153153% default values for all flags 
     154 
     155'$lgt_default_flag'(prolog, gnu). 
    154156 
    155157'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/ifprolog.config

    r4572 r4580  
    1212%  configuration file for IF/Prolog 5.1 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515%  
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    168168% 
    169169% default values for all flags 
     170 
     171'$lgt_default_flag'(prolog, if). 
    170172 
    171173'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/ji.config

    r4572 r4580  
    1212%  configuration file for JIProlog 3.0.2-6 or later versions 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    172172% 
    173173% default values for all flags 
     174 
     175'$lgt_default_flag'(prolog, ji). 
    174176 
    175177'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/k5.config

    r4572 r4580  
    1212%  configuration file for K-Prolog 5.1.2a and later 5.1.x versions 
    1313% 
    14 %  last updated: October 28, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    159159% 
    160160% default values for all flags 
     161 
     162'$lgt_default_flag'(prolog, k). 
    161163 
    162164'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/k6.config

    r4572 r4580  
    1212%  configuration file for K-Prolog 6.0.4 and later versions 
    1313% 
    14 %  last updated: October 28, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    150150% 
    151151% default values for all flags 
     152 
     153'$lgt_default_flag'(prolog, k). 
    152154 
    153155'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/lpamac.config

    r4572 r4580  
    1212%  configuration file for LPA MacProlog32 1.25 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    267267% default values for all flags 
    268268 
     269'$lgt_default_flag'(prolog, lpa). 
     270 
    269271'$lgt_default_flag'(xmldocs, on). 
    270272'$lgt_default_flag'(xslfile, 'lgtxml.xsl'). 

  • trunk/configs/lpawin.config

    r4572 r4580  
    1212%  configuration file for LPA WinProlog 4.00 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    296296% default values for all flags 
    297297 
     298'$lgt_default_flag'(prolog, lpa). 
     299 
    298300'$lgt_default_flag'(xmldocs, on). 
    299301'$lgt_default_flag'(xslfile, 'lgtxml.xsl'). 

  • trunk/configs/master.config

    r4572 r4580  
    1212%  configuration file for MasterProLog 4.1 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    218218% default values for all flags 
    219219 
     220'$lgt_default_flag'(prolog, master). 
     221 
    220222'$lgt_default_flag'(xmldocs, on). 
    221223'$lgt_default_flag'(xslfile, 'lgtxml.xsl'). 

  • trunk/configs/minerva.config

    r4572 r4580  
    1212%  configuration file for Minerva 2.4 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515%  
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    166166% 
    167167% default values for all flags 
     168 
     169'$lgt_default_flag'(prolog, minerva). 
    168170 
    169171'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/open.config

    r4572 r4580  
    1212%  configuration file for Open Prolog 1.1b5 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    269269% default values for all flags 
    270270 
     271'$lgt_default_flag'(prolog, open). 
     272 
    271273'$lgt_default_flag'(xmldocs, on). 
    272274'$lgt_default_flag'(xslfile, 'lgtxml.xsl'). 

  • trunk/configs/prologII.config

    r4572 r4580  
    1212%  configuration file for PrologII+ 4.5 and later versions 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515%  
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    169169% 
    170170% default values for all flags 
     171 
     172'$lgt_default_flag'(prolog, prologII). 
    171173 
    172174'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/qu.config

    r4572 r4580  
    1212%  configuration file for Qu-Prolog 8.1 
    1313% 
    14 %  last updated: October 28, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    161161% default values for all flags 
    162162 
     163'$lgt_default_flag'(prolog, qu). 
     164 
    163165'$lgt_default_flag'(xmldocs, on). 
    164166'$lgt_default_flag'(xslfile, 'lgtxml.xsl'). 

  • trunk/configs/quintus.config

    r4572 r4580  
    1212%  configuration file for Quintus Prolog 3.3~3.5 
    1313% 
    14 %  last updated: October 20, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    216216% default values for all flags 
    217217 
     218'$lgt_default_flag'(prolog, quintus). 
     219 
    218220'$lgt_default_flag'(xmldocs, on). 
    219221'$lgt_default_flag'(xslfile, 'lgtxml.xsl'). 

  • trunk/configs/sicstus3.config

    r4572 r4580  
    1212%  configuration file for SICStus Prolog 3.8 and later versions 
    1313% 
    14 %  last updated: October 28, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    169169% 
    170170% default values for all flags 
     171 
     172'$lgt_default_flag'(prolog, sicstus). 
    171173 
    172174'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/sicstus4.config

    r4572 r4580  
    1212%  configuration file for SICStus Prolog 4.0 and later versions 
    1313% 
    14 %  last updated: October 28, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    159159% 
    160160% default values for all flags 
     161 
     162'$lgt_default_flag'(prolog, sicstus). 
    161163 
    162164'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/swi.config

    r4574 r4580  
    176176% 
    177177% default values for all flags 
     178 
     179'$lgt_default_flag'(prolog, swi). 
    178180 
    179181'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/template.config

    r4572 r4580  
    174174% 
    175175% default values for all flags 
     176 
     177'$lgt_default_flag'(prolog, ?????). 
    176178 
    177179'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/xsb.config

    r4572 r4580  
    1212%  configuration file for XSB 3.1 or later version 
    1313% 
    14 %  last updated: October 28, 2008 
     14%  last updated: November 7, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    167167% 
    168168% default values for all flags 
     169 
     170'$lgt_default_flag'(prolog, xsb). 
    169171 
    170172'$lgt_default_flag'(xmldocs, on). 

  • trunk/configs/yap.config

    r4574 r4580  
    209209% default values for all flags 
    210210 
     211'$lgt_default_flag'(prolog, yap). 
     212 
    211213'$lgt_default_flag'(xmldocs, on). 
    212214'$lgt_default_flag'(xslfile, 'lgtxml.xsl').