| 1 | tdb | 1.1 | #!/bin/sh | 
 
 
 
 
 | 2 |  |  |  | 
 
 
 
 
 | 3 |  |  | HTTPSERVER="http://killigrew.ukc.ac.uk/" | 
 
 
 
 
 | 4 |  |  |  | 
 
 
 
 
 | 5 |  |  | echo "Generating Makefile includes" | 
 
 
 
 
 | 6 |  |  | echo "SOURCEROOT="`pwd` > Config.inc | 
 
 
 
 
 | 7 |  |  | echo "include \$(SOURCEROOT)/Config2.inc" >> Config.inc | 
 
 
 
 
 | 8 |  |  |  | 
 
 
 
 
 | 9 |  |  | echo "Checking for required libraries" | 
 
 
 
 
 | 10 |  |  | cd build/lib | 
 
 
 
 
 | 11 |  |  |  | 
 
 
 
 
 | 12 |  |  | if test -r "jacorb.jar"; then \ | 
 
 
 
 
 | 13 |  |  | echo "  jacorb.jar found"; \ | 
 
 
 
 
 | 14 |  |  | else \ | 
 
 
 
 
 | 15 |  |  | echo "  jacorb.jar not found, fetching from ${HTTPSERVER}jacorb.jar"; \ | 
 
 
 
 
 | 16 |  |  | /usr/local/bin/wget -nv ${HTTPSERVER}jacorb.jar; \ | 
 
 
 
 
 | 17 |  |  | fi | 
 
 
 
 
 | 18 |  |  |  | 
 
 
 
 
 | 19 |  |  | echo "Checking for jacorb.properties" | 
 
 
 
 
 | 20 |  |  | cd ${HOME} | 
 
 
 
 
 | 21 |  |  | if test -r "jacorb.properties"; then \ | 
 
 
 
 
 | 22 |  |  | echo "  jacorb.properties found"; \ | 
 
 
 
 
 | 23 |  |  | else \ | 
 
 
 
 
 | 24 |  |  | echo "  jacorb.properties not found, fetching from ${HTTPSERVER}jacorb.properties"; \ | 
 
 
 
 
 | 25 |  |  | wget -nv ${HTTPSERVER}jacorb.properties; \ | 
 
 
 
 
 | 26 |  |  | fi | 
 
 
 
 
 | 27 |  |  |  | 
 
 
 
 
 | 28 |  |  | echo "Configure Completed" |