[PPL-devel] Re: State of interface

[Roberto Bagnara]

Manuel Carro wrote:
>     BTW, I just tried downloading the latest CVS snapshot (following
> to the letter the web directions :-) and autoconf gives the following
> error: 
> 
> [boris at balboa ppl]$ autoconf configure.ac  > configure
> configure.ac:28: /usr/bin/m4: Bad expression in eval (bad input): 0 + 13 * 1000 + 2 * 1000000 < 0 + 52g * 1000 + 2 * 1000000
> autoconf: Undefined macros:
> configure.ac:270:AC_DISABLE_SHARED
> configure.ac:271:AC_LIBTOOL_DLOPEN
> configure.ac:272:AC_LIBTOOL_WIN32_DLL
> configure.ac:273:AC_PROG_LIBTOOL
> configure.ac:94:AC_CHECK_GMP
> 
>     The resulting 'configure' file is wrong (it just breaks).  I had
> never used autoconf before.  What am I doing wrong?

Hi there,

it is a good thing to work with the CVS version, since 0.3 is, by now,
very old.

The first thing I would check is that you have the right versions of
autoconf, automake, and libtool.  If you want to be absolutely safe,
just get the latest versions: download

   ftp://ftp.gnu.org/gnu/autoconf/autoconf-2.53.tar.gz
   ftp://ftp.gnu.org/gnu/automake/automake-1.6.tar.gz
   ftp://ftp.gnu.org/gnu/libtool/libtool-1.4.2.tar.gz

configure them and install them as usual.
Then you should not call autoconf directly but
invoke

      autoreconf -f

in the root directoty of the PPL sources (i.e., the one
containing the configure.ac file).  This will create
all the files needed for autoconfiguration.  You should
then create a build directory (it is recommended to have
this separate from the source directory) and then
configure as usual.
Do not hesitate to contact us if something is unclear
or goes wrong.
Ciao

     Roberto
-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it