Changeset 4024 for trunk/scripts
- Timestamp:
- 01/18/08 09:20:56 (12 months ago)
- Location:
- trunk/scripts
- Files:
-
- 6 modified
-
debian/changelog (modified) (1 diff)
-
debian/postinst (modified) (1 diff)
-
install.sh (modified) (2 diffs)
-
linux/logtalk.spec (modified) (4 diffs)
-
macosx/Portfile (modified) (1 diff)
-
uninstall.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/scripts/debian/changelog
r4014 r4024 3 3 * Initial Release. 4 4 5 -- Paulo Moura <pmoura@logtalk.org> Thu January 301:00:00 WET 20085 -- Paulo Moura <pmoura@logtalk.org> Thu January 21 01:00:00 WET 2008 -
trunk/scripts/debian/postinst
r4014 r4024 44 44 echo " K-Prolog (version 6.0.1 or later): plclgt" 45 45 echo " Qu-Prolog (version 8.1 or later): qplgt" 46 echo " Quintus Prolog (versions 3.5): quintuslgt" 46 47 echo " SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 47 48 echo " SWI-Prolog (version 5.6.16 or later): swilgt" -
trunk/scripts/install.sh
r4014 r4024 69 69 ln -sf ../share/logtalk/integration/plclgt.sh plclgt 70 70 ln -sf ../share/logtalk/integration/qplgt.sh qplgt 71 ln -sf ../share/logtalk/integration/quintuslgt.sh quintuslgt 71 72 ln -sf ../share/logtalk/integration/sicstuslgt.sh sicstuslgt 72 73 ln -sf ../share/logtalk/integration/swilgt.sh swilgt … … 78 79 echo "with selected back-end Prolog compilers:" 79 80 echo 80 echo " B-Prolog: bplgt (first run must use sudo)" 81 echo " CIAO: ciaolgt (first run must use sudo)" 82 echo " CxProlog: cxlgt" 83 echo " ECLiPSe: eclipselgt" 84 echo " GNU Prolog: gplgt" 85 echo " K-Prolog: plclgt" 86 echo " Qu-Prolog: qplgt" 87 echo " SICStus Prolog: sicstuslgt" 88 echo " SWI-Prolog: swilgt" 89 echo " XSB: xsblgt (first run must use sudo)" 90 echo " XSB (MT): xsbmtlgt (first run must use sudo)" 91 echo " YAP: yaplgt" 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 6.0.1 or later): plclgt" 87 echo " Qu-Prolog (version 8.1 or later): qplgt" 88 echo " Quintus Prolog (versions 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" 92 94 echo 93 95 echo "The Prolog integration scripts can be found on \"$prefix/bin\"." -
trunk/scripts/linux/logtalk.spec
r4014 r4024 41 41 ln -sf ../share/logtalk/integration/plclgt.sh plclgt 42 42 ln -sf ../share/logtalk/integration/qplgt.sh qplgt 43 ln -sf ../share/logtalk/integration/quintuslgt.sh quintuslgt 43 44 ln -sf ../share/logtalk/integration/sicstuslgt.sh sicstuslgt 44 45 ln -sf ../share/logtalk/integration/swilgt.sh swilgt … … 67 68 rm -f plclgt 68 69 rm -f qplgt 70 rm -f quintuslgt 69 71 rm -f sicstuslgt 70 72 rm -f swilgt … … 107 109 /usr/local/bin/plclgt 108 110 /usr/local/bin/qplgt 111 /usr/local/bin/quintuslgt 109 112 /usr/local/bin/sicstuslgt 110 113 /usr/local/bin/swilgt … … 131 134 echo " K-Prolog (version 6.0.1 or later): plclgt" 132 135 echo " Qu-Prolog (version 8.1 or later): qplgt" 136 echo " Quintus Prolog (versions 3.5): quintuslgt" 133 137 echo " SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 134 138 echo " SWI-Prolog (version 5.6.16 or later): swilgt" -
trunk/scripts/macosx/Portfile
r4014 r4024 58 58 ui_msg "* K-Prolog (version 6.0.1 or later): plclgt" 59 59 ui_msg "* Qu-Prolog (version 8.1 or later): qplgt" 60 ui_msg "* Quintus Prolog (versions 3.5): quintuslgt" 60 61 ui_msg "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 61 62 ui_msg "* SWI-Prolog (version 5.6.16 or later): swilgt" -
trunk/scripts/uninstall.sh
r4014 r4024 55 55 rm -f plclgt 56 56 rm -f qplgt 57 rm -f quintuslgt 57 58 rm -f sicstuslgt 58 59 rm -f swilgt
