blob: 798d9d2c1d11e40f4ff6f73d588e45641800e145 (
plain)
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
|
#!/bin/sh
#
# This file is a simple trampoline to the real configure script which
# depends of the Scheme system used
#
# Known systems so far:
# - Bigloo (use --with-bigloo)
# - STklos (use --with-stklos)
#
# Author: Erick Gallesio [eg@essi.fr]
# Creation date: 29-Jul-2003 13:59 (eg)
# Last file update: 23-Sep-2004 17:14 (eg)
use_bigloo=0
use_stklos=0
new_args=""
export new_args
prefix=/usr/local
export prefix
for i in "$@"; do
case $i in
--with-bigloo) scheme=bigloo; use_bigloo=1;;
--with-stklos) scheme=stklos; use_stklos=1;;
--prefix=*) prefix=`echo $i | sed 's/^[^=]*=//'`;
new_args="$new_args $i";;
*) new_args="$new_args \"$i\"";;
esac
done
#* for i in $* ;do */
#* case $i in */
#* --with-bigloo) scheme=bigloo; use_bigloo=1;; */
#* --with-stklos) scheme=stklos; use_stklos=1;; */
#* --prefix=*) prefix=`echo $i | sed 's/^[^=]*=//'`; */
#* new_args="$new_args $i";; */
#* *) new_args="$new_args $i";; */
#* esac */
#* done */
case `expr $use_bigloo + $use_stklos` in
0) echo "You must at least specify a Scheme system: ";
echo " --with-bigloo to use Bigloo"
echo " --with-stklos to use STklos"
exit 1;;
1) ;;
*) echo "You must specify ONLY ONE Scheme system"; exit 1;;
esac
if test $use_bigloo = 1 ;then
scheme=bigloo
fi
if test $use_stklos = 1 ;then
scheme=stklos
fi
# Common configuration
release="1.2d"
skribeurl="http://www.inria.fr/mimosa/fp/Skribe"
skribeextdir="$prefix/share/skribe/extensions"
skribedocdir=$prefix/doc/skribe-$release
skribeskrdir="'(\".\" \"$skribeextdir\" \"$prefix/share/skribe/$release/skr\" )"
# etc/config
rm -f etc/config 2> /dev/null
echo "# Automatically generated file (don't edit)" > etc/config
echo "release=$release" >> etc/config
echo "skribeurl=$skribeurl" >> etc/config
echo "prefix=$prefix" >> etc/config
# etc/skribe-config
cat etc/skribe-config.in \
| sed "s|@SKRIBE_RELEASE@|$release|" \
| sed "s|@PREFIX@|$prefix|" \
| sed "s|@SKRIBE_SKR_DIR@|$prefix/share/skribe/$release/skr|" \
| sed "s|@SKRIBE_EXT_DIR@|$skribeextdir|" \
| sed "s|@SKRIBE_DOC_DIR@|$skribedocdir|" \
| sed "s|@SYSTEM@|$scheme|" \
> etc/skribe-config
chmod a+x etc/skribe-config
# emacs/skribe.el
cat emacs/skribe.el.in \
| sed "s|@SKRIBE_RELEASE@|$release|" \
| sed "s|@PREFIX@|$prefix|" \
| sed "s|@SKRIBE_EXT_DIR@|$skribeextdir|" \
| sed "s|@SYSTEM@|$scheme|" \
| sed "s|@SKRIBE_DOCDIR@|$skribedocdir|" \
> emacs/skribe.el
# src/common/configure.scm
rm -f src/common/configure.scm 2> /dev/null
echo ";; Automatically generated file (don't edit)" > src/common/configure.scm
cat src/common/configure.scm.in \
| sed "s|@SKRIBE_RELEASE@|$release|" \
| sed "s|@SKRIBE_URL@|$skribeurl|" \
| sed "s|@SKRIBE_DOC_DIR@|$skribedocdir|" \
| sed "s|@SKRIBE_EXT_DIR@|$skribeextdir|" \
| sed "s|@SKRIBE_SKR_PATH@|$skribeskrdir|" \
| sed "s|@SKRIBE_SCHEME@|$scheme|" \
>> src/common/configure.scm
echo "" >> src/common/configure.scm
if test $use_bigloo = 1 ;then
# pass all the arguments to the Bigloo autoconf without the --with-bigloo
echo "Using Bigloo system"
eval "cd etc/bigloo; SKRIBERELEASE=$release ./configure --docdir=$skribedocdir $new_args"
exit 0
fi
# If we are here, it means that we use the STklos system
if test $use_stklos = 1 ;then
# pass all the arguments to the STklos autoconf without the --with-stklos
echo "Using STklos system"
eval "cd etc/stklos; ./configure $new_args"
exit 0
fi
|
