#!/bin/bash
## INSTALLATION/SETUP SUMMARY
## Installed 21 Dec 2019
## Poplog is location independent. Choose an appropriate location to run this script and install poplog
##A directory poplog_base will be created in the directory in which poplog is installed.
##It will contain the files required at run time. Some of the downloaded files are used
##to build the final usable poplog system.
## Expert users may wish to modify some of the instructions before running
## the script.'
##Get the required poplog-specific tar files used for installation
echo 'Download the latest "core" version of poplog with sources and documentation'
echo 'produced by Waldek Hebisch'
echo ''
echo 'wget http://www.cs.bham.ac.uk/research/projects/poplog/V16/latest_poplog_base.tar.bz2'
wget http://www.cs.bham.ac.uk/research/projects/poplog/V16/latest_poplog_base.tar.bz2
echo ''
echo 'Download the poplog documentation and tutorial files from Birmingham'
echo 'To be added to the poplog system in the $usepop/pop/{doc,help,teach,ref} directories'
echo ''
echo 'wget http://www.cs.bham.ac.uk/research/projects/poplog/V16/docs.tar.bz2'
wget http://www.cs.bham.ac.uk/research/projects/poplog/V16/docs.tar.bz2
## Download the poplog 'packages' system from Birmingham, to be added to the core
## poplog system as the $usepop/pop/packages directory
echo ''
echo 'wget http://www.cs.bham.ac.uk/research/projects/poplog/packages-v16.tgz'
wget http://www.cs.bham.ac.uk/research/projects/poplog/packages-v16.tgz
echo ''
echo 'Download the poplog installation script and make it executable'
echo 'wget https://www.cs.bham.ac.uk/research/projects/poplog/V16/build_all.csh'
### previously build_pop.sh now build_all.csh
wget https://www.cs.bham.ac.uk/research/projects/poplog/V16/build_all.csh
echo ''
echo 'Make it executable'
echo 'chmod u+rwx build_all.csh'
chmod u+rwx build_all.csh
echo ''
## echo 'Setup user environment variables'
## echo 'usepop will be set to `pwd`/poplog_base'
## echo `pwd`'/poplog_base' > poplog_base/USEPOP
## `pwd`'/poplog_base' > poplog_base/USEPOP
## echo 'the value of $usepop needs to be set to `cat poplog_base/USEPOP`'
## echo 'for all users.\n'
## echo 'The variable $usepop will need to be set at the beginning of a session in which'
## echo 'poplog is run. Regular users of poplog often set up $usepop in their login'
## echo 'start-up scripts, e.g. .bashrc or .tcshrc'
##USE THE FETCHED FILES TO INSTALL POPLOG##
echo 'Starting to install poplog in' `pwd`/poplog_base
echo ''
echo 'tar xfj latest_poplog_base.tar.bz2'
tar xfj latest_poplog_base.tar.bz2
echo 'contents of poplog_base'
ls -l poplog_base
echo ''
echo 'Build the new Poplog V16 system, after changing to subdirectory poplog_base'
echo ''
echo 'Unpacked files''
ls -l *
echo 'Use the build_all.csh script to build poplog from the contents of the'
echo 'previously downloaded tar file, and the packages sub-tree.\n'
echo 'cd poplog_base'
cd poplog_base
pwd
echo 'Create file whose content is the name of this directory'
echo `pwd` > USEPOP
echo "directory name stored"
cat USEPOP
echo "Run the script '../build_all.csh'"
echo 'This may take some time.'
## can't run or source it where it is for some reason
cp -p ../build_all.csh .
./build_all.csh
##@ ## If all goes well it will print out something like this, [but altered for csh]
##@ ## recording its actions and some of their results:
##@ ##
##@ ## ./build_pop0 > rapp1 2>&1
##@ ## mv pop/pop/newpop11 pop/pop/corepop
##@ ## ./build_pop2 > rapp2 2>&1
##@ ## ls -l pop/lib/psv
##@ ## total 5500
##@ ## -rw-r--r-- 1 axs axs 2574744 Dec 15 04:11 clisp.psv
##@ ## -rw-r--r-- 1 axs axs 1112472 Dec 15 04:11 pml.psv
##@ ## -rw-r--r-- 1 axs axs 743832 Dec 15 04:11 prolog.psv
##@ ## -rw-r--r-- 1 axs axs 911728 Dec 15 04:11 startup.psv
##@ ## -rw-r--r-- 1 axs axs 280984 Dec 15 04:11 xved.psv
##@
##@ echo ''
##@ echo 'Detailed trace output, for debugging, is in files buildout1 and buildout2'
##@ echo "(Previously rapp1 and rapp2)"
##@
##@ ## Install documentation files
##@ echo ''
##@ echo 'Now in directory:'
##@ pwd
##@ echo ''
##@ echo 'Install the documentation files fetched from Birmingham'
##@ echo 'cd pop'
##@ cd pop
##@ echo 'current directory'
##@ pwd
##@ echo ''
##@ echo 'tar xfj ../../docs.tar.bz2'
##@ tar xfj ../../docs.tar.bz2
##@
##@ echo 'Check that contents of $usepop/pop directory now contain doc, help, ref, teach directories'
##@ echo ''
##@ pwd
##@ echo 'ls -l'
##@ ls -l
##@
##@ ## Install Poplog packages files
##@ echo 'Untar and install the Poplog packages library also in poplog_base/pop'
##@ echo ''
##@ echo 'pwd'
##@ pwd
##@ echo ''
##@
##@ echo 'tar xfz ../../packages-v16.tgz'
##@
##@ tar xfz ../../packages-v16.tgz
##@
##@ echo ''
##@ echo 'Check that $usepop/pop directory now also contains packages directory'
##@ echo 'Current directory:'
##@ pwd
##@ echo ''
##@ echo 'ls -l'
##@ ls -l
##@
##@ echo ''
##@ echo 'Check $popsavelib contents'
##@ echo 'ls -l lib/psv'
##@
##@ echo 'Create documentation index files'
##@
##@ echo 'com/makeindexes'
##@ echo ''
##@ com/makeindexes
##@
##@ echo ''
##@ echo 'makeindexes can be run again later if any new documentation and library files
##@ echo 'are added to poplog in standard sub-directories.'
##@ echo ''
##@
##@ echo 'This file should be edited if the editor Ved is to be used for mail:'
##@
##@ echo '$usepop/pop/packages/vedmail/auto/popsitename.p'
##@
##@ echo 'If you expect to use the poplog editor Ved to read and send email message, then'
##@ echo 'after the packages directory has been installed as above, edit the file:'
##@
##@ echo '$usepop/pop/packages/vedmail/auto/popsitename.p'
##@
##@ echo "Replace the line popsitename = '@cs.bham.ac.uk';"
##@ echo 'with the domain of your email address if you intend to use Ved'
##@ echo 'to insert the address automatically, e.g. when composing email messages.'
##@ echo '----------------------------------------------------------------------'
##@
##@ echo "Test that it's all working, using the previously set up value for" '$usepop'
##@ echo 'Try these linux commands, and exit each with CTRL-D:\n pop11\n ved\n prolog\n clisp\n pml\n'
##@
##@ echo 'If you have any difficulties try joining the pop-forum mailing list'
##@ echo 'and asking for help'.
##@
##@ echo ''
##@
##@ echo 'Send an email message to: pop-forum-request@cs.bham.ac.uk'
##@
##@ echo 'with one line in the message containing the word "subscribe"'
##@
##@ echo 'You should be sent a confirmation message, with instructions for posting.'
##@
##@ echo ''