From 27eccd2a3a0bf1d4f94b05950cafa4e278f173e1 Mon Sep 17 00:00:00 2001 From: Richard Kreckel Date: Thu, 22 Jun 2000 00:08:09 +0000 Subject: [PATCH] - configure, configure.in: Bumped version up to 0.6.2. - INSTALL, NEWS: Mention new launcher for ginaccint.bin. --- INSTALL | 14 ++++++++------ NEWS | 6 ++++++ configure | 6 +++--- configure.in | 6 +++--- 4 files changed, 20 insertions(+), 12 deletions(-) diff --git a/INSTALL b/INSTALL index e4da1d79..3730e91c 100644 --- a/INSTALL +++ b/INSTALL @@ -101,13 +101,15 @@ try to export that variable and type $ ./configure --with-cint or specify it directly on the command line by saying $ ./configure --with-cint=/my/path/to/cintsysdir +This variable does not have to be exported for running the installed +binary: since the actual program is started by a launcher that sets it. Enjoy! -Here is an overview to gives you an idea if you can expect GiNaCcint +Here is an overview to gives you an idea if you can expect GiNaC-cint to compile, install and work properly: - Cint version | is known to work with | is known not to work with ---------------+---------------------------+------------------------------- - < 5.14.39 | `verboten' by license (please bite your favorite lawyer) - < 5.14.39,40 | egcs 1.1.1, gcc 2.95.2 | COMPILES BUT DOES NOT WORK OK - 5.14.41 | We all wait for it... + Cint version | how it works +--------------+---------------------------------------------------------- + < 5.14.39 | `VERBOTEN' by license (please bite your favorite lawyer) + < 5.14.39,40 | compiles but does not feel happy at all (inconsistent!) + 5.14.41 | tested on egcs 1.1.1, gcc 2.95.2: only minor weirdnesses diff --git a/NEWS b/NEWS index b247fd55..d40d12b8 100644 --- a/NEWS +++ b/NEWS @@ -1,5 +1,11 @@ This file records noteworthy changes. +0.6.2 (21 June 2000) +* ginaccint.bin is now launched by a binary program instead of by a scripts. + This allows us to write #!-scripts. A small test suite for GiNaC-cint was + added. +* Several minor bugfixes. + 0.6.1 (18 May 2000) * Cleanup in the interface to Cint. The required version is now Cint 5.14.38. * Several bugfixes in target install. diff --git a/configure b/configure index 57832950..efc04bd6 100755 --- a/configure +++ b/configure @@ -545,9 +545,9 @@ fi GINACLIB_MAJOR_VERSION=0 GINACLIB_MINOR_VERSION=6 -GINACLIB_MICRO_VERSION=1 -GINACLIB_INTERFACE_AGE=1 -GINACLIB_BINARY_AGE=1 +GINACLIB_MICRO_VERSION=2 +GINACLIB_INTERFACE_AGE=2 +GINACLIB_BINARY_AGE=2 GINACLIB_VERSION=$GINACLIB_MAJOR_VERSION.$GINACLIB_MINOR_VERSION.$GINACLIB_MICRO_VERSION diff --git a/configure.in b/configure.in index a9c3f3bb..f10abf96 100644 --- a/configure.in +++ b/configure.in @@ -19,9 +19,9 @@ dnl (don't we all *love* M4?)... GINACLIB_MAJOR_VERSION=0 GINACLIB_MINOR_VERSION=6 -GINACLIB_MICRO_VERSION=1 -GINACLIB_INTERFACE_AGE=1 -GINACLIB_BINARY_AGE=1 +GINACLIB_MICRO_VERSION=2 +GINACLIB_INTERFACE_AGE=2 +GINACLIB_BINARY_AGE=2 GINACLIB_VERSION=$GINACLIB_MAJOR_VERSION.$GINACLIB_MINOR_VERSION.$GINACLIB_MICRO_VERSION AC_SUBST(GINACLIB_MAJOR_VERSION) -- 2.44.0