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