| 1 | tdb | 1.2 | #!/bin/sh | 
 
 
 
 
 | 2 |  |  |  | 
 
 
 
 
 | 3 |  |  | HTTPSERVER="http://killigrew.ukc.ac.uk/" | 
 
 
 
 
 | 4 |  |  |  | 
 
 
 
 
 | 5 |  |  | echo "Generating Makefile includes" | 
 
 
 
 
 | 6 |  |  | echo "SERVERROOT="`pwd` > Config.inc | 
 
 
 
 
 
 
 
 | 7 | tdb | 1.3 | echo "include \$(SERVERROOT)/Config2.inc" >> Config.inc | 
 
 
 
 
 
 
 
 | 8 | tdb | 1.2 |  | 
 
 
 
 
 | 9 |  |  | echo "Checking for required libraries" | 
 
 
 
 
 | 10 |  |  | cd build/lib | 
 
 
 
 
 | 11 |  |  |  | 
 
 
 
 
 | 12 |  |  | if test -r "idl.jar"; then \ | 
 
 
 
 
 | 13 |  |  | echo "  idl.jar found"; \ | 
 
 
 
 
 | 14 |  |  | else \ | 
 
 
 
 
 | 15 |  |  | echo "  idl.jar not found, fetching from ${HTTPSERVER}idl.jar"; \ | 
 
 
 
 
 | 16 |  |  | wget -nv ${HTTPSERVER}idl.jar; \ | 
 
 
 
 
 | 17 |  |  | fi | 
 
 
 
 
 | 18 |  |  |  | 
 
 
 
 
 | 19 |  |  | if test -r "jacorb.jar"; then \ | 
 
 
 
 
 | 20 |  |  | echo "  jacorb.jar found"; \ | 
 
 
 
 
 | 21 |  |  | else \ | 
 
 
 
 
 | 22 |  |  | echo "  jacorb.jar not found, fetching from ${HTTPSERVER}jacorb.jar"; \ | 
 
 
 
 
 | 23 |  |  | wget -nv ${HTTPSERVER}jacorb.jar; \ | 
 
 
 
 
 | 24 |  |  | fi | 
 
 
 
 
 | 25 |  |  |  | 
 
 
 
 
 | 26 |  |  | if test -r "jaxp.jar"; then \ | 
 
 
 
 
 | 27 |  |  | echo "  jaxp.jar found"; \ | 
 
 
 
 
 | 28 |  |  | else \ | 
 
 
 
 
 | 29 |  |  | echo "  jaxp.jar not found, fetching from ${HTTPSERVER}jaxp.jar"; \ | 
 
 
 
 
 | 30 |  |  | wget -nv ${HTTPSERVER}jaxp.jar; \ | 
 
 
 
 
 | 31 |  |  | fi | 
 
 
 
 
 | 32 |  |  |  | 
 
 
 
 
 | 33 |  |  | if test -r "parser.jar"; then \ | 
 
 
 
 
 | 34 |  |  | echo "  parser.jar found"; \ | 
 
 
 
 
 | 35 |  |  | else \ | 
 
 
 
 
 | 36 |  |  | echo "  parser.jar not found, fetching from ${HTTPSERVER}parser.jar"; \ | 
 
 
 
 
 | 37 |  |  | wget -nv ${HTTPSERVER}parser.jar; \ | 
 
 
 
 
 | 38 |  |  | fi | 
 
 
 
 
 | 39 |  |  |  | 
 
 
 
 
 
 
 
 | 40 | tdb | 1.5 | if test -r "mm.mysql-2.0.2-bin.jar"; then \ | 
 
 
 
 
 | 41 |  |  | echo "  mm.mysql-2.0.2-bin.jar found"; \ | 
 
 
 
 
 
 
 
 | 42 | tdb | 1.4 | else \ | 
 
 
 
 
 
 
 
 | 43 | tdb | 1.5 | echo "  mm.mysql-2.0.2-bin.jar not found, fetching from ${HTTPSERVER}mm.mysql-2.0.2-bin.jar"; \ | 
 
 
 
 
 | 44 |  |  | wget -nv ${HTTPSERVER}mm.mysql-2.0.2-bin.jar; \ | 
 
 
 
 
 
 
 
 | 45 | tdb | 1.4 | fi | 
 
 
 
 
 | 46 |  |  |  | 
 
 
 
 
 
 
 
 | 47 | tdb | 1.2 | echo "Checking for jacorb.properties" | 
 
 
 
 
 | 48 |  |  | cd ${HOME} | 
 
 
 
 
 | 49 |  |  | if test -r "jacorb.properties"; then \ | 
 
 
 
 
 | 50 |  |  | echo "  jacorb.properties found"; \ | 
 
 
 
 
 | 51 |  |  | else \ | 
 
 
 
 
 | 52 |  |  | echo "  jacorb.properties not found, fetching from ${HTTPSERVER}jacorb.properties"; \ | 
 
 
 
 
 | 53 |  |  | wget -nv ${HTTPSERVER}jacorb.properties; \ | 
 
 
 
 
 | 54 |  |  | fi | 
 
 
 
 
 | 55 |  |  |  | 
 
 
 
 
 | 56 |  |  | echo "Configure Completed" |