Changeset 4132
- Timestamp:
- 03/17/08 12:44:15 (10 months ago)
- Location:
- trunk
- Files:
-
- 8 modified
-
integration/NOTES.txt (modified) (1 diff)
-
QUICK_START.txt (modified) (1 diff)
-
RELEASE_NOTES.txt (modified) (1 diff)
-
scripts/debian/postinst (modified) (1 diff)
-
scripts/install.sh (modified) (2 diffs)
-
scripts/linux/logtalk.spec (modified) (4 diffs)
-
scripts/macosx/Portfile (modified) (1 diff)
-
scripts/uninstall.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/integration/NOTES.txt
r4102 r4132 14 14 system path): 15 15 16 B-Prolog (version 7.0 or later): bplgt (first run must use sudo) 17 CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo) 18 CxProlog (version 0.96.1 or later): cxlgt 19 ECLiPSe (version 5.10#26 or later): eclipselgt 20 GNU Prolog (version 1.2.16 or later): gplgt 21 K-Prolog (version 5.1.2a or later): plclgt 22 Qu-Prolog (version 8.1 or later): qplgt 23 Quintus Prolog (version 3.5): quintuslgt 24 SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt 25 SWI-Prolog (version 5.6.16 or later): swilgt 26 XSB (version 3.1 or later): xsblgt (first run must use sudo) 27 XSB MT (CVS version): xsbmtlgt (first run must use sudo) 28 YAP (version 5.1.2 or later): yaplgt 16 * B-Prolog (version 7.0 or later): bplgt (first run must use sudo) 17 * CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo) 18 * CxProlog (version 0.96.1 or later): cxlgt 19 * ECLiPSe (version 5.10#26 or later): eclipselgt 20 * GNU Prolog (version 1.2.16 or later): gplgt 21 * K-Prolog (version 5.1.2a or later): plclgt 22 * Qu-Prolog (version 8.1 or later): qplgt 23 * Quintus Prolog (version 3.5): quintuslgt 24 * SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt 25 * SWI-Prolog (version 5.6.16 or later): swilgt 26 * XSB (version 3.1 or later): xsblgt (first run must use sudo) 27 * XSB MT (CVS version): xsbmtlgt (first run must use sudo) 28 * XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo) 29 * YAP (version 5.1.2 or later): yaplgt 29 30 30 31 On Windows systems, the Logtalk installer makes the Prolog integration -
trunk/QUICK_START.txt
r4102 r4132 27 27 (which must be updated and properly installed for running the scripts!): 28 28 29 B-Prolog: bplgt (first run must use sudo) 30 CIAO: ciaolgt (first run must use sudo) 31 CxProlog: cxlgt 32 ECLiPSe: eclipselgt 33 GNU Prolog: gplgt 34 K-Prolog: plclgt 35 Qu-Prolog: qplgt" 36 SICStus Prolog: sicstuslgt 37 SWI-Prolog: swilgt 38 XSB: xsblgt (first run must use sudo) 39 XSB MT: xsbmtlgt (first run must use sudo)" 40 YAP: yaplgt 29 * B-Prolog: bplgt (first run must use sudo) 30 * CIAO: ciaolgt (first run must use sudo) 31 * CxProlog: cxlgt 32 * ECLiPSe: eclipselgt 33 * GNU Prolog: gplgt 34 * K-Prolog: plclgt 35 * Qu-Prolog: qplgt" 36 * SICStus Prolog: sicstuslgt 37 * SWI-Prolog: swilgt 38 * XSB: xsblgt (first run must use sudo) 39 * XSB MT: xsbmtlgt (first run must use sudo)" 40 * XSB MT 64 bits: xsbmt64lgt (first run must use sudo)" 41 * YAP: yaplgt 41 42 42 43 On Windows systems, shortcuts for running Logtalk with selected back-end -
trunk/RELEASE_NOTES.txt
r4131 r4132 33 33 Updated the XSB config file to use the new optimized call/N predicates 34 34 found on the current XSB CVS version. 35 36 Added an integration script, "xsbmt64lgt", for using Logtalk with the 37 multi-threaded, 64 bits version of XSB. 35 38 36 39 Simplified building of MacOS X Installer packages. Updated the Windows -
trunk/scripts/debian/postinst
r4102 r4132 37 37 echo "with selected back-end Prolog compilers:" 38 38 echo 39 echo " B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" 40 echo " CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" 41 echo " CxProlog (version 0.96.1 or later): cxlgt" 42 echo " ECLiPSe (version 5.10#26 or later): eclipselgt" 43 echo " GNU Prolog (version 1.2.16 or later): gplgt" 44 echo " K-Prolog (version 5.1.2a or later): plclgt" 45 echo " Qu-Prolog (version 8.1 or later): qplgt" 46 echo " Quintus Prolog (version 3.5): quintuslgt" 47 echo " SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 48 echo " SWI-Prolog (version 5.6.16 or later): swilgt" 49 echo " XSB (version 3.1 or later): xsblgt (first run must use sudo)" 50 echo " XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 51 echo " YAP (version 5.1.2 or later): yaplgt" 39 echo "* B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" 40 echo "* CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" 41 echo "* CxProlog (version 0.96.1 or later): cxlgt" 42 echo "* ECLiPSe (version 5.10#26 or later): eclipselgt" 43 echo "* GNU Prolog (version 1.2.16 or later): gplgt" 44 echo "* K-Prolog (version 5.1.2a or later): plclgt" 45 echo "* Qu-Prolog (version 8.1 or later): qplgt" 46 echo "* Quintus Prolog (version 3.5): quintuslgt" 47 echo "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 48 echo "* SWI-Prolog (version 5.6.16 or later): swilgt" 49 echo "* XSB (version 3.1 or later): xsblgt (first run must use sudo)" 50 echo "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 51 echo "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" 52 echo "* YAP (version 5.1.2 or later): yaplgt" 52 53 echo 53 54 echo "The Prolog integration scripts can be found on \"/usr/bin\"." -
trunk/scripts/install.sh
r4102 r4132 74 74 ln -sf ../share/logtalk/integration/xsblgt.sh xsblgt 75 75 ln -sf ../share/logtalk/integration/xsbmtlgt.sh xsbmtlgt 76 ln -sf ../share/logtalk/integration/xsbmt64lgt.sh xsbmt64lgt 76 77 ln -sf ../share/logtalk/integration/yaplgt.sh yaplgt 77 78 … … 79 80 echo "with selected back-end Prolog compilers:" 80 81 echo 81 echo " B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" 82 echo " CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" 83 echo " CxProlog (version 0.96.1 or later): cxlgt" 84 echo " ECLiPSe (version 5.10#26 or later): eclipselgt" 85 echo " GNU Prolog (version 1.2.16 or later): gplgt" 86 echo " K-Prolog (version 5.1.2a or later): plclgt" 87 echo " Qu-Prolog (version 8.1 or later): qplgt" 88 echo " Quintus Prolog (version 3.5): quintuslgt" 89 echo " SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 90 echo " SWI-Prolog (version 5.6.16 or later): swilgt" 91 echo " XSB (version 3.1 or later): xsblgt (first run must use sudo)" 92 echo " XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 93 echo " YAP (version 5.1.2 or later): yaplgt" 82 echo "* B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" 83 echo "* CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" 84 echo "* CxProlog (version 0.96.1 or later): cxlgt" 85 echo "* ECLiPSe (version 5.10#26 or later): eclipselgt" 86 echo "* GNU Prolog (version 1.2.16 or later): gplgt" 87 echo "* K-Prolog (version 5.1.2a or later): plclgt" 88 echo "* Qu-Prolog (version 8.1 or later): qplgt" 89 echo "* Quintus Prolog (version 3.5): quintuslgt" 90 echo "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 91 echo "* SWI-Prolog (version 5.6.16 or later): swilgt" 92 echo "* XSB (version 3.1 or later): xsblgt (first run must use sudo)" 93 echo "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 94 echo "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" 95 echo "* YAP (version 5.1.2 or later): yaplgt" 94 96 echo 95 97 echo "The Prolog integration scripts can be found on \"$prefix/bin\"." -
trunk/scripts/linux/logtalk.spec
r4102 r4132 46 46 ln -sf ../share/logtalk/integration/xsblgt.sh xsblgt 47 47 ln -sf ../share/logtalk/integration/xsbmtlgt.sh xsbmtlgt 48 ln -sf ../share/logtalk/integration/xsbmt64lgt.sh xsbmt64lgt 48 49 ln -sf ../share/logtalk/integration/yaplgt.sh yaplgt 49 50 ln -sf ../share/logtalk/scripts/cplgtdirs.sh cplgtdirs … … 73 74 rm -f xsblgt 74 75 rm -f xsbmtlgt 76 rm -f xsbmt64lgt 75 77 rm -f yaplgt 76 78 … … 114 116 /usr/local/bin/xsblgt 115 117 /usr/local/bin/xsbmtlgt 118 /usr/local/bin/xsbmt64lgt 116 119 /usr/local/bin/yaplgt 117 120 … … 127 130 echo "with selected back-end Prolog compilers:" 128 131 echo 129 echo " B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" 130 echo " CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" 131 echo " CxProlog (version 0.96.1 or later): cxlgt" 132 echo " ECLiPSe (version 5.10#26 or later): eclipselgt" 133 echo " GNU Prolog (version 1.2.16 or later): gplgt" 134 echo " K-Prolog (version 5.1.2a or later): plclgt" 135 echo " Qu-Prolog (version 8.1 or later): qplgt" 136 echo " Quintus Prolog (version 3.5): quintuslgt" 137 echo " SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 138 echo " SWI-Prolog (version 5.6.16 or later): swilgt" 139 echo " XSB (version 3.1 or later): xsblgt (first run must use sudo)" 140 echo " XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 141 echo " YAP (version 5.1.2 or later): yaplgt" 132 echo "* B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" 133 echo "* CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" 134 echo "* CxProlog (version 0.96.1 or later): cxlgt" 135 echo "* ECLiPSe (version 5.10#26 or later): eclipselgt" 136 echo "* GNU Prolog (version 1.2.16 or later): gplgt" 137 echo "* K-Prolog (version 5.1.2a or later): plclgt" 138 echo "* Qu-Prolog (version 8.1 or later): qplgt" 139 echo "* Quintus Prolog (version 3.5): quintuslgt" 140 echo "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 141 echo "* SWI-Prolog (version 5.6.16 or later): swilgt" 142 echo "* XSB (version 3.1 or later): xsblgt (first run must use sudo)" 143 echo "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 144 echo "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" 145 echo "* YAP (version 5.1.2 or later): yaplgt" 142 146 echo 143 147 echo "The Prolog integration scripts can be found on \"$RPM_INSTALL_PREFIX/bin\"." -
trunk/scripts/macosx/Portfile
r4102 r4132 47 47 post-activate { 48 48 ui_msg "****************************************************************************" 49 ui_msg "* 50 ui_msg "* 51 ui_msg "* 49 ui_msg "* Integration scripts have been created for running Logtalk with selected" 50 ui_msg "* back-end Prolog compilers (which must be properly installed for running" 51 ui_msg "* the scripts!):" 52 52 ui_msg "*" 53 ui_msg "* B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" 54 ui_msg "* CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" 55 ui_msg "* CxProlog (version 0.96.1 or later): cxlgt" 56 ui_msg "* ECLiPSe (version 5.10#26 or later): eclipselgt" 57 ui_msg "* GNU Prolog (version 1.2.16 or later): gplgt" 58 ui_msg "* K-Prolog (version 5.1.2a or later): plclgt" 59 ui_msg "* Qu-Prolog (version 8.1 or later): qplgt" 60 ui_msg "* Quintus Prolog (version 3.5): quintuslgt" 61 ui_msg "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 62 ui_msg "* SWI-Prolog (version 5.6.16 or later): swilgt" 63 ui_msg "* XSB (version 3.1 or later): xsblgt (first run must use sudo)" 64 ui_msg "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 65 ui_msg "* YAP (version 5.1.2 or later): yaplgt" 53 ui_msg "* B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" 54 ui_msg "* CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" 55 ui_msg "* CxProlog (version 0.96.1 or later): cxlgt" 56 ui_msg "* ECLiPSe (version 5.10#26 or later): eclipselgt" 57 ui_msg "* GNU Prolog (version 1.2.16 or later): gplgt" 58 ui_msg "* K-Prolog (version 5.1.2a or later): plclgt" 59 ui_msg "* Qu-Prolog (version 8.1 or later): qplgt" 60 ui_msg "* Quintus Prolog (version 3.5): quintuslgt" 61 ui_msg "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 62 ui_msg "* SWI-Prolog (version 5.6.16 or later): swilgt" 63 ui_msg "* XSB (version 3.1 or later): xsblgt (first run must use sudo)" 64 ui_msg "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" 65 ui_msg "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" 66 ui_msg "* YAP (version 5.1.2 or later): yaplgt" 66 67 ui_msg "*" 67 ui_msg "* 68 ui_msg "* 69 ui_msg "* 70 ui_msg "* 71 ui_msg "* 72 ui_msg "* 68 ui_msg "* Remember to set the environment variable LOGTALKHOME to the path to" 69 ui_msg "* the Logtalk distribution: ${prefix}/share/logtalk" 70 ui_msg "* and the environment variable LOGTALKUSER to your local configuration" 71 ui_msg "* directory (usually ~/logtalk), which you must create by running the" 72 ui_msg "* command cplgtdirs. See the file \$LOGTALKHOME/CUSTOMIZE.txt for details" 73 ui_msg "* on how to customize your working environment." 73 74 ui_msg "****************************************************************************" 74 75 } -
trunk/scripts/uninstall.sh
r4102 r4132 60 60 rm -f xsblgt 61 61 rm -f xsbmtlgt 62 rm -f xsbmt64lgt 62 63 rm -f yaplgt 63 64
