Changeset 4581 for trunk/integration

Timestamp:

11/07/08 16:39:42 (2 months ago)

Author:

pmoura

Message:

Added a "prolog" read-only compiler flag whose value is the name of the back-end Prolog compiler (an atom). This flag can be used for conditional compilation of Prolog specific code.

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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; 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 2332 ]; then
+        if [ $current -lt 2333 ]; then
             echo "Logtalk user directory at $LOGTALKUSER is outdated!"
             echo "Creating an up-to-date Logtalk user directory..."