root/tags/lgt2306/scripts/cplgtdirs.sh

Revision 3856, 4.4 KB (checked in by pmoura, 16 months ago)

Updated release number 2.30.6.

  • Property svn:eol-style set to native
  • Property svn:executable set to *
  • Property svn:keywords set to Author Date Id Revision
Line 
1#!/bin/sh
2
3## ================================================================
4## Logtalk - Open source object-oriented logic programming language
5## Release 2.30.6
6##
7## Copyright (c) 1998-2007 Paulo Moura.  All Rights Reserved.
8## ================================================================
9
10echo
11echo "This script copies the Logtalk user-modifiable files and directories"
12echo "to the user home directory. The location can be set by the environment"
13echo "variable \$LOGTALKUSER (defaults to \"~/logtalk\" when the variable is not"
14echo "defined)"
15echo
16
17if ! [ "$LOGTALKHOME" ]; then
18    echo "The environment variable LOGTALKHOME should be defined first!"
19    echo "Trying default Logtalk installation directories..."
20    if [ -d "/usr/local/share/logtalk" ]; then
21        LOGTALKHOME=/usr/local/share/logtalk
22        echo "Using Logtalk installation at \"/usr/local/share/logtalk\""
23    elif [ -d "/usr/share/logtalk" ]; then
24        LOGTALKHOME=/usr/share/logtalk
25        echo "Using Logtalk installation at \"/usr/share/logtalk\""
26    elif [ -d "/opt/local/share/logtalk" ]; then
27        LOGTALKHOME=/opt/local/share/logtalk
28        echo "Using Logtalk installation at \"/opt/local/share/logtalk\""
29    elif [ -d "/opt/share/logtalk" ]; then
30        LOGTALKHOME=/opt/share/logtalk
31        echo "Using Logtalk installation at \"/opt/share/logtalk\""
32    else
33        echo "Unable to locate Logtalk installation directory!"
34        echo
35        exit 1
36    fi
37    echo "After the script completion, you must set the environment variable"
38    echo "LOGTALKHOME pointing to \"$LOGTALKHOME\"."
39    echo
40elif ! [ -d "$LOGTALKHOME" ]; then
41    echo "The environment variable LOGTALKHOME points to a non-existing directory!"
42    echo "Its current value is: $LOGTALKHOME"
43    echo "The variable must be set to your Logtalk installation directory!"
44    echo
45    exit 1
46fi
47
48if ! [ "$LOGTALKUSER" ]
49then
50    LOGTALKUSER=$HOME/logtalk
51    echo "After the script completion, you must set the environment variable"
52    echo "LOGTALKUSER pointing to \"$LOGTALKUSER\"."
53    echo
54fi
55
56if [ -d "$LOGTALKUSER" ]
57then
58    date=`eval date \"+%Y-%m-%d %H-%M-%S\"`
59    mv $LOGTALKUSER "$LOGTALKUSER backup $date"
60    echo "Created a backup of the existing \"$LOGTALKUSER\" directory."
61    echo
62fi
63
64echo "Copying Logtalk files and directories..."
65mkdir -p "$LOGTALKUSER"/configs
66mkdir -p "$LOGTALKUSER"/contributions
67mkdir -p "$LOGTALKUSER"/examples
68mkdir -p "$LOGTALKUSER"/libpaths
69mkdir -p "$LOGTALKUSER"/library
70mkdir -p "$LOGTALKUSER"/xml
71cp -RL "$LOGTALKHOME"/configs "$LOGTALKUSER"/
72cp -RL "$LOGTALKHOME"/contributions "$LOGTALKUSER"/
73cp -RL "$LOGTALKHOME"/examples "$LOGTALKUSER"/
74cp -RL "$LOGTALKHOME"/libpaths "$LOGTALKUSER"/
75sed 's_\$LOGTALKUSER_'$LOGTALKUSER'_' "$LOGTALKUSER"/libpaths/libpaths.pl > "$LOGTALKUSER"/libpaths/libpaths_no_env_var.pl
76cp -RL "$LOGTALKHOME"/library "$LOGTALKUSER"/
77cp -RL "$LOGTALKHOME"/xml "$LOGTALKUSER"/
78chmod -R u+w "$LOGTALKUSER"
79rm -f "$LOGTALKUSER"/xml/lgt2*
80rm -f "$LOGTALKUSER"/xml/logtalk.dtd
81rm -f "$LOGTALKUSER"/xml/logtalk.xsd
82ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib
83ln -sf "$LOGTALKHOME"/CUSTOMIZE.txt "$LOGTALKUSER"/CUSTOMIZE.txt
84ln -sf "$LOGTALKHOME"/INSTALL.txt "$LOGTALKUSER"/INSTALL.txt
85ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt
86ln -sf "$LOGTALKHOME"/QUICK_START.txt "$LOGTALKUSER"/QUICK_START.txt
87ln -sf "$LOGTALKHOME"/README.txt "$LOGTALKUSER"/README.txt
88ln -sf "$LOGTALKHOME"/RELEASE_NOTES.txt "$LOGTALKUSER"/RELEASE_NOTES.txt
89ln -sf "$LOGTALKHOME"/UPGRADING.txt "$LOGTALKUSER"/UPGRADING.txt
90ln -sf "$LOGTALKHOME"/manuals "$LOGTALKUSER"/manuals
91ln -sf "$LOGTALKHOME"/wenv "$LOGTALKUSER"/wenv
92ln -sf "$LOGTALKHOME"/xml/lgt2html.sh "$LOGTALKUSER"/xml/lgt2html
93ln -sf "$LOGTALKHOME"/xml/lgt2pdf.sh "$LOGTALKUSER"/xml/lgt2pdf
94ln -sf "$LOGTALKHOME"/xml/lgt2xml.sh "$LOGTALKUSER"/xml/lgt2xml
95ln -sf "$LOGTALKHOME"/xml/logtalk.dtd "$LOGTALKUSER"/xml/logtalk.dtd
96ln -sf "$LOGTALKHOME"/xml/logtalk.rng "$LOGTALKUSER"/xml/logtalk.rng
97ln -sf "$LOGTALKHOME"/xml/logtalk.xsd "$LOGTALKUSER"/xml/logtalk.xsd
98echo "Finished copying Logtalk files and directories."
99echo
100echo "You may need to edit the \"$LOGTALKUSER/libpaths/libpaths.pl\""
101echo "file to match your Prolog compiler and operating-system requirements or"
102echo "to add your own library paths."
103echo
104echo "You may want to customize the default Logtalk compiler flags by editing"
105echo "the configuration file for your Prolog compiler found in the directory"
106echo "\"$LOGTALKUSER/configs\"."
107echo "For more information on customizing Logtalk and your working environment,"
108echo "consult the \"$LOGTALKUSER/CUSTOMIZE.txt\" file."
109echo
Note: See TracBrowser for help on using the browser.