On Wed, Nov 23, 2016 at 11:50 AM, Dima Pasechnik <dimp...@gmail.com> wrote:
>
>
> On Wednesday, November 23, 2016 at 10:32:59 AM UTC, Erik Bray wrote:
>>
>> On Thu, Nov 17, 2016 at 5:28 PM, Jean-Pierre Flori <jpf...@gmail.com>
>> wrote:
>> >
>> >
>> > On Thursday, November 17, 2016 at 5:27:15 PM UTC+1, Erik Bray wrote:
>> >>
>> >> Hmm, okay. I am using my system's autoreconf. For the sage autotools
>> >> is that just an optional package I need to install?
>> >
>> > Yes.
>>
>> Well, this is still turning out to be a bust, even using Sage's
>> autotools package. I'm trying to reconfigure CDDLIB and its
>> configure.in is not compatible in many ways with the versions of the
>> tools it wants to use. For example, its Makefile.in says it was
>> generated by automake 1.10.3, so it's trying to use automake 1.10.3
>> (along the same lines, it's using autoconf 2.63 and libtool 2.2.6b)
>>
>> Even if I take the existing source package, without any of my own
>> changes (but with the patches in the spkg), when I naively try to run
>> autoreconf I get:
>>
>> $ autoreconf -v -f -i
>> autoreconf: Entering directory `.'
>> autoreconf: configure.in: not using Gettext
>> autoreconf: running: aclocal --force
>> main::scan_file() called too early to check prototype at
>> /home/embray/src/sagemath/sage/local/automake-1.10.3/bin/aclocal line
>> 617.
>> autoreconf: configure.in: tracing
>> autoreconf: configure.in: not using Libtool
>> autoreconf: running:
>> /home/embray/src/sagemath/sage/local/autoconf-2.69/bin/autoconf
>> --force
>> autoreconf: configure.in: not using Autoheader
>> autoreconf: running: automake --add-missing --copy --force-missing
>> Unescaped left brace in regex is deprecated, passed through in regex;
>> marked by <-- HERE in m/\${ <-- HERE ([^ \t=:+{}]+)}/ at
>> /home/embray/src/sagemath/sage/local/automake-1.10.3/bin/automake line
>> 3832.
>> lib-src-gmp/Makefile.am:1: Libtool library used but `LIBTOOL' is undefined
>> lib-src-gmp/Makefile.am:1: The usual way to define `LIBTOOL' is to
>> add `AC_PROG_LIBTOOL'
>> lib-src-gmp/Makefile.am:1: to `configure.in' and run `aclocal' and
>> `autoconf' again.
>> lib-src-gmp/Makefile.am:1: If `AC_PROG_LIBTOOL' is in
>> `configure.in', make sure
>> lib-src-gmp/Makefile.am:1: its definition is in aclocal's search path.
>> lib-src/Makefile.am:1: Libtool library used but `LIBTOOL' is undefined
>> lib-src/Makefile.am:1: The usual way to define `LIBTOOL' is to add
>> `AC_PROG_LIBTOOL'
>> lib-src/Makefile.am:1: to `configure.in' and run `aclocal' and
>> `autoconf' again.
>> lib-src/Makefile.am:1: If `AC_PROG_LIBTOOL' is in `configure.in', make
>> sure
>> lib-src/Makefile.am:1: its definition is in aclocal's search path.
>> autoreconf: automake failed with exit status: 1
>>
>> The bare minimum I had to do to make it work was to add
>>
>> AC_CONFIG_MACRO_DIR([m4])
>>
>> to the configure.in, re-ran libtoolize, and then
>>
>> $ AUTOMAKE_VERSION=1.14.1 AUTOCONF_VERSION=2.65 autoreconf -fiv
>>
>> This at least resulted in a seemingly working configure and Makefile.
>> But all the generated files are now significantly updated.
>>
>> IIUC we're basically the only ones maintaining CDDLIB anyways, so
>
> UANUC: see
> https://www.inf.ethz.ch/personal/fukudak/cdd_home/
> for cddlib version 0.94h, (released in April 2015)---newer than what we
> ship.
>
> We should upgrade...
Okay, but according to the changelog in 0.94h the only change is:
"Thanks to Mathieu Dutour, one minor bug has been fixed."
It doesn't say what the bug is. None of the autotools files have been
updated and are still basically broken.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
