--- projects/cms/source/server/configure	2000/12/13 17:32:00	1.1
+++ projects/cms/source/server/configure	2000/12/13 18:34:09	1.2
@@ -0,0 +1,49 @@
+#!/bin/sh
+
+HTTPSERVER="http://killigrew.ukc.ac.uk/"
+
+echo "Generating Makefile includes"
+echo "SERVERROOT="`pwd` > Config.inc
+echo "include $(SERVERROOT)/Config2.inc" >> Config.inc
+
+echo "Checking for required libraries"
+cd build/lib
+
+if test -r "idl.jar"; then \
+  echo "  idl.jar found"; \
+else \
+  echo "  idl.jar not found, fetching from ${HTTPSERVER}idl.jar"; \
+  wget -nv ${HTTPSERVER}idl.jar; \
+fi
+
+if test -r "jacorb.jar"; then \
+  echo "  jacorb.jar found"; \
+else \
+  echo "  jacorb.jar not found, fetching from ${HTTPSERVER}jacorb.jar"; \
+  wget -nv ${HTTPSERVER}jacorb.jar; \
+fi
+
+if test -r "jaxp.jar"; then \
+  echo "  jaxp.jar found"; \
+else \
+  echo "  jaxp.jar not found, fetching from ${HTTPSERVER}jaxp.jar"; \
+  wget -nv ${HTTPSERVER}jaxp.jar; \
+fi
+
+if test -r "parser.jar"; then \
+  echo "  parser.jar found"; \
+else \
+  echo "  parser.jar not found, fetching from ${HTTPSERVER}parser.jar"; \
+  wget -nv ${HTTPSERVER}parser.jar; \
+fi
+
+echo "Checking for jacorb.properties"
+cd ${HOME}
+if test -r "jacorb.properties"; then \
+  echo "  jacorb.properties found"; \
+else \
+  echo "  jacorb.properties not found, fetching from ${HTTPSERVER}jacorb.properties"; \
+  wget -nv ${HTTPSERVER}jacorb.properties; \
+fi
+
+echo "Configure Completed"