[PPL-devel] Cloog and PPL 0.10

[Roberto Bagnara]

Sebastian Pop wrote:
> 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.

You are probably using an old version of Libtool: AC_PROG_LIBTOOL is
a deprecated name for LT_INIT (see
http://www.gnu.org/software/libtool/manual/libtool.html#LT_005fINIT).
Cheers,

    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