10 |
|
## Config |
11 |
|
|
12 |
|
# HTTP Server. This is the source of all downloads. |
13 |
< |
HTTPSERVER="http://killigrew.ukc.ac.uk/" |
13 |
> |
HTTPSERVER="http://www.i-scream.org.uk/downloads/lib/" |
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` |
20 |
> |
SRCROOT=`pwd` |
21 |
|
|
22 |
|
## Library check |
23 |
|
|
32 |
|
echo " + ${LIB} found"; \ |
33 |
|
else \ |
34 |
|
echo " - ${LIB} not found, fetching from ${HTTPSERVER}${LIB}"; \ |
35 |
< |
/usr/local/bin/wget -nv ${HTTPSERVER}${LIB}; \ |
35 |
> |
${WGET} -nv ${HTTPSERVER}${LIB}; \ |
36 |
|
fi |
37 |
|
|
38 |
|
done |
45 |
|
echo " + jacorb.properties found"; \ |
46 |
|
else \ |
47 |
|
echo " - jacorb.properties not found, fetching from ${HTTPSERVER}jacorb.properties"; \ |
48 |
< |
wget -nv ${HTTPSERVER}jacorb.properties; \ |
48 |
> |
${WGET} ${HTTPSERVER}jacorb.properties; \ |
49 |
|
fi |
50 |
|
|
51 |
|
## Write out the include file for the Makefile's |
52 |
|
|
53 |
|
echo "> Generating Makefile includes" |
54 |
|
echo " + writing root of source tree" |
55 |
< |
echo "SOURCEROOT=${PWD}" > ${PWD}/Config.inc |
55 |
> |
echo "SOURCEROOT=${SRCROOT}" > ${SRCROOT}/Config.inc |
56 |
|
echo " + writing include" |
57 |
< |
echo "include \$(SOURCEROOT)/Config2.inc" >> ${PWD}/Config.inc |
57 |
> |
echo "include \$(SOURCEROOT)/Config2.inc" >> ${SRCROOT}/Config.inc |
58 |
|
|
59 |
|
echo "> Configure Completed" |
60 |
|
|