| 1 | #!/bin/sh |
|---|
| 2 | |
|---|
| 3 | ## ================================================================ |
|---|
| 4 | ## Logtalk - Open source object-oriented logic programming language |
|---|
| 5 | ## Release 2.31.1 |
|---|
| 6 | ## |
|---|
| 7 | ## Copyright (c) 1998-2008 Paulo Moura. All Rights Reserved. |
|---|
| 8 | ## ================================================================ |
|---|
| 9 | |
|---|
| 10 | if [ -z "$1" ]; then |
|---|
| 11 | if [ -f "/etc/debian_version" ]; then |
|---|
| 12 | prefix=/usr |
|---|
| 13 | else |
|---|
| 14 | case $( uname -s ) in |
|---|
| 15 | Darwin ) prefix=/opt/local;; |
|---|
| 16 | * ) prefix=/usr/local;; |
|---|
| 17 | esac |
|---|
| 18 | fi |
|---|
| 19 | mkdir -p $prefix |
|---|
| 20 | else |
|---|
| 21 | prefix="$1" |
|---|
| 22 | fi |
|---|
| 23 | |
|---|
| 24 | if ! [ -d "$prefix" ]; then |
|---|
| 25 | echo "Directory prefix does not exist!" |
|---|
| 26 | echo |
|---|
| 27 | exit 1 |
|---|
| 28 | fi |
|---|
| 29 | |
|---|
| 30 | echo |
|---|
| 31 | echo "Installing Logtalk on $prefix/share ..." |
|---|
| 32 | echo |
|---|
| 33 | |
|---|
| 34 | mkdir -p $prefix/share |
|---|
| 35 | |
|---|
| 36 | rm -rf $prefix/share/lgt2311 |
|---|
| 37 | rm -f $prefix/share/logtalk |
|---|
| 38 | |
|---|
| 39 | mkdir $prefix/share/lgt2311 |
|---|
| 40 | |
|---|
| 41 | cd .. |
|---|
| 42 | cp -R * $prefix/share/lgt2311 |
|---|
| 43 | |
|---|
| 44 | cd $prefix/share/lgt2311 |
|---|
| 45 | chmod a+x scripts/cleandist.sh |
|---|
| 46 | scripts/cleandist.sh |
|---|
| 47 | |
|---|
| 48 | cd .. |
|---|
| 49 | ln -sf lgt2311 logtalk |
|---|
| 50 | |
|---|
| 51 | mkdir -p $prefix/bin |
|---|
| 52 | cd $prefix/bin |
|---|
| 53 | |
|---|
| 54 | ln -sf ../share/logtalk/scripts/cplgtdirs.sh cplgtdirs |
|---|
| 55 | ln -sf ../share/logtalk/xml/lgt2pdf.sh lgt2pdf |
|---|
| 56 | ln -sf ../share/logtalk/xml/lgt2html.sh lgt2html |
|---|
| 57 | ln -sf ../share/logtalk/xml/lgt2xml.sh lgt2xml |
|---|
| 58 | |
|---|
| 59 | echo "Links to the \"cplgtdirs\", \"lgt2pdf\", \"lgt2html\", and \"lgt2xml\" scripts" |
|---|
| 60 | echo "have been created on \"$prefix/bin\"; you may need to add this directory" |
|---|
| 61 | echo "to your execution path." |
|---|
| 62 | echo |
|---|
| 63 | |
|---|
| 64 | ln -sf ../share/logtalk/integration/bplgt.sh bplgt |
|---|
| 65 | ln -sf ../share/logtalk/integration/ciaolgt.sh ciaolgt |
|---|
| 66 | ln -sf ../share/logtalk/integration/cxlgt.sh cxlgt |
|---|
| 67 | ln -sf ../share/logtalk/integration/eclipselgt.sh eclipselgt |
|---|
| 68 | ln -sf ../share/logtalk/integration/gplgt.sh gplgt |
|---|
| 69 | ln -sf ../share/logtalk/integration/plclgt.sh plclgt |
|---|
| 70 | ln -sf ../share/logtalk/integration/qplgt.sh qplgt |
|---|
| 71 | ln -sf ../share/logtalk/integration/sicstuslgt.sh sicstuslgt |
|---|
| 72 | ln -sf ../share/logtalk/integration/swilgt.sh swilgt |
|---|
| 73 | ln -sf ../share/logtalk/integration/xsblgt.sh xsblgt |
|---|
| 74 | ln -sf ../share/logtalk/integration/xsbmtlgt.sh xsbmtlgt |
|---|
| 75 | ln -sf ../share/logtalk/integration/yaplgt.sh yaplgt |
|---|
| 76 | |
|---|
| 77 | echo "The following integration scripts are installed for running Logtalk" |
|---|
| 78 | echo "with selected back-end Prolog compilers:" |
|---|
| 79 | 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" |
|---|
| 92 | echo |
|---|
| 93 | echo "The Prolog integration scripts can be found on \"$prefix/bin\"." |
|---|
| 94 | echo "Make sure that the Prolog compilers are properly installed and available" |
|---|
| 95 | echo "on your execution path." |
|---|
| 96 | echo |
|---|
| 97 | echo "Users should ensure that the environment variable LOGTALKHOME is set to" |
|---|
| 98 | echo "\"$prefix/share/logtalk\" and then run the \"cplgtdirs\" shell script once" |
|---|
| 99 | echo "before running the integration scripts." |
|---|
| 100 | echo |
|---|
| 101 | echo "If you get an unexpected failure when using one of the Prolog integration" |
|---|
| 102 | echo "scripts, consult the \"$prefix/share/logtalk/configs/NOTES.txt\" file" |
|---|
| 103 | echo "for compatibility notes." |
|---|
| 104 | echo |
|---|
| 105 | echo "Logtalk basic installation completed." |
|---|
| 106 | echo |
|---|