| 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" |
| 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 |
