#!/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