ViewVC Help
View File | Revision Log | Show Annotations | Revision Graph | Root Listing
root/i-scream/projects/cms/source/server/configure
Revision: 1.5
Committed: Mon Jan 22 21:18:34 2001 UTC (23 years, 11 months ago) by tdb
Branch: MAIN
Changes since 1.4: +4 -4 lines
Log Message:
The old driver appeared a bit dodgy. I've gone back to the version before the
current latest, and it seems to be acting ok. This should work on windows too,
and any other machine - the dependence to Raptor has been removed.

File Contents

# Content
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 if test -r "mm.mysql-2.0.2-bin.jar"; then \
41 echo " mm.mysql-2.0.2-bin.jar found"; \
42 else \
43 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 fi
46
47 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"