Changeset 4423 for trunk/integration
- Timestamp:
- 08/14/08 12:49:40 (5 months ago)
- Location:
- trunk/integration
- Files:
-
- 1 removed
- 2 modified
-
eclipselgt.sh (modified) (1 diff)
-
logtalk_eclipse.pl (deleted)
-
NOTES.txt (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/integration/eclipselgt.sh
r4411 r4423 74 74 echo 75 75 76 exec eclipse -b "$LOGTALKHOME/integration/logtalk_eclipse.pl" "$@" 76 if eclipse -e "halt." 2>&1 | grep "Version 5.10" 2>&1 >/dev/null; then 77 exec eclipse -b "$LOGTALKHOME/integration/logtalk_eclipse5.pl" "$@" 78 else 79 exec eclipse -b "$LOGTALKHOME/integration/logtalk_eclipse6.pl" "$@" 80 fi -
trunk/integration/NOTES.txt
r4411 r4423 20 20 * CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo) 21 21 * CxProlog (version 0.97.1 or later): cxlgt 22 * ECLiPSe (version 5.10#26 or later):eclipselgt22 * ECLiPSe (versions 5.10, 6.0): eclipselgt 23 23 * GNU Prolog (version 1.3.0 or later): gplgt 24 24 * K-Prolog (version 5.1.2a or later): plclgt
