From fc42fe56a57eace2dbdb31574c2e161f0eacf839 Mon Sep 17 00:00:00 2001 From: Ludovic Court`es Date: Wed, 15 Jun 2005 13:00:39 +0000 Subject: Initial import of Skribe 1.2d. Initial import of Skribe 1.2d. git-archimport-id: lcourtes@laas.fr--2004-libre/skribilo--devel--1.2--base-0 --- skribe/etc/bigloo/autoconf/bversion | 42 +++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100755 skribe/etc/bigloo/autoconf/bversion (limited to 'skribe/etc/bigloo/autoconf/bversion') diff --git a/skribe/etc/bigloo/autoconf/bversion b/skribe/etc/bigloo/autoconf/bversion new file mode 100755 index 0000000..1f24c86 --- /dev/null +++ b/skribe/etc/bigloo/autoconf/bversion @@ -0,0 +1,42 @@ +#!/bin/sh +#*=====================================================================*/ +#* serrano/prgm/project/scribe/autoconf/bversion */ +#* ------------------------------------------------------------- */ +#* Author : Manuel Serrano */ +#* Creation : Tue Jan 12 14:33:21 1999 */ +#* Last change : Sun Jan 13 07:30:21 2002 (serrano) */ +#* ------------------------------------------------------------- */ +#* Check the current bigloo version */ +#*=====================================================================*/ + +bigloo=bigloo +version=2.4b + +#*---------------------------------------------------------------------*/ +#* We parse the arguments */ +#*---------------------------------------------------------------------*/ +while : ; do + case $1 in + "") + break;; + --bigloo=*|-bigloo=*) + bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";; + + --version=*|-version=*) + version="`echo $1 | sed 's/^[-a-z]*=//'`";; + + -*) + echo "Unknown option \"$1\", ignored" >&2;; + esac + shift +done + +#*---------------------------------------------------------------------*/ +#* We spawn a bigloo process to check its version number */ +#*---------------------------------------------------------------------*/ +bver=`$bigloo -q -eval "(exit (print *bigloo-version*))"` +echo $bver + +$bigloo -q -eval "(exit (if (string>=? *bigloo-version* \"$version\") 0 1))" + +exit $? -- cgit v1.2.3