Changeset 4040 for trunk/integration
- Timestamp:
- 01/22/08 09:17:41 (12 months ago)
- Location:
- trunk/integration
- Files:
-
- 2 modified
-
logtalk_quintus.pl (modified) (1 diff)
-
quintuslgt.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/integration/logtalk_quintus.pl
r4036 r4040 10 10 11 11 12 :- compile('$LOGTALKUSER/configs/quintus.config').13 :- compile('$LOGTALKHOME/compiler/logtalk.pl').14 :- compile('$LOGTALKUSER/libpaths/libpaths.pl').12 :- unix(argv([_, LOGTALKUSER| _])), unix(cd(LOGTALKUSER)), compile('configs/quintus.config'). 13 :- unix(argv([LOGTALKHOME| _])), unix(cd(LOGTALKHOME)), compile('compiler/logtalk.pl'). 14 :- unix(argv([_, LOGTALKUSER| _])), unix(cd(LOGTALKUSER)), compile('libpaths/libpaths.pl'). -
trunk/integration/quintuslgt.sh
r4036 r4040 58 58 echo 59 59 60 exec prolog +l "$LOGTALKHOME/integration/logtalk_quintus.pl" "$@"60 exec prolog +l "$LOGTALKHOME/integration/logtalk_quintus.pl" +z "$LOGTALKHOME" "$LOGTALKUSER" "$@"
