Sebastian Pop wrote:
On Fri, Aug 15, 2008 at 9:10 AM, Roberto Bagnara bagnara@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@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