Changeset 4517 for trunk/integration

Timestamp:

10/18/08 17:56:42 (3 months ago)

Author:

pmoura

Message:

Improved reporting of line numbers for syntax errors when using YAP or SWI-Prolog as the back-end compilers.

Added entity property lines(Start, End) for entities compiled and loaded from source files. This property is only available when using SWI-Prolog or YAP as the back-end compilers.

Added a customized version of the read_term/2 predicate to all config files that returns the line where a term starts for back-end Prolog compilers whose implementation of the read_term/2 predicate supports this information.

Location:

trunk/integration

Files:

• bplgt.sh (modified) (1 diff)
• ciaolgt.sh (modified) (1 diff)
• cxlgt.sh (modified) (1 diff)
• eclipselgt.sh (modified) (1 diff)
• gplgt.sh (modified) (1 diff)
• plclgt.sh (modified) (1 diff)
• qplgt.sh (modified) (1 diff)
• quintuslgt.sh (modified) (1 diff)
• sicstuslgt.sh (modified) (1 diff)
• swilgt.sh (modified) (1 diff)
• xsblgt.sh (modified) (1 diff)
• xsbmt64lgt.sh (modified) (1 diff)
• xsbmtlgt.sh (modified) (1 diff)
• yaplgt.sh (modified) (1 diff)

trunk/integration/bplgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/ciaolgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/cxlgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/eclipselgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/gplgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/plclgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/qplgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/quintuslgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/sicstuslgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/swilgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/xsblgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/xsbmt64lgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/xsbmtlgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."

trunk/integration/yaplgt.sh

@@ -61 +61 @@
     else
         current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'`
-        if [ $current -lt 2330 ]; then
+        if [ $current -lt 2332 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."