Changeset 4430 for trunk/integration

Timestamp:

08/17/08 09:22:35 (5 months ago)

Author:

pmoura

Message:

Fixed detection of the ECLiPSe version for the POSIX integration script. Include more complete ECLiPSe version information on the generated Windows integration shortcuts.

Files:

• trunk/integration/eclipselgt.sh (modified) (1 diff)

trunk/integration/eclipselgt.sh

@@ -74 +74 @@
 echo
 
-if eclipse -e "halt." 2>&1 | grep "Version 5.10" 2>&1 >/dev/null; then
+if eclipse -e "get_flag(version, Version), write(Version), halt." 2>&1 | grep "5.10" 2>&1 >/dev/null; then
     exec eclipse -b "$LOGTALKHOME/integration/logtalk_eclipse5.pl" "$@"
 else