4 |
|
|
5 |
|
echo "Generating Makefile includes" |
6 |
|
echo "SERVERROOT="`pwd` > Config.inc |
7 |
< |
echo "include $(SERVERROOT)/Config2.inc" >> Config.inc |
7 |
> |
echo "include \$(SERVERROOT)/Config2.inc" >> Config.inc |
8 |
|
|
9 |
|
echo "Checking for required libraries" |
10 |
|
cd build/lib |
35 |
|
else \ |
36 |
|
echo " parser.jar not found, fetching from ${HTTPSERVER}parser.jar"; \ |
37 |
|
wget -nv ${HTTPSERVER}parser.jar; \ |
38 |
+ |
fi |
39 |
+ |
|
40 |
+ |
if test -r "mysql.jar"; then \ |
41 |
+ |
echo " mysql.jar found"; \ |
42 |
+ |
else \ |
43 |
+ |
echo " mysql.jar not found, fetching from ${HTTPSERVER}mysql.jar"; \ |
44 |
+ |
wget -nv ${HTTPSERVER}mysql.jar; \ |
45 |
|
fi |
46 |
|
|
47 |
|
echo "Checking for jacorb.properties" |