1 |
#!/bin/sh |
2 |
|
3 |
# |
4 |
# i-scream Distributed Centralised Monitoring System |
5 |
# Conient configure script |
6 |
# |
7 |
# $Id$ |
8 |
# |
9 |
|
10 |
## Config |
11 |
|
12 |
# HTTP Server. This is the source of all downloads. |
13 |
HTTPSERVER="http://killigrew.ukc.ac.uk/" |
14 |
|
15 |
# This script uses wget, set it's path and parameters here |
16 |
WGETPARAM="-nv" |
17 |
WGET="/usr/local/bin/wget ${WGETPARAM}" |
18 |
|
19 |
# This should always be the same |
20 |
PWD=`pwd` |
21 |
|
22 |
## Library check |
23 |
|
24 |
echo "> Checking for required libraries" |
25 |
cd build/lib |
26 |
|
27 |
LIBRARIES="crimson.jar jaxp.jar iscream-util.jar" |
28 |
|
29 |
for LIB in ${LIBRARIES}; do |
30 |
|
31 |
if test -r "${LIB}"; then \ |
32 |
echo " + ${LIB} found"; \ |
33 |
else \ |
34 |
echo " - ${LIB} not found, fetching from ${HTTPSERVER}${LIB}"; \ |
35 |
/usr/local/bin/wget -nv ${HTTPSERVER}${LIB}; \ |
36 |
fi |
37 |
|
38 |
done |
39 |
|
40 |
## Write out the include file for the Makefile's |
41 |
|
42 |
echo "> Generating Makefile includes" |
43 |
echo " + writing root of source tree" |
44 |
echo "SOURCEROOT=${PWD}" > ${PWD}/Config.inc |
45 |
echo " + writing include" |
46 |
echo "include \$(SOURCEROOT)/Config2.inc" >> ${PWD}/Config.inc |
47 |
|
48 |
echo "> Configure Completed" |
49 |
|
50 |
## End |