2
#directory=doxygen-1.8.7
3
#filename=${directory}.src.tar.gz
4
#url=ftp://ftp.stack.nl/pub/users/dimitri/${filename}
6
# Using a locally hosted version of doxygen because an error that causes segfaults when
7
# compiling the documentation is not yet fixed in the current release version.
8
# When 1.8.7 comes out, the lines above can be used instead of the ones below.
9
# The Git-Hash of the currently used version is 09a5fc198a98d697d3e50c1c76392b8373f1af12
11
directory=doxygen-1.8.6.1
12
filename=${directory}.src.tar.gz
13
url=http://micewww.pp.rl.ac.uk/attachments/1882/${filename}
15
if [ -n "${MAUS_ROOT_DIR+x}" ]; then
17
if [ -e "${MAUS_ROOT_DIR}/third_party/source/${filename}" ]
19
echo "INFO: Found source archive in 'source' directory"
21
echo "INFO: Source archive doesn't exist. Downloading..."
23
wget --directory-prefix=${MAUS_ROOT_DIR}/third_party/source ${url}
27
if [ -e "${MAUS_ROOT_DIR}/third_party/source/${filename}" ]
29
echo "INFO: Source archive exists."
31
echo "INFO: Checking MD5 checksum (otherwise the file didn't"
32
echo "INFO: download properly):"
34
cd ${MAUS_ROOT_DIR}/third_party/source
35
md5sum -c ${filename}.md5 || { echo "FATAL: Failed to download:" >&2; echo "FATAL: ${filename}." >&2; echo "FATAL: MD5 checksum failed.">&2; echo "FATAL: Try rerunning this command to redownload, or check" >&2; echo "FATAL: internet connection" >&2; rm -f ${filename}; exit 1; }
38
echo "INFO: Unpacking:"
40
rm -Rf ${MAUS_ROOT_DIR}/third_party/build/${directory}
42
tar xvfz ${MAUS_ROOT_DIR}/third_party/source/${filename} -C ${MAUS_ROOT_DIR}/third_party/build > /dev/null
43
cd ${MAUS_ROOT_DIR}/third_party/build/${directory}
44
echo "INFO: Configuring:"
46
./configure --prefix ${MAUS_ROOT_DIR}/third_party/install
53
##################################################
55
echo "INFO: The package should be locally build now in your"
56
echo "INFO: third_party directory, which the rest of MAUS will"
59
echo "FATAL: Source archive still doesn't exist. Please file a bug report with your operating system,">&2
60
echo "FATAL: distribution, and any other useful information at:" >&2
62
echo "FATAL: http://micewww.pp.rl.ac.uk:8080/projects/maus/issues/" >&2
64
echo "FATAL: Giving up, sorry..." >&2
68
else ##################################################
70
echo "FATAL: MAUS_ROOT_DIR is not set, which is required to" >&2
71
echo "FATAL: know where to install this package. You have two" >&2
72
echo "FATAL: options:" >&2
74
echo "FATAL: 1. Set the MAUS_ROOT_DIR from the command line by" >&2
75
echo "FATAL: (if XXX is the directory where MAUS is installed):" >&2
77
echo "FATAL: MAUS_ROOT_DIR=XXX ${0}" >&2
79
echo "FATAL: 2. Run the './configure' script in the MAUS ROOT" >&2
80
echo "FATAL: directory, run 'source env.sh' then rerun this" >&2
81
echo "FATAL: command ">&2
85
# This is the maximum length of text (ignoring whitespace), 50 chars
86
##################################################
87
# this is the maximum amount of characters (including whitespace) per line)
88
######################################################################