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