42aabce1bb
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1973 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
110 lines
4.4 KiB
Bash
Executable File
110 lines
4.4 KiB
Bash
Executable File
#!/bin/sh
|
|
|
|
## ================================================================
|
|
## Logtalk - Open source object-oriented logic programming language
|
|
## Release 2.30.7
|
|
##
|
|
## Copyright (c) 1998-2007 Paulo Moura. All Rights Reserved.
|
|
## ================================================================
|
|
|
|
echo
|
|
echo "This script copies the Logtalk user-modifiable files and directories"
|
|
echo "to the user home directory. The location can be set by the environment"
|
|
echo "variable \$LOGTALKUSER (defaults to \"~/logtalk\" when the variable is not"
|
|
echo "defined)"
|
|
echo
|
|
|
|
if ! [ "$LOGTALKHOME" ]; then
|
|
echo "The environment variable LOGTALKHOME should be defined first!"
|
|
echo "Trying default Logtalk installation directories..."
|
|
if [ -d "/usr/local/share/logtalk" ]; then
|
|
LOGTALKHOME=/usr/local/share/logtalk
|
|
echo "Using Logtalk installation at \"/usr/local/share/logtalk\""
|
|
elif [ -d "/usr/share/logtalk" ]; then
|
|
LOGTALKHOME=/usr/share/logtalk
|
|
echo "Using Logtalk installation at \"/usr/share/logtalk\""
|
|
elif [ -d "/opt/local/share/logtalk" ]; then
|
|
LOGTALKHOME=/opt/local/share/logtalk
|
|
echo "Using Logtalk installation at \"/opt/local/share/logtalk\""
|
|
elif [ -d "/opt/share/logtalk" ]; then
|
|
LOGTALKHOME=/opt/share/logtalk
|
|
echo "Using Logtalk installation at \"/opt/share/logtalk\""
|
|
else
|
|
echo "Unable to locate Logtalk installation directory!"
|
|
echo
|
|
exit 1
|
|
fi
|
|
echo "After the script completion, you must set the environment variable"
|
|
echo "LOGTALKHOME pointing to \"$LOGTALKHOME\"."
|
|
echo
|
|
elif ! [ -d "$LOGTALKHOME" ]; then
|
|
echo "The environment variable LOGTALKHOME points to a non-existing directory!"
|
|
echo "Its current value is: $LOGTALKHOME"
|
|
echo "The variable must be set to your Logtalk installation directory!"
|
|
echo
|
|
exit 1
|
|
fi
|
|
|
|
if ! [ "$LOGTALKUSER" ]
|
|
then
|
|
LOGTALKUSER=$HOME/logtalk
|
|
echo "After the script completion, you must set the environment variable"
|
|
echo "LOGTALKUSER pointing to \"$LOGTALKUSER\"."
|
|
echo
|
|
fi
|
|
|
|
if [ -d "$LOGTALKUSER" ]
|
|
then
|
|
date=`eval date \"+%Y-%m-%d-%H%M%S\"`
|
|
mv $LOGTALKUSER "$LOGTALKUSER backup $date"
|
|
echo "Created a backup of the existing \"$LOGTALKUSER\" directory."
|
|
echo
|
|
fi
|
|
|
|
echo "Copying Logtalk files and directories..."
|
|
mkdir -p "$LOGTALKUSER"/configs
|
|
mkdir -p "$LOGTALKUSER"/contributions
|
|
mkdir -p "$LOGTALKUSER"/examples
|
|
mkdir -p "$LOGTALKUSER"/libpaths
|
|
mkdir -p "$LOGTALKUSER"/library
|
|
mkdir -p "$LOGTALKUSER"/xml
|
|
cp -RL "$LOGTALKHOME"/configs "$LOGTALKUSER"/
|
|
cp -RL "$LOGTALKHOME"/contributions "$LOGTALKUSER"/
|
|
cp -RL "$LOGTALKHOME"/examples "$LOGTALKUSER"/
|
|
cp -RL "$LOGTALKHOME"/libpaths "$LOGTALKUSER"/
|
|
sed 's_\$LOGTALKUSER_'$LOGTALKUSER'_' "$LOGTALKUSER"/libpaths/libpaths.pl > "$LOGTALKUSER"/libpaths/libpaths_no_env_var.pl
|
|
cp -RL "$LOGTALKHOME"/library "$LOGTALKUSER"/
|
|
cp -RL "$LOGTALKHOME"/xml "$LOGTALKUSER"/
|
|
chmod -R u+w "$LOGTALKUSER"
|
|
rm -f "$LOGTALKUSER"/xml/lgt2*
|
|
rm -f "$LOGTALKUSER"/xml/logtalk.dtd
|
|
rm -f "$LOGTALKUSER"/xml/logtalk.xsd
|
|
ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib
|
|
ln -sf "$LOGTALKHOME"/CUSTOMIZE.txt "$LOGTALKUSER"/CUSTOMIZE.txt
|
|
ln -sf "$LOGTALKHOME"/INSTALL.txt "$LOGTALKUSER"/INSTALL.txt
|
|
ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt
|
|
ln -sf "$LOGTALKHOME"/QUICK_START.txt "$LOGTALKUSER"/QUICK_START.txt
|
|
ln -sf "$LOGTALKHOME"/README.txt "$LOGTALKUSER"/README.txt
|
|
ln -sf "$LOGTALKHOME"/RELEASE_NOTES.txt "$LOGTALKUSER"/RELEASE_NOTES.txt
|
|
ln -sf "$LOGTALKHOME"/UPGRADING.txt "$LOGTALKUSER"/UPGRADING.txt
|
|
ln -sf "$LOGTALKHOME"/manuals "$LOGTALKUSER"/manuals
|
|
ln -sf "$LOGTALKHOME"/wenv "$LOGTALKUSER"/wenv
|
|
ln -sf "$LOGTALKHOME"/xml/lgt2html.sh "$LOGTALKUSER"/xml/lgt2html
|
|
ln -sf "$LOGTALKHOME"/xml/lgt2pdf.sh "$LOGTALKUSER"/xml/lgt2pdf
|
|
ln -sf "$LOGTALKHOME"/xml/lgt2xml.sh "$LOGTALKUSER"/xml/lgt2xml
|
|
ln -sf "$LOGTALKHOME"/xml/logtalk.dtd "$LOGTALKUSER"/xml/logtalk.dtd
|
|
ln -sf "$LOGTALKHOME"/xml/logtalk.rng "$LOGTALKUSER"/xml/logtalk.rng
|
|
ln -sf "$LOGTALKHOME"/xml/logtalk.xsd "$LOGTALKUSER"/xml/logtalk.xsd
|
|
echo "Finished copying Logtalk files and directories."
|
|
echo
|
|
echo "You may need to edit the \"$LOGTALKUSER/libpaths/libpaths.pl\""
|
|
echo "file to match your Prolog compiler and operating-system requirements or"
|
|
echo "to add your own library paths."
|
|
echo
|
|
echo "You may want to customize the default Logtalk compiler flags by editing"
|
|
echo "the configuration file for your Prolog compiler found in the directory"
|
|
echo "\"$LOGTALKUSER/configs\"."
|
|
echo "For more information on customizing Logtalk and your working environment,"
|
|
echo "consult the \"$LOGTALKUSER/CUSTOMIZE.txt\" file."
|
|
echo
|