Error installing package 4ti2-1.6.7.p0

[Pavlo Yatsyna]

I am trying to install Latte and I get the this error:

 I am running it on a Windows 10 machine:

I've attached the log file.

Thanks

P.

[Dima Pasechnik]

The error is 

libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I../../src -I../../src/4ti2 -I/opt/sagemath-8.9/local/include -I./.. -D__STDC_LIMIT_MACROS -O3 -fomit-frame-pointer -malign-do
uble -fstrict-aliasing -ffast-math -Wall -std=c++0x -MT libzsolve_la-4ti2API.lo -MD -MP -MF .deps/libzsolve_la-4ti2API.Tpo -c 4ti2API.cpp  -DDLL_EXPORT -DPIC -o .libs/lib
zsolve_la-4ti2API.o
In file included from ../../src/zsolve/Algorithm.hpp:31:0,
                 from ../../src/zsolve/ZSolveAPI.hpp:43,
                 from 4ti2API.cpp:25:
../../src/zsolve/Heuristics.hpp: In static member function 'static int _4ti2_zsolve_::Heuristics<T>::chooseNextVariableByRandom(_4ti2_zsolve_::Lattice<T>&, _4ti2_zsolve_::BitSet&)':
../../src/zsolve/Heuristics.hpp:140:16: error: there are no arguments to 'time' that depend on a template parameter, so a declaration of 'time' must be available [-fpermissive]
         srand (time (NULL));
                ^~~~
../../src/zsolve/Heuristics.hpp:140:16: note: (if you use '-fpermissive', G++ will accept your code, but allowing the use of an undeclared name is deprecated)
In file included from ../../src/zsolve/ZSolveAPI.hpp:44:0,
                 from 4ti2API.cpp:25:
../../src/zsolve/DefaultController.hpp: In member function 'void _4ti2_zsolve_::DefaultController<T>::log_maxnorm(_4ti2_zsolve_::Algorithm<T>*, bool)':
../../src/zsolve/DefaultController.hpp:255:74: warning: comparison of constant '2' with boolean expression is always false [-Wbool-compare]
         if ((m_options.maxnorm () == 1 && final) || m_options.maxnorm () == 2)
                                                     ~~~~~~~~~~~~~~~~~~~~~^~~~
../../src/zsolve/DefaultController.hpp: In instantiation of 'void _4ti2_zsolve_::DefaultController<T>::log_maxnorm(_4ti2_zsolve_::Algorithm<T>*, bool) [with T = int]':
4ti2API.cpp:90:1:   required from here
../../src/zsolve/DefaultController.hpp:255:74: warning: comparison of constant '2' with boolean expression is always false [-Wbool-compare]
../../src/zsolve/DefaultController.hpp: In instantiation of 'void _4ti2_zsolve_::DefaultController<T>::log_maxnorm(_4ti2_zsolve_::Algorithm<T>*, bool) [with T = long int]':
4ti2API.cpp:90:1:   required from here
../../src/zsolve/DefaultController.hpp:255:74: warning: comparison of constant '2' with boolean expression is always false [-Wbool-compare]
../../src/zsolve/DefaultController.hpp: In instantiation of 'void _4ti2_zsolve_::DefaultController<T>::log_maxnorm(_4ti2_zsolve_::Algorithm<T>*, bool) [with T = __gmp_expr<__mpz_struct [1], __mpz_struct [1]>]':
4ti2API.cpp:90:1:   required from here
../../src/zsolve/DefaultController.hpp:255:74: warning: comparison of constant '2' with boolean expression is always false [-Wbool-compare]
make[5]: *** [Makefile:837: libzsolve_la-4ti2API.lo] Error 1
make[5]: Leaving directory '/opt/sagemath-8.9/local/var/tmp/sage/build/4ti2-1.6.7.p0/src/src/zsolve'
make[4]: *** [Makefile:575: all-recursive] Error 1
make[4]: Leaving directory '/opt/sagemath-8.9/local/var/tmp/sage/build/4ti2-1.6.7.p0/src/src'
make[3]: *** [Makefile:514: all] Error 2

--------------

perhaps there is a patch needed on Cygwin: https://cygwin.com/packages/summary/4ti2-src.html

- there is a patch listed on https://cygwin.com/packages/x86_64/4ti2-src/4ti2-1.6.7-2-src 

--
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+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/5cc95196-d482-41b9-a1f4-1056eb9a26d1%40googlegroups.com.