Changeset 3996 for trunk/integration

Show
Ignore:
Timestamp:
12/30/07 09:55:39 (13 months ago)
Author:
pmoura
Message:

Updated the K-Prolog integration shell script and shortcut to use more generous initial data size areas.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/integration/plclgt.sh

    r3986 r3996  
    5858echo 
    5959 
    60 exec "$PLC"/plc -h 2048k -l 1024k -g 2048k -e "(consult('$LOGTALKHOME/integration/logtalk_plc.pl'), '\$root')." "$@" 
     60exec "$PLC"/plc -h 4096k -l 2048k -g 4096k -e "(consult('$LOGTALKHOME/integration/logtalk_plc.pl'), '\$root')." "$@"