summaryrefslogtreecommitdiff
path: root/configure
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