| 1 | 
 tdb | 
 1.1.2.1 | 
 #!/bin/sh | 
 
 
 
 
 
 | 2 | 
   | 
   | 
  | 
 
 
 
 
 
 | 3 | 
   | 
   | 
 HTTPSERVER="http://killigrew.ukc.ac.uk/" | 
 
 
 
 
 
 | 4 | 
   | 
   | 
  | 
 
 
 
 
 
 | 5 | 
   | 
   | 
 echo "Generating Makefile includes" | 
 
 
 
 
 
 | 6 | 
   | 
   | 
 echo "SERVERROOT="`pwd` > Config.inc | 
 
 
 
 
 
 | 7 | 
   | 
   | 
 echo "include $(SERVERROOT)/Config2.inc" >> Config.inc | 
 
 
 
 
 
 | 8 | 
   | 
   | 
  | 
 
 
 
 
 
 | 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 | 
   | 
   | 
 echo "Checking for jacorb.properties" | 
 
 
 
 
 
 | 41 | 
   | 
   | 
 cd ${HOME} | 
 
 
 
 
 
 | 42 | 
   | 
   | 
 if test -r "jacorb.properties"; then \ | 
 
 
 
 
 
 | 43 | 
   | 
   | 
   echo "  jacorb.properties found"; \ | 
 
 
 
 
 
 | 44 | 
   | 
   | 
 else \ | 
 
 
 
 
 
 | 45 | 
   | 
   | 
   echo "  jacorb.properties not found, fetching from ${HTTPSERVER}jacorb.properties"; \ | 
 
 
 
 
 
 | 46 | 
   | 
   | 
   wget -nv ${HTTPSERVER}jacorb.properties; \ | 
 
 
 
 
 
 | 47 | 
   | 
   | 
 fi | 
 
 
 
 
 
 | 48 | 
   | 
   | 
  | 
 
 
 
 
 
 | 49 | 
   | 
   | 
 echo "Configure Completed" |