Changeset 4009 for trunk/integration

Show
Ignore:
Timestamp:
01/02/08 14:54:36 (12 months ago)
Author:
pmoura
Message:

Make K-Prolog 5.1.x the default version used by the integration scripts due to some serious bugs uncovered on the K-Prolog 6.0.1 version.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/integration/logtalk_plc.pl

    r4000 r4009  
    1010 
    1111 
    12 :- consult('$LOGTALKUSER/configs/k6.config'). 
     12:- consult('$LOGTALKUSER/configs/k.config'). 
    1313:- consult('$LOGTALKHOME/compiler/logtalk.pl'). 
    1414:- consult('$LOGTALKUSER/libpaths/libpaths.pl').