aboutsummaryrefslogtreecommitdiff
path: root/skribe/configure
diff options
context:
space:
mode:
authorLudovic Courtes2005-10-31 16:03:18 +0000
committerLudovic Courtes2005-10-31 16:03:18 +0000
commite9509518623d016880392237a298d4561a3b6a0b (patch)
tree9de28d4985d0c1f8b040900ce23714de8531e46f /skribe/configure
parent409e8a99bf90ddb8e5d40c6dd8559ad1d97b925f (diff)
downloadskribilo-e9509518623d016880392237a298d4561a3b6a0b.tar.gz
skribilo-e9509518623d016880392237a298d4561a3b6a0b.tar.lz
skribilo-e9509518623d016880392237a298d4561a3b6a0b.zip
Removed useless files, integrated packages.
* src/guile/skribilo/packages: New directory and files. * bin: Removed. * skr: Removed (files moved to `src/guile/skribilo/packages'). * skribe: Removed. * doc/skr/env.skr (*courtes-mail*): New. * doc/user/user.skb: Removed postal addresses, added my name. * src/guile/skribilo/engine/lout.scm: Uncommented the slide-related markup writers. * src/guile/skribilo/evaluator.scm (%evaluate): Try weird things with source properties. * src/guile/skribilo/reader/skribe.scm: Comply with the new guile-reader API. * src/guile/skribilo/types.scm: Removed the special `initialize' method for ASTs which was supposed to set their location. git-archimport-id: lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-7
Diffstat (limited to 'skribe/configure')
-rwxr-xr-xskribe/configure124
1 files changed, 0 insertions, 124 deletions
diff --git a/skribe/configure b/skribe/configure
deleted file mode 100755
index 798d9d2..0000000
--- a/skribe/configure
+++ /dev/null
@@ -1,124 +0,0 @@
-#!/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
-