ViewVC Help
View File | Revision Log | Show Annotations | Revision Graph | Root Listing
root/i-scream/projects/cms/source/server/configure
Revision: 1.4
Committed: Mon Jan 22 18:31:12 2001 UTC (23 years, 4 months ago) by tdb
Branch: MAIN
Changes since 1.3: +7 -0 lines
Log Message:
Added getting of the mysql JAR file from the httpserver.

File Contents

# User Rev Content
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.4 if test -r "mysql.jar"; then \
41     echo " mysql.jar found"; \
42     else \
43     echo " mysql.jar not found, fetching from ${HTTPSERVER}mysql.jar"; \
44     wget -nv ${HTTPSERVER}mysql.jar; \
45     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"