[PPL-devel] Cloog and PPL 0.10

[Sebastian Pop]

On Fri, Aug 15, 2008 at 9:10 AM, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
> Roberto Bagnara wrote:
>>
>> The first thing I did was to compile Cloog against PPL 0.10: I had to
>> rename a few symbols, but it was a 5-minutes affair... a patch for
>> Cloog is attached.
>
> Here is the patch.  By the way, please accept my apologies if I am
> mailing someone unnecessarily or if I missed someone else.
> Is there a mailing list for this project?  For PPL-related messages
> it is very easy: mail ppl-devel at cs.unipr.it (only).
> Cheers,
>

Thanks for the patch, I committed it to the public git, except a small
part in configure.in:

> -AC_PROG_LIBTOOL
> +LT_INIT([dlopen,win32-dll])

If I remove AC_PROG_LIBTOOL, I get this error:

Remember to add `AC_PROG_LIBTOOL' to `configure.in'.
You should update your `aclocal.m4' by running aclocal.
Putting files in AC_CONFIG_AUX_DIR, `autoconf'.
Makefile.am:44: Libtool library used but `LIBTOOL' is undefined
Makefile.am:44:   The usual way to define `LIBTOOL' is to add `AC_PROG_LIBTOOL'
Makefile.am:44:   to `configure.in' and run `aclocal' and `autoconf' again.
Makefile.am:44:   If `AC_PROG_LIBTOOL' is in `configure.in', make sure
Makefile.am:44:   its definition is in aclocal's search path.

Now, if I include back AC_PROG_LIBTOOL and do a make, it fails with
the following error:

./configure: line 19943: syntax error near unexpected token `dlopen,win32-dll'
./configure: line 19943: `LT_INIT(dlopen,win32-dll)'
make: *** [config.status] Error 2

Any hint of why I get these errors if I include your change?  It seems
like an autoconf problem.  I'm using autoconf (GNU Autoconf) 2.61.

Sebastian Pop
--
AMD - GNU Tools