1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
#!/bin/sh -f
########################################################################
#
# File: configure
#
# Copyright 2008 Stephan Schulz, schulz@eprover.org
#
# Configuration script for the equational theorem prover E.
#
# Usage:
#
# Change directory to the top level directory of the E distribution
# (where this file is located). Then run
#
# ./configure
#
# This will prepare E for compilation in place, i.e. it will compile
# the system in place and configure programs and scripts to find the
# execuable in the directory E/PROVER. Installation in this way will
# not affect any files outside the E distribution directory.
#
# If you want to install E in a special place in the file system, run
#
# ./configure --bindir=/path/to/executables
#
# After running the configure script, you will usually type
#
# make
#
# to compile E and build all the executables. To actually install E
# somewhere outside its build directory, type
#
# make install
#
# You will need the necessary access rights to move the executables
# and possibly to create the requested directory.
#
# Have Fun!
#
#
# Copyright 2008 Stephan Schulz, schulz@eprover.org
#
# This code is part of the support structure for the equational
# theorem prover E. Visit
#
# http://www.eprover.org
#
# for more information.
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program ; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place, Suite 330, Boston,
# MA 02111-1307 USA
#
# The original copyright holder can be contacted as
#
# Stephan Schulz (I4)
# Technische Universitaet Muenchen
# Institut fuer Informatik
# Boltzmannstrasse 3
# Garching bei Muenchen
# Germany
#
# or via email (address above).
#
EXECPATH=`pwd`/PROVER
MANPATH=`pwd`/DOC/man
enable_ho=' # -DENABLE_LFHO \\'
build_ho="EHOH ="
for argument in "$@"; do
if [ "$argument" = "-h" -o "$argument" = "--help" ] ; then
echo "Usage: ./configure [options]"
echo ""
echo "Supported options:"
echo "--help"
echo " Print this help."
echo "--enable-ho"
echo " Build E with support for (currently) lambda-free higher-order logic."
echo "--bindir=<path>"
echo " Configure E for running from <path>".
echo "--exec-prefix=<path>"
echo " Equivalent to --bindir=<path>/bin".
echo "--man-prefix=<path>"
echo " Specify directory for the man pages."
echo "--prefix=<path>"
echo " Equivalent to --bindir=<path>/bin --mandir=<path>/man".
exit 0
else
opt=`echo "$argument"|cut -d= -f1`
arg=`echo "$argument"|cut -d= -f2-`
if [ "$opt" = "--bindir" ] ; then
EXECPATH=$arg
elif [ "$argument" = "--enable-ho" ] ; then
enable_ho=' -DENABLE_LFHO \\'
build_ho='EHOH = eprover-ho'
elif [ "$opt" = "--exec-prefix" ] ; then
EXECPATH=$arg/bin
elif [ "$opt" = "--man-prefix" ] ; then
MANPATH=$arg
elif [ "$opt" = "--prefix" ] ; then
EXECPATH=$arg/bin
MANPATH=$arg/man
else
echo "Unknown option " $argument
exit 1
fi
fi
done
echo "Configuring with executable path "$EXECPATH
echo $MANPATH
echo $enable_ho
sed -e "/^EXECPATH =.*/s|.*|EXECPATH = $EXECPATH|" \
-e "/^MANPATH =.*/s|.*|MANPATH = $MANPATH|" \
-e "/^.*DENABLE_LFHO/s|.*|$enable_ho|" \
-e "/^EHOH/s|.*|$build_ho|" \
Makefile.vars > tmpfile
mv tmpfile Makefile.vars
make config
|
