| 1 | #!/bin/sh |
|---|
| 2 | |
|---|
| 3 | ## ================================================================ |
|---|
| 4 | ## Logtalk - Open source object-oriented logic programming language |
|---|
| 5 | ## Release 2.35.0 |
|---|
| 6 | ## |
|---|
| 7 | ## Copyright (c) 1998-2009 Paulo Moura. All Rights Reserved. |
|---|
| 8 | ## Logtalk is free software. You can redistribute it and/or modify |
|---|
| 9 | ## it under the terms of the "Artistic License 2.0" as published by |
|---|
| 10 | ## The Perl Foundation. Consult the "LICENSE.txt" file for details. |
|---|
| 11 | ## ================================================================ |
|---|
| 12 | |
|---|
| 13 | echo "" |
|---|
| 14 | echo "Installed Logtalk on \"/usr/share\"." |
|---|
| 15 | |
|---|
| 16 | chown -f -R -L root:root /usr/share/logtalk |
|---|
| 17 | |
|---|
| 18 | echo "" |
|---|
| 19 | echo "Installing and registering Logtalk online documentation..." |
|---|
| 20 | |
|---|
| 21 | if [ "$1" = "configure" ] ; then |
|---|
| 22 | if which install-docs > /dev/null 2>&1 ; then |
|---|
| 23 | install-docs -i /usr/share/doc-base/logtalk-docs |
|---|
| 24 | fi |
|---|
| 25 | fi |
|---|
| 26 | |
|---|
| 27 | chown -f -R -L root:root /usr/share/doc/logtalk |
|---|
| 28 | |
|---|
| 29 | echo "Adding menu entries for some of the Logtalk integration scripts..." |
|---|
| 30 | |
|---|
| 31 | if [ -x /usr/bin/update-menus ] ; then |
|---|
| 32 | update-menus |
|---|
| 33 | fi |
|---|
| 34 | |
|---|
| 35 | echo |
|---|
| 36 | echo "Links to the \"cplgtdirs\", \"lgt2pdf\", \"lgt2html\", \"lgt2xml\", and " |
|---|
| 37 | echo "\"lgt2txt\" scripts have been created on \"/usr/bin\"." |
|---|
| 38 | echo |
|---|
| 39 | echo "The following integration scripts are installed for running Logtalk" |
|---|
| 40 | echo "with selected back-end Prolog compilers:" |
|---|
| 41 | echo |
|---|
| 42 | echo "* B-Prolog (version 7.1 or later): bplgt (first run must use sudo)" |
|---|
| 43 | echo "* CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" |
|---|
| 44 | echo "* CxProlog (version 0.97.2 or later): cxlgt" |
|---|
| 45 | echo "* ECLiPSe (versions 5.10, 6.0): eclipselgt" |
|---|
| 46 | echo "* GNU Prolog (version 1.3.0 or later): gplgt" |
|---|
| 47 | echo "* K-Prolog (version 5.1.x): plclgt" |
|---|
| 48 | echo "* Qu-Prolog (version 8.1 or later): qplgt" |
|---|
| 49 | echo "* Quintus Prolog (version 3.5): quintuslgt (implies patching Logtalk)" |
|---|
| 50 | echo "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" |
|---|
| 51 | echo "* SWI-Prolog (version 5.6.44 or later): swilgt" |
|---|
| 52 | echo "* XSB (version 3.1 or later): xsblgt (first run must use sudo)" |
|---|
| 53 | echo "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" |
|---|
| 54 | echo "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" |
|---|
| 55 | echo "* YAP (version 5.1.3 or later): yaplgt" |
|---|
| 56 | echo |
|---|
| 57 | echo "The Prolog integration scripts can be found on \"/usr/bin\"." |
|---|
| 58 | echo "Make sure that the Prolog compilers are properly installed and available" |
|---|
| 59 | echo "on your execution path." |
|---|
| 60 | echo |
|---|
| 61 | echo "Users should run the \"cplgtdirs\" shell script once before using the" |
|---|
| 62 | echo "integration scripts." |
|---|
| 63 | echo |
|---|
| 64 | echo "If you get an unexpected failure when using one of the Prolog integration" |
|---|
| 65 | echo "scripts, consult see the \"/usr/share/logtalk/configs/NOTES.txt\" file" |
|---|
| 66 | echo "for compatibility notes." |
|---|
| 67 | echo |
|---|
| 68 | echo "Logtalk basic installation completed." |
|---|
| 69 | echo |
|---|