Changeset 1027
- Timestamp:
- 06/03/04 09:21:22 (5 years ago)
- Location:
- trunk
- Files:
-
- 3 modified
-
INSTALL (modified) (1 diff)
-
misc/NOTES (modified) (4 diffs)
-
scripts/NOTES (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/INSTALL
r928 r1027 47 47 ~/.cshrc file: 48 48 49 setenv LOGTALKHOME "/your/installation/directory/lgt217 0"49 setenv LOGTALKHOME "/your/installation/directory/lgt2171" 50 50 51 51 If you use a bash shell, add the following lines to your ~/.profile file: 52 52 53 LOGTALKHOME="/your/installation/directory/lgt217 0"53 LOGTALKHOME="/your/installation/directory/lgt2171" 54 54 export LOGTALKHOME 55 55 -
trunk/misc/NOTES
r928 r1027 12 12 lgt_install.sh 13 13 shell script for installing Logtalk in Unix and Unix-like operating 14 systems (must be run nedfrom this directory by a user with administration14 systems (must be run from this directory by a user with administration 15 15 privileges); accepts as an optional argument a prefix for the installation 16 16 directory (default is /usr/local) … … 23 23 cplgtdirs.sh 24 24 shell script for copying xml, examples and library directories to 25 the user home directory (must be run nedby the end-user to ensure25 the user home directory (must be run by the end-user to ensure 26 26 proper permissions on the copied files) 27 27 28 28 debian 29 29 directory containing support files for building a Debian package 30 (work in progress; not yet functional) 30 31 31 32 32 The following shell scripts must be run nedby a user with administration33 The following shell scripts must be run by a user with administration 33 34 privileges: 34 35 … … 55 56 makes a script named yaplgt for running Logtalk with YAP 56 57 57 These scripts require the environment variable LOGTALKHOME ( containingthe58 These scripts require the environment variable LOGTALKHOME (pointing to the 58 59 Logtalk installation directory) to be defined. In addition, they accept as 59 60 an optional argument a prefix for the location of a link to the scripts … … 64 65 Note: when Logtalk is manually installed from sources, the shell scripts might 65 66 not have the executable permission bit set. In that case it will be necessary 66 to first run the command "chmod a+x *.sh" .67 to first run the command "chmod a+x *.sh" on the scripts directory. -
trunk/scripts/NOTES
r928 r1027 12 12 lgt_install.sh 13 13 shell script for installing Logtalk in Unix and Unix-like operating 14 systems (must be run nedfrom this directory by a user with administration14 systems (must be run from this directory by a user with administration 15 15 privileges); accepts as an optional argument a prefix for the installation 16 16 directory (default is /usr/local) … … 23 23 cplgtdirs.sh 24 24 shell script for copying xml, examples and library directories to 25 the user home directory (must be run nedby the end-user to ensure25 the user home directory (must be run by the end-user to ensure 26 26 proper permissions on the copied files) 27 27 28 28 debian 29 29 directory containing support files for building a Debian package 30 (work in progress; not yet functional) 30 31 31 32 32 The following shell scripts must be run nedby a user with administration33 The following shell scripts must be run by a user with administration 33 34 privileges: 34 35 … … 55 56 makes a script named yaplgt for running Logtalk with YAP 56 57 57 These scripts require the environment variable LOGTALKHOME ( containingthe58 These scripts require the environment variable LOGTALKHOME (pointing to the 58 59 Logtalk installation directory) to be defined. In addition, they accept as 59 60 an optional argument a prefix for the location of a link to the scripts … … 64 65 Note: when Logtalk is manually installed from sources, the shell scripts might 65 66 not have the executable permission bit set. In that case it will be necessary 66 to first run the command "chmod a+x *.sh" .67 to first run the command "chmod a+x *.sh" on the scripts directory.
