Giter Site home page Giter Site logo

latte-int / latte Goto Github PK

View Code? Open in Web Editor NEW
39.0 6.0 13.0 15.43 MB

LattE integrale, software for counting lattice points and integration over convex polytopes

Home Page: https://www.math.ucdavis.edu/~latte/

License: GNU General Public License v2.0

Makefile 2.47% TeX 0.45% Common Lisp 0.30% C++ 55.18% C 13.38% Shell 0.88% Perl 0.77% M4 7.35% Emacs Lisp 0.14% Latte 4.45% Roff 0.39% JetBrains MPS 14.23%
generating-function counting combinatorics integer-programming

latte's Introduction

This is LattE integrale, the official new version of LattE.

In addition to the traditional LattE function of counting lattice
points in polytopes by variants of Barvinok's algorithm, LattE
integrale can also compute volumes and integrate polynomial functions
over polytopes.  It supersedes LattE macchiato, an improved version of 
LattE.

LattE requires the following programs and libraries: 

  * GMP, compiled with --enable-cxx
  * NTL, version 5.4 or newer
  * cddlib
  * (optional) LRS
  * (optional) LiDIA
  * (optional) 4ti2
  * (optional) TOPCOM
  * (optional) Maple (non-free)

If you do not have these libraries installed yet, follow the
instructions below to install them.  However, we also package a source
code distribution called

   "latte-integrale" 

(also called LattE integrale "for tea, too") that includes all of
these libraries (except, of course, Maple) and will build them
automatically.  You can get it at the same place where you got this
package,

    http://www.math.ucdavis.edu/~latte/


Building and installing LattE
-----------------------------

It is STRONGLY RECOMMENDED to use the source code distribution called
"latte-integrale".  It contains all prerequisite libraries and also
PATCHES for some of the libraries that fix configuration and build
problems that are not yet included in upstream releases of the library.

If you do not wish to use "latte-integrale", follow the instructions
below.  The instructions assume you want to install LattE and all its
prerequisites into your home directory, namely into a hierarchy rooted
at the directory $HOME/latte.

1. Install the GNU Multiple Precision Library

   Obtain it from your distribution, or else https://gmplib.org/
   Unpack it, then in the source directory do:

     ./configure --prefix=$HOME/latte --enable-cxx
     make
     make install

2. Install Victor Shoup's Number Theoretic Library

   Obtain it from your distribution, or else http://www.shoup.net/ntl/
   Unpack it, then in the source directory do:
   
      cd src
      ./configure PREFIX=$HOME/latte GMP_PREFIX=$HOME/latte NTL_GMP_LIP=on
      make
      make install

3. Install Komei Fukuda's package cddlib

   Obtain it from your distribution, or else https://github.com/cddlib/cddlib

4. Put $HOME/latte/bin into your $PATH
   and $HOME/latte/lib into your $LD_LIBRARY_PATH:

      export PATH="$HOME/latte/bin:$PATH"
      export LD_LIBRARY_PATH="$HOME/latte/lib:$LD_LIBRARY_PATH"

5. Optionally, install the non-free library LiDIA.

   If you are using LiDIA 2.2.0, note that it installs the directory
   include/lidia but expects its header files in include/LiDIA.  We
   advise to put a symbolic link after installation of LiDIA.

6. Optionally, install 4ti2.

7. Optionally, install TOPCOM.

8. Optionally, if you have Maple, make sure that the directory where
   the command-line executable of Maple lives ("maple" or, on Windows,
   "cmaple.exe") is in your $PATH:

      export PATH="/path/to/maple/directory:$PATH"

N. Build and install LattE

   From the source directory of LattE:

      ./configure --prefix=$HOME/latte --with-default=$HOME/latte 
      make
      make install

Now the LattE executables (count, integrate, latte-minimize, latte-maximize, ...)
should be available in $HOME/latte/bin.


More information
----------------

 * License: GNU General Public License, see COPYING

 * Authors: see AUTHORS

 * Documentation: See the LattE manual (file `doc/manual.pdf') to get started.

 * Changes since the official release 1.2: see NEWS and ChangeLog

 * Website: http://www.math.ucdavis.edu/~latte

latte's People

Contributors

catap avatar d-torrance avatar fchapoton avatar isuruf avatar jengelh avatar mkoeppe avatar polytopes4dinner avatar saraedum avatar wxwujianqiu avatar xanthousphoenix avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar

latte's Issues

CI is failing

The CI setup here seems to be broken. At least it's all red. Can something be done about this?

latte-int doesn't compile with gcc-11

This is due to new behavior in c++17 which is now the default for g++

/bin/sh ../../libtool  --tag=CXX   --mode=compile x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../../code  -I../../code -DINSTALLDIR=\"/usr/bin\"      -D__STDC_LIMIT_MACROS -D_4ti2_GMP_   -march=native -O2 -pipe -c -o PolyTree.lo PolyTree.cpp
In file included from count.h:35,
                 from count.cpp:26:
ExponentialSubst.h:62:3: error: ISO C++17 does not allow dynamic exception specifications
   62 |   throw(NotGenericException);
      |   ^~~~~
ExponentialSubst.h:67:3: error: ISO C++17 does not allow dynamic exception specifications
   67 |   throw(NotGenericException);
      |   ^~~~~

See https://gcc.gnu.org/gcc-11/porting_to.html in the section on "Dynamic Exception Specifications".

collect2: error in UBUNTU 18.04 and cygwin environments.

First, thank you for providing your LattE program.

I followed the manual to install the LattE, but I face some errors.

I tried in UBUNTU 18.04 and cygwin environments.

However, when I perform "make" for LattE, the following error shows up in both environments as follows:

LattE Error

I attach the configs.log file and full build log for "configure" and "make" in terminals sesson.
Here is my config.log file

config.log

Here is my Full build log for "configure"

$ ./configure --prefix=$HOME/latte --with-default=$HOME/latte

checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking whether to enable maintainer-specific portions of Makefiles... no
checking for style of include used by make... GNU
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.exe
checking for suffix of executables... .exe
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking whether gcc understands -c and -o together... yes
checking dependency style of gcc... gcc3
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /usr/bin/grep
checking for egrep... /usr/bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking minix/config.h usability... no
checking minix/config.h presence... no
checking for minix/config.h... no
checking whether it is safe to define EXTENSIONS... yes
checking whether _XOPEN_SOURCE should be defined... no
checking build system type... x86_64-unknown-cygwin
checking host system type... x86_64-unknown-cygwin
checking how to print strings... printf
checking for a sed that does not truncate output... /usr/bin/sed
checking for fgrep... /usr/bin/grep -F
checking for ld used by gcc... /usr/x86_64-pc-cygwin/bin/ld.exe
checking if the linker (/usr/x86_64-pc-cygwin/bin/ld.exe) is GNU ld... yes
checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
checking the name lister (/usr/bin/nm -B) interface... BSD nm
checking whether ln -s works... yes
checking the maximum length of command line arguments... 8192
checking whether the shell understands some XSI constructs... yes
checking whether the shell understands "+="... yes
checking how to convert x86_64-unknown-cygwin file names to x86_64-unknown-cygwin format... func_convert_file_noop
checking how to convert x86_64-unknown-cygwin file names to toolchain format... func_convert_file_noop
checking for /usr/x86_64-pc-cygwin/bin/ld.exe option to reload object files... -r
checking for objdump... objdump
checking how to recognize dependent libraries... file_magic ^x86 archive import|^x86 DLL
checking for dlltool... dlltool
checking how to associate runtime and link libraries... func_cygming_dll_for_implib
checking for ar... ar
checking for archiver @file support... @
checking for strip... strip
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
checking for sysroot... no
checking for mt... no
checking if : is a manifest tool... no
checking for dlfcn.h... yes
checking for objdir... .libs
checking if gcc supports -fno-rtti -fno-exceptions... no
checking for gcc option to produce PIC... -DDLL_EXPORT -DPIC
checking if gcc PIC flag -DDLL_EXPORT -DPIC works... yes
checking if gcc static flag -static works... yes
checking if gcc supports -c -o file.o... yes
checking if gcc supports -c -o file.o... (cached) yes
checking whether the gcc linker (/usr/x86_64-pc-cygwin/bin/ld.exe) supports shared libraries... yes
checking whether -lc should be explicitly linked in... yes
checking dynamic linker characteristics... Win32 ld.exe
checking how to hardcode library paths into programs... immediate
checking whether stripping libraries is possible... yes
checking if libtool supports shared libraries... yes
checking whether to build shared libraries... yes
checking whether to build static libraries... yes
checking for gcc... (cached) gcc
checking whether we are using the GNU C compiler... (cached) yes
checking whether gcc accepts -g... (cached) yes
checking for gcc option to accept ISO C89... (cached) none needed
checking whether gcc understands -c and -o together... (cached) yes
checking dependency style of gcc... (cached) gcc3
checking for g++... g++
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking dependency style of g++... gcc3
checking how to run the C++ preprocessor... g++ -E
checking for ld used by g++... /usr/x86_64-pc-cygwin/bin/ld.exe
checking if the linker (/usr/x86_64-pc-cygwin/bin/ld.exe) is GNU ld... yes
checking whether the g++ linker (/usr/x86_64-pc-cygwin/bin/ld.exe) supports shared libraries... yes
checking for g++ option to produce PIC... -DDLL_EXPORT -DPIC
checking if g++ PIC flag -DDLL_EXPORT -DPIC works... yes
checking if g++ static flag -static works... yes
checking if g++ supports -c -o file.o... yes
checking if g++ supports -c -o file.o... (cached) yes
checking whether the g++ linker (/usr/x86_64-pc-cygwin/bin/ld.exe) supports shared libraries... yes
checking dynamic linker characteristics... Win32 ld.exe
checking how to hardcode library paths into programs... immediate
checking for Minix Amsterdam compiler... no
checking for special C compiler options needed for large files... no
checking for _FILE_OFFSET_BITS value needed for large files... no
checking for size_t... yes
checking for working alloca.h... yes
checking for alloca... yes
checking for canonicalize_file_name... yes
checking for getcwd... yes
checking for readlink... yes
checking for realpath... yes
checking for readlinkat... yes
checking for lstat... yes
checking for _set_invalid_parameter_handler... no
checking for setenv... yes
checking whether // is distinct from /... yes
checking whether realpath works... yes
checking sys/param.h usability... yes
checking sys/param.h presence... yes
checking for sys/param.h... yes
checking for unistd.h... (cached) yes
checking wchar.h usability... yes
checking wchar.h presence... yes
checking for wchar.h... yes
checking for stdint.h... (cached) yes
checking sys/socket.h usability... yes
checking sys/socket.h presence... yes
checking for sys/socket.h... yes
checking for sys/stat.h... (cached) yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking if environ is properly declared... yes
checking whether the preprocessor supports include_next... yes
checking whether system header files limit the line length... no
checking for complete errno.h... yes
checking whether strerror_r is declared... yes
checking for strerror_r... yes
checking whether strerror_r returns char *... yes
checking whether lstat correctly handles trailing slash... yes
checking for stdlib.h... (cached) yes
checking for GNU libc compatible malloc... yes
checking for unsigned long long int... yes
checking for long long int... yes
checking for ld used by gcc... /usr/x86_64-pc-cygwin/bin/ld.exe
checking if the linker (/usr/x86_64-pc-cygwin/bin/ld.exe) is GNU ld... yes
checking for shared library path variable... PATH
checking whether to activate relocatable installation... no
checking whether setenv is declared... yes
checking for stdbool.h that conforms to C99... yes
checking for _Bool... yes
checking for wchar_t... yes
checking whether stdint.h conforms to C99... yes
checking whether strerror(0) succeeds... yes
checking for C/C++ restrict keyword... __restrict
checking whether ffsl is declared without a macro... yes
checking whether ffsll is declared without a macro... yes
checking whether memmem is declared without a macro... yes
checking whether mempcpy is declared without a macro... yes
checking whether memrchr is declared without a macro... yes
checking whether rawmemchr is declared without a macro... yes
checking whether stpcpy is declared without a macro... yes
checking whether stpncpy is declared without a macro... yes
checking whether strchrnul is declared without a macro... yes
checking whether strdup is declared without a macro... yes
checking whether strncat is declared without a macro... yes
checking whether strndup is declared without a macro... yes
checking whether strnlen is declared without a macro... yes
checking whether strpbrk is declared without a macro... yes
checking whether strsep is declared without a macro... yes
checking whether strcasestr is declared without a macro... yes
checking whether strtok_r is declared without a macro... yes
checking whether strerror_r is declared without a macro... yes
checking whether strsignal is declared without a macro... yes
checking whether strverscmp is declared without a macro... yes
checking whether stat file-mode macros are broken... no
checking for mode_t... yes
checking for pid_t... yes
checking for struct timespec in <time.h>... yes
checking for alloca as a compiler built-in... yes
checking whether // is distinct from /... (cached) yes
checking for error_at_line... yes
checking whether program_invocation_name is declared... yes
checking whether program_invocation_short_name is declared... yes
checking whether readlink signature is correct... yes
checking whether readlink handles trailing slash correctly... yes
checking search.h usability... yes
checking search.h presence... yes
checking for search.h... yes
checking for tsearch... yes
checking for ssize_t... yes
checking whether stat handles trailing slashes on directories... yes
checking whether stat handles trailing slashes on files... yes
checking whether NULL can be used in arbitrary expressions... yes
checking whether _Exit is declared without a macro... yes
checking whether atoll is declared without a macro... yes
checking whether canonicalize_file_name is declared without a macro... yes
checking whether getloadavg is declared without a macro... yes
checking whether getsubopt is declared without a macro... yes
checking whether grantpt is declared without a macro... yes
checking whether initstate is declared without a macro... yes
checking whether initstate_r is declared without a macro... no
checking whether mkdtemp is declared without a macro... yes
checking whether mkostemp is declared without a macro... yes
checking whether mkostemps is declared without a macro... yes
checking whether mkstemp is declared without a macro... yes
checking whether mkstemps is declared without a macro... yes
checking whether posix_openpt is declared without a macro... yes
checking whether ptsname is declared without a macro... yes
checking whether ptsname_r is declared without a macro... yes
checking whether random is declared without a macro... yes
checking whether random_r is declared without a macro... no
checking whether realpath is declared without a macro... yes
checking whether rpmatch is declared without a macro... yes
checking whether secure_getenv is declared without a macro... yes
checking whether setenv is declared without a macro... yes
checking whether setstate is declared without a macro... yes
checking whether setstate_r is declared without a macro... no
checking whether srandom is declared without a macro... yes
checking whether srandom_r is declared without a macro... no
checking whether strtod is declared without a macro... yes
checking whether strtoll is declared without a macro... yes
checking whether strtoull is declared without a macro... yes
checking whether unlockpt is declared without a macro... yes
checking whether unsetenv is declared without a macro... yes
checking for working strerror function... yes
checking for nlink_t... yes
checking whether fchmodat is declared without a macro... yes
checking whether fstat is declared without a macro... yes
checking whether fstatat is declared without a macro... yes
checking whether futimens is declared without a macro... yes
checking whether lchmod is declared without a macro... no
checking whether lstat is declared without a macro... yes
checking whether mkdirat is declared without a macro... yes
checking whether mkfifo is declared without a macro... yes
checking whether mkfifoat is declared without a macro... yes
checking whether mknod is declared without a macro... yes
checking whether mknodat is declared without a macro... yes
checking whether stat is declared without a macro... yes
checking whether utimensat is declared without a macro... yes
checking whether chdir is declared without a macro... yes
checking whether chown is declared without a macro... yes
checking whether dup is declared without a macro... yes
checking whether dup2 is declared without a macro... yes
checking whether dup3 is declared without a macro... yes
checking whether environ is declared without a macro... yes
checking whether euidaccess is declared without a macro... yes
checking whether faccessat is declared without a macro... yes
checking whether fchdir is declared without a macro... yes
checking whether fchownat is declared without a macro... yes
checking whether fdatasync is declared without a macro... yes
checking whether fsync is declared without a macro... yes
checking whether ftruncate is declared without a macro... yes
checking whether getcwd is declared without a macro... yes
checking whether getdomainname is declared without a macro... yes
checking whether getdtablesize is declared without a macro... yes
checking whether getgroups is declared without a macro... yes
checking whether gethostname is declared without a macro... yes
checking whether getlogin is declared without a macro... yes
checking whether getlogin_r is declared without a macro... yes
checking whether getpagesize is declared without a macro... yes
checking whether getusershell is declared without a macro... yes
checking whether setusershell is declared without a macro... yes
checking whether endusershell is declared without a macro... yes
checking whether group_member is declared without a macro... no
checking whether isatty is declared without a macro... yes
checking whether lchown is declared without a macro... yes
checking whether link is declared without a macro... yes
checking whether linkat is declared without a macro... yes
checking whether lseek is declared without a macro... yes
checking whether pipe is declared without a macro... yes
checking whether pipe2 is declared without a macro... yes
checking whether pread is declared without a macro... yes
checking whether pwrite is declared without a macro... yes
checking whether readlink is declared without a macro... yes
checking whether readlinkat is declared without a macro... yes
checking whether rmdir is declared without a macro... yes
checking whether sethostname is declared without a macro... yes
checking whether sleep is declared without a macro... yes
checking whether symlink is declared without a macro... yes
checking whether symlinkat is declared without a macro... yes
checking whether ttyname_r is declared without a macro... yes
checking whether unlink is declared without a macro... yes
checking whether unlinkat is declared without a macro... yes
checking whether usleep is declared without a macro... yes
checking for C++ compiler vendor... gnu
checking whether C++ compiler accepts -malign-double... yes
checking whether C++ compiler accepts -fstrict-aliasing... yes
checking whether C++ compiler accepts -ffast-math... yes
checking for gcc architecture flag...
checking for x86 cpuid 0 output... 16:756e6547:6c65746e:49656e69
checking for x86 cpuid 1 output... 506e3:5100800:7ffafbbf:bfebfbff
checking whether C++ compiler accepts -march=pentiumpro... no
checking whether C++ compiler accepts -mcpu=pentiumpro... no
checking whether C++ compiler accepts -mpentiumpro... no
checking for gcc architecture flag... unknown
checking whether C++ compiler accepts -O3 -fomit-frame-pointer -malign-double -fstrict-aliasing -ffast-math... yes
checking for ANSI C header files... (cached) yes
checking malloc.h usability... yes
checking malloc.h presence... yes
checking for malloc.h... yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking for sys/param.h... (cached) yes
checking for stdbool.h that conforms to C99... (cached) yes
checking for _Bool... (cached) yes
checking for an ANSI C-conforming const... yes
checking for stdlib.h... (cached) yes
checking for GNU libc compatible malloc... (cached) yes
checking for pow... yes
checking for sqrt... yes
checking sstream usability... yes
checking sstream presence... yes
checking for sstream... yes
Default path = /home/Lenymo/latte /usr /usr/local
checking for GMP >= 3.1.1... found
checking whether GMP is 4.0 or greater... yes
checking whether GMP was compiled with --enable-cxx... yes
checking for NTL >= 5.4... found
checking for LIDIA >= 2.1... not found
configure: WARNING: LiDIA not found. LiDIA has a Smith normal form procedure that is faster than the built-in one.
checking for scdd_gmp... /usr/local/bin/scdd_gmp
checking for redcheck_gmp... /usr/local/bin/redcheck_gmp
checking for CDDLIB >= 093c... found
checking for lrs1... no
configure: WARNING: The `lrs1' binary from LRS is missing; LattE can optionally use LRS instead of CDD.
checking for cmaple.exe... no
checking for maple... no
checking for points2triangs... no
checking for points2placingtriang... no
checking for 4ti2 library... not found
checking for std::shared_ptr... yes
checking for std::tr1::shared_ptr... yes
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating EXAMPLES/Makefile
config.status: creating doc/Makefile
config.status: creating code/Makefile
config.status: creating code/latte/Makefile
config.status: creating code/latte/normalize/Makefile
config.status: creating code/test-suite/Makefile
config.status: creating code/maple/Makefile
config.status: creating code/lidia-include.h
config.status: creating code/test-suite/test.pl
config.status: creating code/latte/integration/testMultiply.sh
config.status: creating code/latte/integration/testIntegration.sh
config.status: creating code/maple/test-maple.sh
config.status: creating code/gnulib/Makefile
config.status: creating code/config.h
config.status: code/config.h is unchanged
config.status: executing depfiles commands
config.status: executing libtool commands

================================================================
And here is my Full build log for "make"

$ make

Making all in code
make[1]: Entering directory '/home/Lenymo/latte-source/latte-int-1.7.5/code'
make all-recursive
make[2]: Entering directory '/home/Lenymo/latte-source/latte-int-1.7.5/code'
Making all in gnulib
make[3]: Entering directory '/home/Lenymo/latte-source/latte-int-1.7.5/code/gnulib'
rm -f alloca.h-t alloca.h &&
{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! /';
cat ./alloca.in.h;
} > alloca.h-t &&
mv -f alloca.h-t alloca.h
rm -f stdlib.h-t stdlib.h &&
{ echo '/
DO NOT EDIT! GENERATED AUTOMATICALLY! /' &&
sed -e 's|@''GUARD_PREFIX''@|GL|g'
-e 's|@''INCLUDE_NEXT''@|include_next|g'
-e 's|@''PRAGMA_SYSTEM_HEADER''@|#pragma GCC system_header|g'
-e 's|@''PRAGMA_COLUMNS''@||g'
-e 's|@''NEXT_STDLIB_H''@|<stdlib.h>|g'
-e 's/@''GNULIB__EXIT''@/0/g'
-e 's/@''GNULIB_ATOLL''@/0/g'
-e 's/@''GNULIB_CALLOC_POSIX''@/0/g'
-e 's/@''GNULIB_CANONICALIZE_FILE_NAME''@/1/g'
-e 's/@''GNULIB_GETLOADAVG''@/0/g'
-e 's/@''GNULIB_GETSUBOPT''@/0/g'
-e 's/@''GNULIB_GRANTPT''@/0/g'
-e 's/@''GNULIB_MALLOC_POSIX''@/0/g'
-e 's/@''GNULIB_MBTOWC''@/0/g'
-e 's/@''GNULIB_MKDTEMP''@/0/g'
-e 's/@''GNULIB_MKOSTEMP''@/0/g'
-e 's/@''GNULIB_MKOSTEMPS''@/0/g'
-e 's/@''GNULIB_MKSTEMP''@/0/g'
-e 's/@''GNULIB_MKSTEMPS''@/0/g'
-e 's/@''GNULIB_POSIX_OPENPT''@/0/g'
-e 's/@''GNULIB_PTSNAME''@/0/g'
-e 's/@''GNULIB_PTSNAME_R''@/0/g'
-e 's/@''GNULIB_PUTENV''@/0/g'
-e 's/@''GNULIB_RANDOM''@/0/g'
-e 's/@''GNULIB_RANDOM_R''@/0/g'
-e 's/@''GNULIB_REALLOC_POSIX''@/0/g'
-e 's/@''GNULIB_REALPATH''@/1/g'
-e 's/@''GNULIB_RPMATCH''@/0/g'
-e 's/@''GNULIB_SECURE_GETENV''@/0/g'
-e 's/@''GNULIB_SETENV''@/0/g'
-e 's/@''GNULIB_STRTOD''@/0/g'
-e 's/@''GNULIB_STRTOLL''@/0/g'
-e 's/@''GNULIB_STRTOULL''@/0/g'
-e 's/@''GNULIB_SYSTEM_POSIX''@/0/g'
-e 's/@''GNULIB_UNLOCKPT''@/0/g'
-e 's/@''GNULIB_UNSETENV''@/0/g'
-e 's/@''GNULIB_WCTOMB''@/0/g'
< ./stdlib.in.h |
sed -e 's|@''HAVE__EXIT''@|1|g'
-e 's|@''HAVE_ATOLL''@|1|g'
-e 's|@''HAVE_CANONICALIZE_FILE_NAME''@|1|g'
-e 's|@''HAVE_DECL_GETLOADAVG''@|1|g'
-e 's|@''HAVE_GETSUBOPT''@|1|g'
-e 's|@''HAVE_GRANTPT''@|1|g'
-e 's|@''HAVE_MKDTEMP''@|1|g'
-e 's|@''HAVE_MKOSTEMP''@|1|g'
-e 's|@''HAVE_MKOSTEMPS''@|1|g'
-e 's|@''HAVE_MKSTEMP''@|1|g'
-e 's|@''HAVE_MKSTEMPS''@|1|g'
-e 's|@''HAVE_POSIX_OPENPT''@|1|g'
-e 's|@''HAVE_PTSNAME''@|1|g'
-e 's|@''HAVE_PTSNAME_R''@|1|g'
-e 's|@''HAVE_RANDOM''@|1|g'
-e 's|@''HAVE_RANDOM_H''@|1|g'
-e 's|@''HAVE_RANDOM_R''@|1|g'
-e 's|@''HAVE_REALPATH''@|1|g'
-e 's|@''HAVE_RPMATCH''@|1|g'
-e 's|@''HAVE_SECURE_GETENV''@|1|g'
-e 's|@''HAVE_DECL_SETENV''@|1|g'
-e 's|@''HAVE_STRTOD''@|1|g'
-e 's|@''HAVE_STRTOLL''@|1|g'
-e 's|@''HAVE_STRTOULL''@|1|g'
-e 's|@''HAVE_STRUCT_RANDOM_DATA''@|1|g'
-e 's|@''HAVE_SYS_LOADAVG_H''@|0|g'
-e 's|@''HAVE_UNLOCKPT''@|1|g'
-e 's|@''HAVE_DECL_UNSETENV''@|1|g'
-e 's|@''REPLACE_CALLOC''@|0|g'
-e 's|@''REPLACE_CANONICALIZE_FILE_NAME''@|0|g'
-e 's|@''REPLACE_MALLOC''@|0|g'
-e 's|@''REPLACE_MBTOWC''@|0|g'
-e 's|@''REPLACE_MKSTEMP''@|0|g'
-e 's|@''REPLACE_PTSNAME''@|0|g'
-e 's|@''REPLACE_PTSNAME_R''@|0|g'
-e 's|@''REPLACE_PUTENV''@|0|g'
-e 's|@''REPLACE_RANDOM_R''@|0|g'
-e 's|@''REPLACE_REALLOC''@|0|g'
-e 's|@''REPLACE_REALPATH''@|0|g'
-e 's|@''REPLACE_SETENV''@|0|g'
-e 's|@''REPLACE_STRTOD''@|0|g'
-e 's|@''REPLACE_UNSETENV''@|0|g'
-e 's|@''REPLACE_WCTOMB''@|0|g'
-e '/definitions of _GL_FUNCDECL_RPL/r c++defs.h'
-e '/definition of _Noreturn/r ../.././snippet/_Noreturn.h'
-e '/definition of _GL_ARG_NONNULL/r arg-nonnull.h'
-e '/definition of _GL_WARN_ON_USE/r warn-on-use.h';
} > stdlib.h-t &&
mv stdlib.h-t stdlib.h
rm -f string.h-t string.h &&
{ echo '/
DO NOT EDIT! GENERATED AUTOMATICALLY! /' &&
sed -e 's|@''GUARD_PREFIX''@|GL|g'
-e 's|@''INCLUDE_NEXT''@|include_next|g'
-e 's|@''PRAGMA_SYSTEM_HEADER''@|#pragma GCC system_header|g'
-e 's|@''PRAGMA_COLUMNS''@||g'
-e 's|@''NEXT_STRING_H''@|<string.h>|g'
-e 's/@''GNULIB_FFSL''@/0/g'
-e 's/@''GNULIB_FFSLL''@/0/g'
-e 's/@''GNULIB_MBSLEN''@/0/g'
-e 's/@''GNULIB_MBSNLEN''@/0/g'
-e 's/@''GNULIB_MBSCHR''@/0/g'
-e 's/@''GNULIB_MBSRCHR''@/0/g'
-e 's/@''GNULIB_MBSSTR''@/0/g'
-e 's/@''GNULIB_MBSCASECMP''@/0/g'
-e 's/@''GNULIB_MBSNCASECMP''@/0/g'
-e 's/@''GNULIB_MBSPCASECMP''@/0/g'
-e 's/@''GNULIB_MBSCASESTR''@/0/g'
-e 's/@''GNULIB_MBSCSPN''@/0/g'
-e 's/@''GNULIB_MBSPBRK''@/0/g'
-e 's/@''GNULIB_MBSSPN''@/0/g'
-e 's/@''GNULIB_MBSSEP''@/0/g'
-e 's/@''GNULIB_MBSTOK_R''@/0/g'
-e 's/@''GNULIB_MEMCHR''@/0/g'
-e 's/@''GNULIB_MEMMEM''@/0/g'
-e 's/@''GNULIB_MEMPCPY''@/0/g'
-e 's/@''GNULIB_MEMRCHR''@/0/g'
-e 's/@''GNULIB_RAWMEMCHR''@/0/g'
-e 's/@''GNULIB_STPCPY''@/0/g'
-e 's/@''GNULIB_STPNCPY''@/0/g'
-e 's/@''GNULIB_STRCHRNUL''@/0/g'
-e 's/@''GNULIB_STRDUP''@/0/g'
-e 's/@''GNULIB_STRNCAT''@/0/g'
-e 's/@''GNULIB_STRNDUP''@/0/g'
-e 's/@''GNULIB_STRNLEN''@/0/g'
-e 's/@''GNULIB_STRPBRK''@/0/g'
-e 's/@''GNULIB_STRSEP''@/0/g'
-e 's/@''GNULIB_STRSTR''@/0/g'
-e 's/@''GNULIB_STRCASESTR''@/0/g'
-e 's/@''GNULIB_STRTOK_R''@/0/g'
-e 's/@''GNULIB_STRERROR''@/1/g'
-e 's/@''GNULIB_STRERROR_R''@/0/g'
-e 's/@''GNULIB_STRSIGNAL''@/0/g'
-e 's/@''GNULIB_STRVERSCMP''@/0/g'
< ./string.in.h |
sed -e 's|@''HAVE_FFSL''@|1|g'
-e 's|@''HAVE_FFSLL''@|1|g'
-e 's|@''HAVE_MBSLEN''@|0|g'
-e 's|@''HAVE_MEMCHR''@|1|g'
-e 's|@''HAVE_DECL_MEMMEM''@|1|g'
-e 's|@''HAVE_MEMPCPY''@|1|g'
-e 's|@''HAVE_DECL_MEMRCHR''@|1|g'
-e 's|@''HAVE_RAWMEMCHR''@|1|g'
-e 's|@''HAVE_STPCPY''@|1|g'
-e 's|@''HAVE_STPNCPY''@|1|g'
-e 's|@''HAVE_STRCHRNUL''@|1|g'
-e 's|@''HAVE_DECL_STRDUP''@|1|g'
-e 's|@''HAVE_DECL_STRNDUP''@|1|g'
-e 's|@''HAVE_DECL_STRNLEN''@|1|g'
-e 's|@''HAVE_STRPBRK''@|1|g'
-e 's|@''HAVE_STRSEP''@|1|g'
-e 's|@''HAVE_STRCASESTR''@|1|g'
-e 's|@''HAVE_DECL_STRTOK_R''@|1|g'
-e 's|@''HAVE_DECL_STRERROR_R''@|1|g'
-e 's|@''HAVE_DECL_STRSIGNAL''@|1|g'
-e 's|@''HAVE_STRVERSCMP''@|1|g'
-e 's|@''REPLACE_STPNCPY''@|0|g'
-e 's|@''REPLACE_MEMCHR''@|0|g'
-e 's|@''REPLACE_MEMMEM''@|0|g'
-e 's|@''REPLACE_STRCASESTR''@|0|g'
-e 's|@''REPLACE_STRCHRNUL''@|0|g'
-e 's|@''REPLACE_STRDUP''@|0|g'
-e 's|@''REPLACE_STRSTR''@|0|g'
-e 's|@''REPLACE_STRERROR''@|0|g'
-e 's|@''REPLACE_STRERROR_R''@|0|g'
-e 's|@''REPLACE_STRNCAT''@|0|g'
-e 's|@''REPLACE_STRNDUP''@|0|g'
-e 's|@''REPLACE_STRNLEN''@|0|g'
-e 's|@''REPLACE_STRSIGNAL''@|0|g'
-e 's|@''REPLACE_STRTOK_R''@|0|g'
-e 's|@''UNDEFINE_STRTOK_R''@|0|g'
-e '/definitions of _GL_FUNCDECL_RPL/r c++defs.h'
-e '/definition of _GL_ARG_NONNULL/r arg-nonnull.h'
-e '/definition of _GL_WARN_ON_USE/r warn-on-use.h';
< ./string.in.h;
} > string.h-t &&
mv string.h-t string.h
/usr/bin/mkdir -p sys
rm -f sys/stat.h-t sys/stat.h &&
{ echo '/
DO NOT EDIT! GENERATED AUTOMATICALLY! /';
sed -e 's|@''GUARD_PREFIX''@|GL|g'
-e 's|@''INCLUDE_NEXT''@|include_next|g'
-e 's|@''PRAGMA_SYSTEM_HEADER''@|#pragma GCC system_header|g'
-e 's|@''PRAGMA_COLUMNS''@||g'
-e 's|@''NEXT_SYS_STAT_H''@|<sys/stat.h>|g'
-e 's|@''WINDOWS_64_BIT_ST_SIZE''@|0|g'
-e 's/@''GNULIB_FCHMODAT''@/0/g'
-e 's/@''GNULIB_FSTAT''@/0/g'
-e 's/@''GNULIB_FSTATAT''@/0/g'
-e 's/@''GNULIB_FUTIMENS''@/0/g'
-e 's/@''GNULIB_LCHMOD''@/0/g'
-e 's/@''GNULIB_LSTAT''@/1/g'
-e 's/@''GNULIB_MKDIRAT''@/0/g'
-e 's/@''GNULIB_MKFIFO''@/0/g'
-e 's/@''GNULIB_MKFIFOAT''@/0/g'
-e 's/@''GNULIB_MKNOD''@/0/g'
-e 's/@''GNULIB_MKNODAT''@/0/g'
-e 's/@''GNULIB_STAT''@/1/g'
-e 's/@''GNULIB_UTIMENSAT''@/0/g'
-e 's|@''HAVE_FCHMODAT''@|1|g'
-e 's|@''HAVE_FSTATAT''@|1|g'
-e 's|@''HAVE_FUTIMENS''@|1|g'
-e 's|@''HAVE_LCHMOD''@|1|g'
-e 's|@''HAVE_LSTAT''@|1|g'
-e 's|@''HAVE_MKDIRAT''@|1|g'
-e 's|@''HAVE_MKFIFO''@|1|g'
-e 's|@''HAVE_MKFIFOAT''@|1|g'
-e 's|@''HAVE_MKNOD''@|1|g'
-e 's|@''HAVE_MKNODAT''@|1|g'
-e 's|@''HAVE_UTIMENSAT''@|1|g'
-e 's|@''REPLACE_FSTAT''@|0|g'
-e 's|@''REPLACE_FSTATAT''@|0|g'
-e 's|@''REPLACE_FUTIMENS''@|0|g'
-e 's|@''REPLACE_LSTAT''@|0|g'
-e 's|@''REPLACE_MKDIR''@|0|g'
-e 's|@''REPLACE_MKFIFO''@|0|g'
-e 's|@''REPLACE_MKNOD''@|0|g'
-e 's|@''REPLACE_STAT''@|0|g'
-e 's|@''REPLACE_UTIMENSAT''@|0|g'
-e '/definitions of _GL_FUNCDECL_RPL/r c++defs.h'
-e '/definition of _GL_ARG_NONNULL/r arg-nonnull.h'
-e '/definition of _GL_WARN_ON_USE/r warn-on-use.h'
< ./sys_stat.in.h;
} > sys/stat.h-t &&
mv sys/stat.h-t sys/stat.h
/usr/bin/mkdir -p sys
rm -f sys/types.h-t sys/types.h &&
{ echo '/
DO NOT EDIT! GENERATED AUTOMATICALLY! /';
sed -e 's|@''GUARD_PREFIX''@|GL|g'
-e 's|@''INCLUDE_NEXT''@|include_next|g'
-e 's|@''PRAGMA_SYSTEM_HEADER''@|#pragma GCC system_header|g'
-e 's|@''PRAGMA_COLUMNS''@||g'
-e 's|@''NEXT_SYS_TYPES_H''@|<sys/types.h>|g'
-e 's|@''WINDOWS_64_BIT_OFF_T''@|0|g'
< ./sys_types.in.h;
} > sys/types.h-t &&
mv sys/types.h-t sys/types.h
rm -f time.h-t time.h &&
{ echo '/
DO NOT EDIT! GENERATED AUTOMATICALLY! /' &&
sed -e 's|@''GUARD_PREFIX''@|GL|g'
-e 's|@''INCLUDE_NEXT''@|include_next|g'
-e 's|@''PRAGMA_SYSTEM_HEADER''@|#pragma GCC system_header|g'
-e 's|@''PRAGMA_COLUMNS''@||g'
-e 's|@''NEXT_TIME_H''@|<time.h>|g'
-e 's/@''GNULIB_MKTIME''@/0/g'
-e 's/@''GNULIB_NANOSLEEP''@/0/g'
-e 's/@''GNULIB_STRPTIME''@/0/g'
-e 's/@''GNULIB_TIMEGM''@/0/g'
-e 's/@''GNULIB_TIME_R''@/0/g'
-e 's|@''HAVE_DECL_LOCALTIME_R''@|1|g'
-e 's|@''HAVE_NANOSLEEP''@|1|g'
-e 's|@''HAVE_STRPTIME''@|1|g'
-e 's|@''HAVE_TIMEGM''@|1|g'
-e 's|@''REPLACE_LOCALTIME_R''@|GNULIB_PORTCHECK|g'
-e 's|@''REPLACE_MKTIME''@|GNULIB_PORTCHECK|g'
-e 's|@''REPLACE_NANOSLEEP''@|GNULIB_PORTCHECK|g'
-e 's|@''REPLACE_TIMEGM''@|GNULIB_PORTCHECK|g'
-e 's|@''PTHREAD_H_DEFINES_STRUCT_TIMESPEC''@|0|g'
-e 's|@''SYS_TIME_H_DEFINES_STRUCT_TIMESPEC''@|0|g'
-e 's|@''TIME_H_DEFINES_STRUCT_TIMESPEC''@|1|g'
-e '/definitions of _GL_FUNCDECL_RPL/r c++defs.h'
-e '/definition of _GL_ARG_NONNULL/r arg-nonnull.h'
-e '/definition of _GL_WARN_ON_USE/r warn-on-use.h'
< ./time.in.h;
} > time.h-t &&
mv time.h-t time.h
rm -f unistd.h-t unistd.h &&
{ echo '/
DO NOT EDIT! GENERATED AUTOMATICALLY! */';
sed -e 's|@''GUARD_PREFIX''@|GL|g'
-e 's|@''HAVE_UNISTD_H''@|1|g'
-e 's|@''INCLUDE_NEXT''@|include_next|g'
-e 's|@''PRAGMA_SYSTEM_HEADER''@|#pragma GCC system_header|g'
-e 's|@''PRAGMA_COLUMNS''@||g'
-e 's|@''NEXT_UNISTD_H''@|<unistd.h>|g'
-e 's|@''WINDOWS_64_BIT_OFF_T''@|0|g'
-e 's/@''GNULIB_CHDIR''@/0/g'
-e 's/@''GNULIB_CHOWN''@/0/g'
-e 's/@''GNULIB_CLOSE''@/0/g'
-e 's/@''GNULIB_DUP''@/0/g'
-e 's/@''GNULIB_DUP2''@/0/g'
-e 's/@''GNULIB_DUP3''@/0/g'
-e 's/@''GNULIB_ENVIRON''@/1/g'
-e 's/@''GNULIB_EUIDACCESS''@/0/g'
-e 's/@''GNULIB_FACCESSAT''@/0/g'
-e 's/@''GNULIB_FCHDIR''@/0/g'
-e 's/@''GNULIB_FCHOWNAT''@/0/g'
-e 's/@''GNULIB_FDATASYNC''@/0/g'
-e 's/@''GNULIB_FSYNC''@/0/g'
-e 's/@''GNULIB_FTRUNCATE''@/0/g'
-e 's/@''GNULIB_GETCWD''@/0/g'
-e 's/@''GNULIB_GETDOMAINNAME''@/0/g'
-e 's/@''GNULIB_GETDTABLESIZE''@/0/g'
-e 's/@''GNULIB_GETGROUPS''@/0/g'
-e 's/@''GNULIB_GETHOSTNAME''@/0/g'
-e 's/@''GNULIB_GETLOGIN''@/0/g'
-e 's/@''GNULIB_GETLOGIN_R''@/0/g'
-e 's/@''GNULIB_GETPAGESIZE''@/0/g'
-e 's/@''GNULIB_GETUSERSHELL''@/0/g'
-e 's/@''GNULIB_GROUP_MEMBER''@/0/g'
-e 's/@''GNULIB_ISATTY''@/0/g'
-e 's/@''GNULIB_LCHOWN''@/0/g'
-e 's/@''GNULIB_LINK''@/0/g'
-e 's/@''GNULIB_LINKAT''@/0/g'
-e 's/@''GNULIB_LSEEK''@/0/g'
-e 's/@''GNULIB_PIPE''@/0/g'
-e 's/@''GNULIB_PIPE2''@/0/g'
-e 's/@''GNULIB_PREAD''@/0/g'
-e 's/@''GNULIB_PWRITE''@/0/g'
-e 's/@''GNULIB_READ''@/0/g'
-e 's/@''GNULIB_READLINK''@/1/g'
-e 's/@''GNULIB_READLINKAT''@/0/g'
-e 's/@''GNULIB_RMDIR''@/0/g'
-e 's/@''GNULIB_SETHOSTNAME''@/0/g'
-e 's/@''GNULIB_SLEEP''@/0/g'
-e 's/@''GNULIB_SYMLINK''@/0/g'
-e 's/@''GNULIB_SYMLINKAT''@/0/g'
-e 's/@''GNULIB_TTYNAME_R''@/0/g'
-e 's/@''GNULIB_UNISTD_H_GETOPT''@/0/g'
-e 's/@''GNULIB_UNISTD_H_NONBLOCKING''@/0/g'
-e 's/@''GNULIB_UNISTD_H_SIGPIPE''@/0/g'
-e 's/@''GNULIB_UNLINK''@/0/g'
-e 's/@''GNULIB_UNLINKAT''@/0/g'
-e 's/@''GNULIB_USLEEP''@/0/g'
-e 's/@''GNULIB_WRITE''@/0/g'
< ./unistd.in.h |
sed -e 's|@''HAVE_CHOWN''@|1|g'
-e 's|@''HAVE_DUP2''@|1|g'
-e 's|@''HAVE_DUP3''@|1|g'
-e 's|@''HAVE_EUIDACCESS''@|1|g'
-e 's|@''HAVE_FACCESSAT''@|1|g'
-e 's|@''HAVE_FCHDIR''@|1|g'
-e 's|@''HAVE_FCHOWNAT''@|1|g'
-e 's|@''HAVE_FDATASYNC''@|1|g'
-e 's|@''HAVE_FSYNC''@|1|g'
-e 's|@''HAVE_FTRUNCATE''@|1|g'
-e 's|@''HAVE_GETDTABLESIZE''@|1|g'
-e 's|@''HAVE_GETGROUPS''@|1|g'
-e 's|@''HAVE_GETHOSTNAME''@|1|g'
-e 's|@''HAVE_GETLOGIN''@|1|g'
-e 's|@''HAVE_GETPAGESIZE''@|1|g'
-e 's|@''HAVE_GROUP_MEMBER''@|1|g'
-e 's|@''HAVE_LCHOWN''@|1|g'
-e 's|@''HAVE_LINK''@|1|g'
-e 's|@''HAVE_LINKAT''@|1|g'
-e 's|@''HAVE_PIPE''@|1|g'
-e 's|@''HAVE_PIPE2''@|1|g'
-e 's|@''HAVE_PREAD''@|1|g'
-e 's|@''HAVE_PWRITE''@|1|g'
-e 's|@''HAVE_READLINK''@|1|g'
-e 's|@''HAVE_READLINKAT''@|1|g'
-e 's|@''HAVE_SETHOSTNAME''@|1|g'
-e 's|@''HAVE_SLEEP''@|1|g'
-e 's|@''HAVE_SYMLINK''@|1|g'
-e 's|@''HAVE_SYMLINKAT''@|1|g'
-e 's|@''HAVE_UNLINKAT''@|1|g'
-e 's|@''HAVE_USLEEP''@|1|g'
-e 's|@''HAVE_DECL_ENVIRON''@|1|g'
-e 's|@''HAVE_DECL_FCHDIR''@|1|g'
-e 's|@''HAVE_DECL_FDATASYNC''@|1|g'
-e 's|@''HAVE_DECL_GETDOMAINNAME''@|1|g'
-e 's|@''HAVE_DECL_GETLOGIN_R''@|1|g'
-e 's|@''HAVE_DECL_GETPAGESIZE''@|1|g'
-e 's|@''HAVE_DECL_GETUSERSHELL''@|1|g'
-e 's|@''HAVE_DECL_SETHOSTNAME''@|1|g'
-e 's|@''HAVE_DECL_TTYNAME_R''@|1|g'
-e 's|@''HAVE_OS_H''@|0|g'
-e 's|@''HAVE_SYS_PARAM_H''@|0|g'
|
sed -e 's|@''REPLACE_CHOWN''@|0|g'
-e 's|@''REPLACE_CLOSE''@|0|g'
-e 's|@''REPLACE_DUP''@|0|g'
-e 's|@''REPLACE_DUP2''@|0|g'
-e 's|@''REPLACE_FCHOWNAT''@|0|g'
-e 's|@''REPLACE_FTRUNCATE''@|0|g'
-e 's|@''REPLACE_GETCWD''@|0|g'
-e 's|@''REPLACE_GETDOMAINNAME''@|0|g'
-e 's|@''REPLACE_GETLOGIN_R''@|0|g'
-e 's|@''REPLACE_GETGROUPS''@|0|g'
-e 's|@''REPLACE_GETPAGESIZE''@|0|g'
-e 's|@''REPLACE_ISATTY''@|0|g'
-e 's|@''REPLACE_LCHOWN''@|0|g'
-e 's|@''REPLACE_LINK''@|0|g'
-e 's|@''REPLACE_LINKAT''@|0|g'
-e 's|@''REPLACE_LSEEK''@|0|g'
-e 's|@''REPLACE_PREAD''@|0|g'
-e 's|@''REPLACE_PWRITE''@|0|g'
-e 's|@''REPLACE_READ''@|0|g'
-e 's|@''REPLACE_READLINK''@|0|g'
-e 's|@''REPLACE_RMDIR''@|0|g'
-e 's|@''REPLACE_SLEEP''@|0|g'
-e 's|@''REPLACE_SYMLINK''@|0|g'
-e 's|@''REPLACE_TTYNAME_R''@|0|g'
-e 's|@''REPLACE_UNLINK''@|0|g'
-e 's|@''REPLACE_UNLINKAT''@|0|g'
-e 's|@''REPLACE_USLEEP''@|0|g'
-e 's|@''REPLACE_WRITE''@|0|g'
-e 's|@''UNISTD_H_HAVE_WINSOCK2_H''@|0|g'
-e 's|@''UNISTD_H_HAVE_WINSOCK2_H_AND_USE_SOCKETS''@|0|g'
-e '/definitions of _GL_FUNCDECL_RPL/r c++defs.h'
-e '/definition of _GL_ARG_NONNULL/r arg-nonnull.h'
-e '/definition of _GL_WARN_ON_USE/r warn-on-use.h';
} > unistd.h-t &&
mv unistd.h-t unistd.h
make all-recursive
make[4]: Entering directory '/home/Lenymo/latte-source/latte-int-1.7.5/code/gnulib'
make[5]: Entering directory '/home/Lenymo/latte-source/latte-int-1.7.5/code/gnulib'
/bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT allocator.lo -MD -MP -MF .deps/allocator.Tpo -c -o allocator.lo allocator.c
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT allocator.lo -MD -MP -MF .deps/allocator.Tpo -c allocator.c -DDLL_EXPORT -DPIC -o .libs/allocator.o
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT allocator.lo -MD -MP -MF .deps/allocator.Tpo -c allocator.c -o allocator.o >/dev/null 2>&1
mv -f .deps/allocator.Tpo .deps/allocator.Plo
/bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT areadlink.lo -MD -MP -MF .deps/areadlink.Tpo -c -o areadlink.lo areadlink.c
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT areadlink.lo -MD -MP -MF .deps/areadlink.Tpo -c areadlink.c -DDLL_EXPORT -DPIC -o .libs/areadlink.o
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT areadlink.lo -MD -MP -MF .deps/areadlink.Tpo -c areadlink.c -o areadlink.o >/dev/null 2>&1
mv -f .deps/areadlink.Tpo .deps/areadlink.Plo
/bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT careadlinkat.lo -MD -MP -MF .deps/careadlinkat.Tpo -c -o careadlinkat.lo careadlinkat.c
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT careadlinkat.lo -MD -MP -MF .deps/careadlinkat.Tpo -c careadlinkat.c -DDLL_EXPORT -DPIC -o .libs/careadlinkat.o
careadlinkat.c: In function 'careadlinkat':
cc1: warning: function may return address of local variable [-Wreturn-local-addr]
careadlinkat.c:73:8: note: declared here
73 | char stack_buf[1024];
| ^~~~~~~~~
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT careadlinkat.lo -MD -MP -MF .deps/careadlinkat.Tpo -c careadlinkat.c -o careadlinkat.o >/dev/null 2>&1
mv -f .deps/careadlinkat.Tpo .deps/careadlinkat.Plo
/bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT exitfail.lo -MD -MP -MF .deps/exitfail.Tpo -c -o exitfail.lo exitfail.c
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT exitfail.lo -MD -MP -MF .deps/exitfail.Tpo -c exitfail.c -DDLL_EXPORT -DPIC -o .libs/exitfail.o
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT exitfail.lo -MD -MP -MF .deps/exitfail.Tpo -c exitfail.c -o exitfail.o >/dev/null 2>&1
mv -f .deps/exitfail.Tpo .deps/exitfail.Plo
/bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT malloca.lo -MD -MP -MF .deps/malloca.Tpo -c -o malloca.lo malloca.c
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT malloca.lo -MD -MP -MF .deps/malloca.Tpo -c malloca.c -DDLL_EXPORT -DPIC -o .libs/malloca.o
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT malloca.lo -MD -MP -MF .deps/malloca.Tpo -c malloca.c -o malloca.o >/dev/null 2>&1
mv -f .deps/malloca.Tpo .deps/malloca.Plo
/bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT progname.lo -MD -MP -MF .deps/progname.Tpo -c -o progname.lo progname.c
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT progname.lo -MD -MP -MF .deps/progname.Tpo -c progname.c -DDLL_EXPORT -DPIC -o .libs/progname.o
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT progname.lo -MD -MP -MF .deps/progname.Tpo -c progname.c -o progname.o >/dev/null 2>&1
mv -f .deps/progname.Tpo .deps/progname.Plo
/bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT unistd.lo -MD -MP -MF .deps/unistd.Tpo -c -o unistd.lo unistd.c
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT unistd.lo -MD -MP -MF .deps/unistd.Tpo -c unistd.c -DDLL_EXPORT -DPIC -o .libs/unistd.o
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT unistd.lo -MD -MP -MF .deps/unistd.Tpo -c unistd.c -o unistd.o >/dev/null 2>&1
mv -f .deps/unistd.Tpo .deps/unistd.Plo
/bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT xmalloc.lo -MD -MP -MF .deps/xmalloc.Tpo -c -o xmalloc.lo xmalloc.c
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT xmalloc.lo -MD -MP -MF .deps/xmalloc.Tpo -c xmalloc.c -DDLL_EXPORT -DPIC -o .libs/xmalloc.o
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT xmalloc.lo -MD -MP -MF .deps/xmalloc.Tpo -c xmalloc.c -o xmalloc.o >/dev/null 2>&1
mv -f .deps/xmalloc.Tpo .deps/xmalloc.Plo
/bin/sh ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT xalloc-die.lo -MD -MP -MF .deps/xalloc-die.Tpo -c -o xalloc-die.lo xalloc-die.c
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT xalloc-die.lo -MD -MP -MF .deps/xalloc-die.Tpo -c xalloc-die.c -DDLL_EXPORT -DPIC -o .libs/xalloc-die.o
libtool: compile: gcc -DHAVE_CONFIG_H -DEXEEXT=".exe" -I. -I../../code -g -O2 -MT xalloc-die.lo -MD -MP -MF .deps/xalloc-die.Tpo -c xalloc-die.c -o xalloc-die.o >/dev/null 2>&1
mv -f .deps/xalloc-die.Tpo .deps/xalloc-die.Plo
/bin/sh ../../libtool --tag=CC --mode=link gcc -g -O2 -no-undefined -o libgnu.la allocator.lo areadlink.lo careadlinkat.lo exitfail.lo malloca.lo progname.lo unistd.lo xmalloc.lo xalloc-die.lo xreadlink.lo
libtool: link: rm -fr .libs/libgnu.a .libs/libgnu.la
libtool: link: ar cru .libs/libgnu.a .libs/allocator.o .libs/areadlink.o .libs/careadlinkat.o .libs/exitfail.o .libs/malloca.o .libs/progname.o .libs/unistd.o .libs/xmalloc.o .libs/xalloc-die.o .libs/xreadlink.o
libtool: link: ranlib .libs/libgnu.a
libtool: link: ( cd ".libs" && rm -f "libgnu.la" && ln -s "../libgnu.la" "libgnu.la" )
make[5]: Leaving directory '/home/Lenymo/latte-source/latte-int-1.7.5/code/gnulib'
make[4]: Leaving directory '/home/Lenymo/latte-source/latte-int-1.7.5/code/gnulib'
make[3]: Leaving directory '/home/Lenymo/latte-source/latte-int-1.7.5/code/gnulib'
Making all in latte
make[3]: Entering directory '/home/Lenymo/latte-source/latte-int-1.7.5/code/latte'
Making all in .
make[4]: Entering directory '/home/Lenymo/latte-source/latte-int-1.7.5/code/latte'
/bin/sh ../../libtool --tag=CXX --mode=link g++ -I/home/Lenymo/latte/include -I/home/Lenymo/latte/include -O3 -fomit-frame-pointer -malign-double -fstrict-aliasing -ffast-math -o liblatte.la -rpath /home/Lenymo/latte/lib barvinok/dec.lo barvinok/barvinok.lo barvinok/ComputeOmega.lo count.lo LattException.lo barvinok/Triangulation.lo genFunction/piped.lo genFunction/maple.lo vertices/cdd.lo preprocess.lo rational.lo cone.lo print.lo ramon.lo timing.lo dual.lo PolyTree.lo RudyResNTL.lo ResSingle.lo Residue.lo IntegralHull.lo ReadingFile.lo Grobner.lo ConeInfo.lo binarySearchIP.lo CheckEmpty.lo banner.lo convert.lo todd/gmp_pow.lo todd/todd-expansion.lo latte_gmp.lo latte_ntl.lo latte_random.lo latte_system.lo latte_relocatable.lo genFunction/IntCombEnum.lo genFunction/matrix_ops.lo ExponentialSubst.lo ExponentialEhrhart.lo Irrational.lo ReadLatteStyle.lo cone_consumer.lo triangulation/triangulate.lo triangulation/RegularTriangulation.lo triangulation/RegularTriangulationWithCdd.lo ReadPolyhedron.lo ProjectUp.lo ReadSubcones.lo latte_cddlib.lo triangulation/RegularTriangulationWithCddlib.lo valuation/PolytopeValuation.lo valuation/RecursivePolytopeValuation.lo valuation/valuation.lo valuation/Perturbation.lo buildPolytopes/BuildPolytope.lo buildPolytopes/BuildGraphPolytope.lo buildPolytopes/BuildHypersimplexEdgePolytope.lo buildPolytopes/BuildRandomPolytope.lo buildPolytopes/GraphMaker.lo buildPolytopes/BuildRandomPolynomials.lo top-knapsack/TopKnapsack.lo top-knapsack/PeriodicFunction.lo integration/PolyRep.lo integration/residue.lo integration/newIntegration.lo integration/PolyTrie.lo top-ehrhart/TopEhrhart.lo ../gnulib/libgnu.la -L/home/Lenymo/latte/lib -lntl -lcddgmp -L/home/Lenymo/latte/lib -lgmp -lgmpxx -lgmp

*** Warning: This system can not link to static lib archive /home/Lenymo/latte/lib/libgmpxx.la.
*** I have the capability to make that library automatically link in when
*** you link to this library. But I can only do this if you have a
*** shared version of the library, which you do not appear to have.

*** Warning: This system can not link to static lib archive /home/Lenymo/latte/lib/libgmp.la.
*** I have the capability to make that library automatically link in when
*** you link to this library. But I can only do this if you have a
*** shared version of the library, which you do not appear to have.
libtool: link: warning: undefined symbols not allowed in x86_64-unknown-cygwin shared libraries
libtool: link: rm -fr .libs/liblatte.a .libs/liblatte.la .libs/liblatte.lai
libtool: link: (cd .libs/liblatte.lax/libgnu.a && ar x "/home/Lenymo/latte-source/latte-int-1.7.5/code/latte/../gnulib/.libs/libgnu.a")
libtool: link: ar cru .libs/liblatte.a barvinok/dec.o barvinok/barvinok.o barvinok/ComputeOmega.o count.o LattException.o barvinok/Triangulation.o genFunction/piped.o genFunction/maple.o vertices/cdd.o preprocess.o rational.o cone.o print.o ramon.o timing.o dual.o PolyTree.o RudyResNTL.o ResSingle.o Residue.o IntegralHull.o ReadingFile.o Grobner.o ConeInfo.o binarySearchIP.o CheckEmpty.o banner.o convert.o todd/gmp_pow.o todd/todd-expansion.o latte_gmp.o latte_ntl.o latte_random.o latte_system.o latte_relocatable.o genFunction/IntCombEnum.o genFunction/matrix_ops.o ExponentialSubst.o ExponentialEhrhart.o Irrational.o ReadLatteStyle.o cone_consumer.o triangulation/triangulate.o triangulation/RegularTriangulation.o triangulation/RegularTriangulationWithCdd.o ReadPolyhedron.o ProjectUp.o ReadSubcones.o latte_cddlib.o triangulation/RegularTriangulationWithCddlib.o valuation/PolytopeValuation.o valuation/RecursivePolytopeValuation.o valuation/valuation.o valuation/Perturbation.o buildPolytopes/BuildPolytope.o buildPolytopes/BuildGraphPolytope.o buildPolytopes/BuildHypersimplexEdgePolytope.o buildPolytopes/BuildRandomPolytope.o buildPolytopes/GraphMaker.o buildPolytopes/BuildRandomPolynomials.o top-knapsack/TopKnapsack.o top-knapsack/PeriodicFunction.o integration/PolyRep.o integration/residue.o integration/newIntegration.o integration/PolyTrie.o top-ehrhart/TopEhrhart.o .libs/liblatte.lax/libgnu.a/allocator.o .libs/liblatte.lax/libgnu.a/areadlink.o .libs/liblatte.lax/libgnu.a/careadlinkat.o .libs/liblatte.lax/libgnu.a/exitfail.o .libs/liblatte.lax/libgnu.a/malloca.o .libs/liblatte.lax/libgnu.a/progname.o .libs/liblatte.lax/libgnu.a/unistd.o .libs/liblatte.lax/libgnu.a/xalloc-die.o .libs/liblatte.lax/libgnu.a/xmalloc.o .libs/liblatte.lax/libgnu.a/xreadlink.o
libtool: link: ranlib .libs/liblatte.a
libtool: link: rm -fr .libs/liblatte.lax
libtool: link: ( cd ".libs" && rm -f "liblatte.la" && ln -s "../liblatte.la" "liblatte.la" )
/bin/sh ../../libtool --tag=CXX --mode=link g++ -I/home/Lenymo/latte/include -I/home/Lenymo/latte/include -O3 -fomit-frame-pointer -malign-double -fstrict-aliasing -ffast-math -o latte-maximize.exe maximize.o liblatte.la ../gnulib/libgnu.la -L/home/Lenymo/latte/lib -lntl -lcddgmp -L/home/Lenymo/latte/lib -lgmp -lgmpxx -lgmp
libtool: link: g++ -I/home/Lenymo/latte/include -I/home/Lenymo/latte/include -O3 -fomit-frame-pointer -malign-double -fstrict-aliasing -ffast-math -o .libs/latte-maximize.exe maximize.o ./.libs/liblatte.a -L/home/Lenymo/latte/lib ../gnulib/.libs/libgnu.a -lntl -lcddgmp /home/Lenymo/latte/lib/libgmpxx.a /home/Lenymo/latte/lib/libgmp.a
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function NTL::UniqueArray<long>::get() const': /home/Lenymo/latte-source/ntl-11.5.1/src/../include/NTL/SmartPtr.h:1625: undefined reference to __imp___gmpn_mod_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5497: undefined reference to __imp___gmpn_addmul_1' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function redc':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5509: undefined reference to __imp___gmpn_sub_n' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_reduce_struct_montgomery::eval(_ntl_gbigint_body**, _ntl_gbigint_body**)':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5581: undefined reference to __imp___gmpn_addmul_1' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5593: undefined reference to __imp___gmpn_sub_n'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_crt_struct_basic::eval(_ntl_gbigint_body**, long const*, _ntl_tmp_vec*)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:6790: undefined reference to __imp___gmpn_addmul_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3521: undefined reference to __imp___gmpn_tdiv_qr' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_rem_struct_fast::eval(long*, _ntl_gbigint_body*, _ntl_tmp_vec*)':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:8002: undefined reference to __imp___gmpn_mod_1' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_rem_struct_medium::eval(long*, _ntl_gbigint_body*, _ntl_tmp_vec*)':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:8046: undefined reference to __imp___gmpn_mod_1' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_grshift(_ntl_gbigint_body*, long, _ntl_gbigint_body**)':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2428: undefined reference to __imp___gmpn_rshift' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_glshift(_ntl_gbigint_body*, long, _ntl_gbigint_body**)':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2363: undefined reference to __imp___gmpn_lshift' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/usr/include/gmp.h:2197: undefined reference to __imp___gmpn_sub_n'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/usr/include/gmp.h:2142: undefined reference to __imp___gmpn_add_n' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function __gmpn_sub':
/usr/include/gmp.h:2197: undefined reference to __imp___gmpn_sub_n' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/usr/include/gmp.h:2197: undefined reference to __imp___gmpn_sub_n'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/usr/include/gmp.h:2142: undefined reference to __imp___gmpn_add_n' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/usr/include/gmp.h:2197: undefined reference to __imp___gmpn_sub_n'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function __gmpn_sub': /usr/include/gmp.h:2197: undefined reference to __imp___gmpn_sub_n'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/usr/include/gmp.h:2197: undefined reference to __imp___gmpn_sub_n' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/usr/include/gmp.h:2197: undefined reference to __imp___gmpn_sub_n'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2903: undefined reference to __imp___gmpn_mul_1' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function base_mul':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2905: undefined reference to __imp___gmpn_addmul_1' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2903: undefined reference to __imp___gmpn_mul_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function base_mul': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2905: undefined reference to __imp___gmpn_addmul_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2903: undefined reference to __imp___gmpn_mul_1' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function base_mul':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2905: undefined reference to __imp___gmpn_addmul_1' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2903: undefined reference to __imp___gmpn_mul_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function base_mul': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2905: undefined reference to __imp___gmpn_addmul_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gmul(_ntl_gbigint_body*, _ntl_gbigint_body*, _ntl_gbigint_body**)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3042: undefined reference to __imp___gmpn_mul'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2976: undefined reference to __imp___gmpn_mul' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3018: undefined reference to __imp___gmpn_sqr'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2952: undefined reference to __imp___gmpn_sqr' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3036: undefined reference to __imp___gmpn_mul'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:2970: undefined reference to __imp___gmpn_mul' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gsq(_ntl_gbigint_body*, _ntl_gbigint_body**)':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3151: undefined reference to __imp___gmpn_sqr' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3182: undefined reference to __imp___gmpn_sqr'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gsmul(_ntl_gbigint_body*, long, _ntl_gbigint_body**)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3243: undefined reference to __imp___gmpn_mul_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3241: undefined reference to __imp___gmpn_lshift' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gsdiv(_ntl_gbigint_body*, long, _ntl_gbigint_body**)':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3303: undefined reference to __imp___gmpn_divrem_1' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3301: undefined reference to __imp___gmpn_rshift'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gsmod(_ntl_gbigint_body*, long)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3367: undefined reference to __imp___gmpn_mod_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gdiv(_ntl_gbigint_body*, _ntl_gbigint_body*, _ntl_gbigint_body**, _ntl_gbigint_body**)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3443: undefined reference to __imp___gmpn_tdiv_qr'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:7114: undefined reference to __imp___gmpn_addmul_1' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gsqrts(long)':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3555: undefined reference to __imp___gmpn_sqrtrem' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gsqrt(_ntl_gbigint_body*, _ntl_gbigint_body**)':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3643: undefined reference to __imp___gmpn_sqrtrem' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_ggcd(_ntl_gbigint_body*, _ntl_gbigint_body*, _ntl_gbigint_body**)':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3787: undefined reference to __imp___gmpn_gcd' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:3789: undefined reference to __imp___gmpn_gcd'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gexteucl(_ntl_gbigint_body*, _ntl_gbigint_body**, _ntl_gbigint_body*, _ntl_gbigint_body**, _ntl_gbigint_body**)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:4207: undefined reference to __imp___gmpn_gcdext'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_ginv(_ntl_gbigint_body*, _ntl_gbigint_body*, _ntl_gbigint_body**)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:4328: undefined reference to __imp___gmpn_gcdext'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gaorsmul_1(_ntl_gbigint_body*, long, long, _ntl_gbigint_body**)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:8325: undefined reference to __imp___gmpn_submul_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:8300: undefined reference to __imp___gmpn_addmul_1' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:8117: undefined reference to __imp___gmpn_mul_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gaorsmul_1(_ntl_gbigint_body*, long, long, _ntl_gbigint_body**)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:8309: undefined reference to __imp___gmpn_mul_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_quick_accum_muladd(_ntl_gbigint_body*, _ntl_gbigint_body*, long)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:9078: undefined reference to __imp___gmpn_addmul_1'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_leftrotate(_ntl_gbigint_body**, _ntl_gbigint_body* const*, long, _ntl_gbigint_body*, long, _ntl_gbigint_body**)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:9193: undefined reference to __imp___gmpn_lshift'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:9206: undefined reference to __imp___gmpn_lshift' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/usr/include/gmp.h:2233: undefined reference to __imp___gmpn_com'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_ss_submod(_ntl_gbigint_body**, _ntl_gbigint_body* const*, _ntl_gbigint_body* const*, _ntl_gbigint_body*, long)': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:9327: undefined reference to __imp___gmpn_sub_n'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/usr/include/gmp.h:2197: undefined reference to __imp___gmpn_sub_n' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function wrapped_mpz::wrapped_mpz()':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5666: undefined reference to __imp___gmpz_init' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5679: undefined reference to __imp___gmpz_import'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gmp_powermod': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5683: undefined reference to __imp___gmpz_powm'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function wrapped_mpz::~wrapped_mpz()': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5667: undefined reference to __imp___gmpz_clear'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gmp_powermod': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5696: undefined reference to __imp___gmpz_export'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function wrapped_mpz::~wrapped_mpz()': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5667: undefined reference to __imp___gmpz_clear'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o):/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5713: undefined reference to __imp___gmpz_import' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function _ntl_gmp_powermod_alt':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5717: undefined reference to __imp___gmpz_powm' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5730: undefined reference to __imp___gmpz_export'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function wrapped_mpz::wrapped_mpz()': /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5666: undefined reference to __imp___gmpz_init'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5666: undefined reference to __imp___gmpz_init' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5666: undefined reference to __imp___gmpz_init'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5666: undefined reference to __imp___gmpz_init' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte/lib/libntl.a(lip.o): in function wrapped_mpz::~wrapped_mpz()':
/home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5667: undefined reference to __imp___gmpz_clear' /usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5667: undefined reference to __imp___gmpz_clear'
/usr/lib/gcc/x86_64-pc-cygwin/10/../../../../x86_64-pc-cygwin/bin/ld: /home/Lenymo/latte-source/ntl-11.5.1/src/lip.cpp:5667: undefined reference to `__imp___gmpz_clear'
collect2: error: ld returned 1 exit status
make[4]: *** [Makefile:2092: latte-maximize.exe] Error 1
make[4]: Leaving directory '/home/Lenymo/latte-source/latte-int-1.7.5/code/latte'
make[3]: *** [Makefile:2408: all-recursive] Error 1
make[3]: Leaving directory '/home/Lenymo/latte-source/latte-int-1.7.5/code/latte'
make[2]: *** [Makefile:836: all-recursive] Error 1
make[2]: Leaving directory '/home/Lenymo/latte-source/latte-int-1.7.5/code'
make[1]: *** [Makefile:772: all] Error 2
make[1]: Leaving directory '/home/Lenymo/latte-source/latte-int-1.7.5/code'
make: *** [Makefile:906: all-recursive] Error 1


Please help me to use the LattE.

Licensing between latte and gnulib

I proposed latte for inclusion into openSUSE; the first terse response from the legal corner was:

GPL-2.0: 127 files

    latte-int-1.7.5/code/latte/CheckEmpty.h ...

GPL-3.0+: 57 files

    latte-int-1.7.5/code/gnulib/areadlink.c ...

The GPL-2.0-only does not mingle well with GPL-3.0-or-later

SetLength: can't change this vector's length

A small modification of the example code in issue #32 results in the error

SetLength: can't change this vector's length

The Sage code is quoted below and it can also be run at Sagecell.

from sage.interfaces.latte import integrate
P = Polyhedron(ieqs=[[0, 1, 0, 0], [1, -1, 0, 0], [0, 0, 1, 0], [0, 1, -1, 0], [0, 0, 0, 1], [0, 1, 0, -1], [1, -1, -1, -1], [-1, 2, 1, 1]])
x = polygen(QQ)
print( integrate( (12*P).cdd_Vrepresentation(), x, cdd=True ) )

[Improvement] C/C++ shared/static library interface

I was hoping to use this library to integrate polynomial functions over polytopes inside a c++ application, so I tried to browse inside the drivers that have a main(), It seems these drivers have a lot of logic inside them and is not straightforward how to call the top-level functionality from c/c++.

I considered using execve but it doesn't seem justified to resort to this given this is not a closed binary. I wonder if there are some guidelines for perhaps building a V-representation object in code and pass that to an integrate call

Installation issues (and solutions)

Hello,

I would guess these installation issues are environment-specific. But I'll mention them here anyways:

  • Installing NTL. I found that I needed to add an -fPIC flag during the ./configure step of installing NTL. Specifically, I called
    $ ./configure PREFIX=$HOME/latte CXX="g++ -std=c++11 -fPIC" NTL_GMP_LIP=on

  • Installing LattE. I found that I needed to add a -pthread flag during the ./configure step. That is, I called
    $ ./configure PREFIX=$HOME/latte GXX="g++ -std=c++11" LDFLAGS="-pthread" --with-default=$HOME/latte

Hopefully someone finds this helpful!

EDIT: For reference: this was on a PC running Ubuntu 20.

configure: error: NTL not found!

I followed step 2 of the documentation on how to install NTL and the installation was successful. However, when I perform "make install" for LattE in step N., the following error shows up:

Screenshot 2021-06-02 at 6 40 32 PM

Could you please advice what I need to do differently?

Thanks so much in advance!

header in code/latte/sqlite/ are not shipped in the released tarball

I am guessing it is not a big deal because that stuff does not seem to be used/compiled at the moment.

So, I was busy making a new ebuild of latte-int for Gentoo that includes the commit 6dbf7f0 to fix issue #24. And then the patch failed because it could not find the file code/latte/sqlite/IntegrationDB.h to patch. And it could not find the file because it is not in the tarball for 1.7.6 that I am downloading here.

find scdd in debian

I'm buildin latte in debian buster. In debian scdd and scdd_gmp executables are in /usr/lib/cdd-tools/. I tried configuring with --with-cddlib=/usr/lib/cdd-tools but had no success

checking for scdd_gmp... no
checking for scdd... no
configure: error: The `scdd_gmp' or `scdd' binary from cddlib is required for LattE.

configure: C++11 handling for NTL

NTL may be configured with C++11 features. This is the default in NTL 11.

In this case, currently configure does not find NTL. Two options:

  • Try to find C++11 compiler switches just in case that NTL has been configured as such.
  • Detect if NTL has been configured with C++11 features, and only then find C++11 compiler switch.

Remove -ffast-math from linker flags

Adding -ffast-math in linker command would link in startup files that would change the FPU control bits globally and would affect any library run that is loaded along with liblatte.so. For eg: denormalized numbers would be flushed to zero in python if python loads liblatte.so.

Fails to link to LiDIA: undefined reference to `LiDIA::operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, LiDIA::bigint const&)'

libtool: link: c++ -I/usr/local/include/cdd -D__STDC_LIMIT_MACROS -D_4ti2_GMP_ -O2 -pipe -fno-omit-frame-pointer -fstack-protector -isystem /usr/local/include -fno-strict-aliasing -fno-omit-frame-pointer -isystem /usr/local/include -fstack-protector -o .libs/latte2ine latte2ine.o  -L/usr/local/lib ./.libs/liblatte.so ../gnulib/.libs/libgnu.a -lntl -lLiDIA -lcddgmp -l4ti2gmp -lzsolve -lgmpxx -lgmp -Wl,-rpath -Wl,/usr/local/lib
libtool: link: c++ -I/usr/local/include/cdd -D__STDC_LIMIT_MACROS -D_4ti2_GMP_ -O2 -pipe -fno-omit-frame-pointer -fstack-protector -isystem /usr/local/include -fno-strict-aliasing -fno-omit-frame-pointer -isystem /usr/local/include -fstack-protector -o .libs/latte-minimize minimize.o  -L/usr/local/lib ./.libs/liblatte.so ../gnulib/.libs/libgnu.a -lntl -lLiDIA -lcddgmp -l4ti2gmp -lzsolve -lgmpxx -lgmp -Wl,-rpath -Wl,/usr/local/lib
libtool: link: c++ -I/usr/local/include/cdd -D__STDC_LIMIT_MACROS -D_4ti2_GMP_ -O2 -pipe -fno-omit-frame-pointer -fstack-protector -isystem /usr/local/include -fno-strict-aliasing -fno-omit-frame-pointer -isystem /usr/local/include -fstack-protector -o .libs/count countDriver.o  -L/usr/local/lib ./.libs/liblatte.so ../gnulib/.libs/libgnu.a -lntl -lLiDIA -lcddgmp -l4ti2gmp -lzsolve -lgmpxx -lgmp -Wl,-rpath -Wl,/usr/local/lib
libtool: link: c++ -I/usr/local/include/cdd -D__STDC_LIMIT_MACROS -D_4ti2_GMP_ -O2 -pipe -fno-omit-frame-pointer -fstack-protector -isystem /usr/local/include -fno-strict-aliasing -fno-omit-frame-pointer -isystem /usr/local/include -fstack-protector -o .libs/latte2ext latte2ext.o  -L/usr/local/lib ./.libs/liblatte.so ../gnulib/.libs/libgnu.a -lntl -lLiDIA -lcddgmp -l4ti2gmp -lzsolve -lgmpxx -lgmp -Wl,-rpath -Wl,/usr/local/lib
./.libs/liblatte.so: undefined reference to `LiDIA::operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, LiDIA::bigint const&)'
./.libs/liblatte.so: undefined reference to `LiDIA::operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, LiDIA::bigint const&)'
./.libs/liblatte.so: undefined reference to `LiDIA::operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, LiDIA::bigint const&)'
./.libs/liblatte.so: undefined reference to `LiDIA::operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, LiDIA::bigint const&)'
c++: error: linker command failed with exit code 1 (use -v to see invocation)
c++: error: linker command failed with exit code 1 (use -v to see invocation)
./.libs/liblatte.so: undefinec++: error: linker command failed with exit code 1 (use -v to see invocation)
d referenc++: error: linker command failed with exit code 1 (use -v to see invocation)
ce to `LiDIA::operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, LiDIA::bigint const&)'
c++: error: linker command failed with exit code 1 (use -v to see invocation)
./.libs/liblatte.so: undefined reference to `LiDIA::operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, LiDIA::bigint const&)'
gmake[6]: *** [Makefile:2112: count] Error 1
gmake[6]: *** Waiting for unfinished jobs....
gmake[6]: *** [Makefile:2122: ehrhart] Error 1
c++: gmake[6]: *** [Makefile:2268: triangulate] Error 1
./.libs/liblatte.so: undefined reference to `LiDIA::operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, LiDIA::bigint const&)'
error: linker command failed with exit code 1 (use -v to see invocation)
gmake[6]: *** [Makefile:2193: latte-maximize] Error 1
gmake[6]: *** [Makefile:2205: latte2ine] Error 1
gmake[6]: *** [Makefile:2215: polyhedron-to-cones] Error 1
c++: error: linker command failed with exit code 1 (use -v to see invocation)
gmake[6]: *** [Makefile:2201: latte2ext] Error 1
./.libs/liblatte.so: undefined reference to `LiDIA::operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, LiDIA::bigint const&)'
c++: error: linker command failed with exit code 1 (use -v to see invocation)
gmake[6]: *** [Makefile:2197: latte-minimize] Error 1
gmake[6]: Leaving directory '/usr/ports/math/latte-integrale/work/latte-version_1_7_5/code/latte'
gmake[5]: *** [Makefile:2515: all-recursive] Error 1
gmake[5]: Leaving directory '/usr/ports/math/latte-integrale/work/latte-version_1_7_5/code/latte'
gmake[4]: *** [Makefile:847: all-recursive] Error 1
gmake[4]: Leaving directory '/usr/ports/math/latte-integrale/work/latte-version_1_7_5/code'
gmake[3]: *** [Makefile:784: all] Error 2
gmake[3]: Leaving directory '/usr/ports/math/latte-integrale/work/latte-version_1_7_5/code'
gmake[2]: *** [Makefile:916: all-recursive] Error 1
gmake[2]: Leaving directory '/usr/ports/math/latte-integrale/work/latte-version_1_7_5'

Version: 1.7.5
LiDIA is installed from https://www.math.ucdavis.edu/~latte/software/packages/lidia/current/lidia-2.3.0+latte-patches-2014-10-04.tar.bz2

Test suite fails for latest version 1.7.6 on conda-forge

Test suite fails when packaged for conda-forge:

2023-09-15T17:07:19.5253123Z FAIL: test-library-examples
2023-09-15T17:07:19.5253372Z ===========================
2023-09-15T17:07:19.5253507Z 
2023-09-15T17:07:19.5253732Z Removing redundant inequalities and finding hidden equalities using cddlib...done. 
2023-09-15T17:07:19.5253995Z Ax <= b, given as (b|-A):
2023-09-15T17:07:19.5254201Z =========================
2023-09-15T17:07:19.5254397Z [0 1 0 0]
2023-09-15T17:07:19.5254617Z [0 0 1 0]
2023-09-15T17:07:19.5254785Z [0 0 0 1]
2023-09-15T17:07:19.5254987Z [4 -1 0 0]
2023-09-15T17:07:19.5255179Z [4 0 -1 0]
2023-09-15T17:07:19.5255338Z [32 4 0 -8]
2023-09-15T17:07:19.5255554Z [48 0 -4 -8]
2023-09-15T17:07:19.5255755Z [48 -4 0 -8]
2023-09-15T17:07:19.5255934Z [32 0 4 -8]
2023-09-15T17:07:19.5256019Z 
2023-09-15T17:07:19.5256198Z Ax = b, given as (b|-A):
2023-09-15T17:07:19.5256387Z ========================
2023-09-15T17:07:19.5256568Z []
2023-09-15T17:07:19.5256649Z 
2023-09-15T17:07:19.5256830Z Time for reading and preprocessing: 0.01 sec
2023-09-15T17:07:19.5257054Z Ray Support Algorithm.
2023-09-15T17:07:19.5257253Z The codimension is 9
2023-09-15T17:07:19.5257386Z 
2023-09-15T17:07:19.5257813Z   Left =   6,  Col =   6,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5258080Z   Left =   6,  Col =   6,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5258337Z   Left =   6,  Col =   6,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5258501Z 
2023-09-15T17:07:19.5258684Z   Left =   5,  Col =   4,  Size =        6  Time:  0.00
2023-09-15T17:07:19.5258946Z   Left =   5,  Col =   4,  Size =        6,   Index = 0/2
2023-09-15T17:07:19.5259194Z   Left =   5,  Col =   4,  Size =        8,  Time:  0.00                
2023-09-15T17:07:19.5259355Z 
2023-09-15T17:07:19.5259536Z   Left =   4,  Col =   8,  Size =        8  Time:  0.00
2023-09-15T17:07:19.5259793Z   Left =   4,  Col =   8,  Size =        8,   Index = 0/2
2023-09-15T17:07:19.5260039Z   Left =   4,  Col =   8,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5260205Z 
2023-09-15T17:07:19.5260387Z   Left =   3,  Col =   5,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5260652Z   Left =   3,  Col =   5,  Size =       10,   Index = 0/1
2023-09-15T17:07:19.5260904Z   Left =   3,  Col =   5,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5261069Z 
2023-09-15T17:07:19.5261250Z   Left =   2,  Col =   7,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5261509Z   Left =   2,  Col =   7,  Size =        9,   Index = 0/1
2023-09-15T17:07:19.5261757Z   Left =   2,  Col =   7,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5261917Z 
2023-09-15T17:07:19.5262098Z   Left =   1,  Col =   9,  Size =        9  Time:  0.00
2023-09-15T17:07:19.5262357Z   Left =   1,  Col =   9,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5262590Z The polytope has 9 vertices.
2023-09-15T17:07:19.5262855Z Time for computing vertices and supporting cones: 0 sec
2023-09-15T17:07:19.5263121Z Dualizing all cones...All cones are now dualized.
2023-09-15T17:07:19.5263391Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5263642Z Dualizing all cones...Ray Support Algorithm.
2023-09-15T17:07:19.5263895Z The codimension is 4
2023-09-15T17:07:19.5264023Z 
2023-09-15T17:07:19.5264219Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5264560Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5264824Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5265056Z Ray Support Algorithm.
2023-09-15T17:07:19.5265287Z The codimension is 4
2023-09-15T17:07:19.5265414Z 
2023-09-15T17:07:19.5265613Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5265853Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5266113Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5266359Z Ray Support Algorithm.
2023-09-15T17:07:19.5266571Z The codimension is 4
2023-09-15T17:07:19.5266697Z 
2023-09-15T17:07:19.5266920Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5267165Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5267425Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5267675Z Ray Support Algorithm.
2023-09-15T17:07:19.5267889Z The codimension is 4
2023-09-15T17:07:19.5268017Z 
2023-09-15T17:07:19.5268239Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5268479Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5268740Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5268985Z Ray Support Algorithm.
2023-09-15T17:07:19.5269198Z The codimension is 4
2023-09-15T17:07:19.5269331Z 
2023-09-15T17:07:19.5269551Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5269790Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5270049Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5270296Z All cones are now dualized.
2023-09-15T17:07:19.5270634Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5270939Z Removing redundant inequalities and finding hidden equalities using cddlib...done. 
2023-09-15T17:07:19.5271217Z Ax <= b, given as (b|-A):
2023-09-15T17:07:19.5271506Z =========================
2023-09-15T17:07:19.5271711Z [0 1 0 0]
2023-09-15T17:07:19.5271917Z [0 0 1 0]
2023-09-15T17:07:19.5272100Z [0 0 0 1]
2023-09-15T17:07:19.5272359Z [4 -1 0 0]
2023-09-15T17:07:19.5272575Z [4 0 -1 0]
2023-09-15T17:07:19.5272782Z [32 4 0 -8]
2023-09-15T17:07:19.5273013Z [48 0 -4 -8]
2023-09-15T17:07:19.5273268Z [48 -4 0 -8]
2023-09-15T17:07:19.5273464Z [32 0 4 -8]
2023-09-15T17:07:19.5273602Z 
2023-09-15T17:07:19.5273796Z Ax = b, given as (b|-A):
2023-09-15T17:07:19.5274030Z ========================
2023-09-15T17:07:19.5274230Z []
2023-09-15T17:07:19.5274356Z 
2023-09-15T17:07:19.5274571Z Time for reading and preprocessing: 0.01 sec
2023-09-15T17:07:19.5274843Z Dualizing all cones...Ray Support Algorithm.
2023-09-15T17:07:19.5275082Z The codimension is 9
2023-09-15T17:07:19.5275209Z 
2023-09-15T17:07:19.5275431Z   Left =   5,  Col =   6,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5275694Z   Left =   5,  Col =   6,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5275941Z   Left =   5,  Col =   6,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5276087Z 
2023-09-15T17:07:19.5276289Z   Left =   4,  Col =   4,  Size =        6  Time:  0.00
2023-09-15T17:07:19.5276529Z   Left =   4,  Col =   4,  Size =        6,   Index = 0/2
2023-09-15T17:07:19.5276789Z   Left =   4,  Col =   4,  Size =        8,  Time:  0.00                
2023-09-15T17:07:19.5277390Z 
2023-09-15T17:07:19.5277714Z   Left =   3,  Col =   8,  Size =        8  Time:  0.00
2023-09-15T17:07:19.5277959Z   Left =   3,  Col =   8,  Size =        8,   Index = 0/2
2023-09-15T17:07:19.5278225Z   Left =   3,  Col =   8,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5278371Z 
2023-09-15T17:07:19.5278593Z   Left =   2,  Col =   5,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5278842Z   Left =   2,  Col =   5,  Size =       10,   Index = 0/1
2023-09-15T17:07:19.5279110Z   Left =   2,  Col =   5,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5279386Z 
2023-09-15T17:07:19.5279590Z   Left =   1,  Col =   7,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5279832Z   Left =   1,  Col =   7,  Size =        9,   Index = 0/1
2023-09-15T17:07:19.5280096Z   Left =   1,  Col =   7,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5280346Z All cones are now dualized.
2023-09-15T17:07:19.5280582Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5280854Z Computing vertices and edges with cddlib...size = 9 x 4
2023-09-15T17:07:19.5281097Z Number Type = rational
2023-09-15T17:07:19.5281227Z 
2023-09-15T17:07:19.5281420Z done.
2023-09-15T17:07:19.5281537Z 
2023-09-15T17:07:19.5281722Z Reading .ext file...done.
2023-09-15T17:07:19.5281945Z Reading .ead file...done.
2023-09-15T17:07:19.5282211Z Computing vertices and edges with cddlib...size = 9 x 4
2023-09-15T17:07:19.5282455Z Number Type = rational
2023-09-15T17:07:19.5282600Z 
2023-09-15T17:07:19.5282752Z done.
2023-09-15T17:07:19.5282871Z 
2023-09-15T17:07:19.5283085Z Reading .ext file...done.
2023-09-15T17:07:19.5283307Z Reading .ead file...done.
2023-09-15T17:07:19.5283544Z 9 cone triangulations left.
2023-09-15T17:07:19.5283783Z Triangulating cone... done.
2023-09-15T17:07:19.5284011Z 8 cone triangulations left.
2023-09-15T17:07:19.5284250Z Triangulating cone... done.
2023-09-15T17:07:19.5284475Z 7 cone triangulations left.
2023-09-15T17:07:19.5284715Z Triangulating cone... done.
2023-09-15T17:07:19.5284938Z 6 cone triangulations left.
2023-09-15T17:07:19.5285176Z Triangulating cone... done.
2023-09-15T17:07:19.5285400Z 5 cone triangulations left.
2023-09-15T17:07:19.5285651Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5285888Z The codimension is 5
2023-09-15T17:07:19.5286033Z 
2023-09-15T17:07:19.5286212Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5286557Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5286806Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5287040Z done.
2023-09-15T17:07:19.5287245Z 4 cone triangulations left.
2023-09-15T17:07:19.5287501Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5287735Z The codimension is 5
2023-09-15T17:07:19.5287878Z 
2023-09-15T17:07:19.5288059Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5288313Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5288557Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5288790Z done.
2023-09-15T17:07:19.5288995Z 3 cone triangulations left.
2023-09-15T17:07:19.5289251Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5289486Z The codimension is 5
2023-09-15T17:07:19.5289630Z 
2023-09-15T17:07:19.5289824Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5290081Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5290329Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5290557Z done.
2023-09-15T17:07:19.5290762Z 2 cone triangulations left.
2023-09-15T17:07:19.5291018Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5291264Z The codimension is 5
2023-09-15T17:07:19.5291393Z 
2023-09-15T17:07:19.5291572Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5291824Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5292068Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5292296Z done.
2023-09-15T17:07:19.5292513Z 1 cone triangulations left.
2023-09-15T17:07:19.5292755Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5292999Z The codimension is 5
2023-09-15T17:07:19.5293125Z 
2023-09-15T17:07:19.5293310Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5293566Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5293892Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5294109Z done.
2023-09-15T17:07:19.5294344Z Volume using the cone decomposition method is 
2023-09-15T17:07:19.5294574Z Rational: 208/3
2023-09-15T17:07:19.5294797Z Real    : 69.33333333
2023-09-15T17:07:19.5295031Z Triangulating cone... Ray Support Algorithm.
2023-09-15T17:07:19.5295279Z The codimension is 10
2023-09-15T17:07:19.5295408Z 
2023-09-15T17:07:19.5295606Z   Left =   5,  Col =   9,  Size =        5  Time:  0.00
2023-09-15T17:07:19.5295853Z   Left =   5,  Col =   9,  Size =        5,   Index = 0/2
2023-09-15T17:07:19.5296114Z   Left =   5,  Col =   9,  Size =        7,  Time:  0.00                
2023-09-15T17:07:19.5296256Z 
2023-09-15T17:07:19.5296451Z   Left =   4,  Col =   5,  Size =        7  Time:  0.00
2023-09-15T17:07:19.5296698Z   Left =   4,  Col =   5,  Size =       12,   Index = 0/1
2023-09-15T17:07:19.5296959Z   Left =   4,  Col =   5,  Size =       12,  Time:  0.00                
2023-09-15T17:07:19.5297106Z 
2023-09-15T17:07:19.5297303Z   Left =   3,  Col =   6,  Size =       12  Time:  0.00
2023-09-15T17:07:19.5297545Z   Left =   3,  Col =   6,  Size =       11,   Index = 0/2
2023-09-15T17:07:19.5297806Z   Left =   3,  Col =   6,  Size =       13,  Time:  0.00                
2023-09-15T17:07:19.5297950Z 
2023-09-15T17:07:19.5298145Z   Left =   2,  Col =   7,  Size =       13  Time:  0.00
2023-09-15T17:07:19.5298387Z   Left =   2,  Col =   7,  Size =       13,   Index = 0/2
2023-09-15T17:07:19.5298645Z   Left =   2,  Col =   7,  Size =       17,  Time:  0.00                
2023-09-15T17:07:19.5298788Z 
2023-09-15T17:07:19.5298967Z   Left =   1,  Col =   8,  Size =       17  Time:  0.00
2023-09-15T17:07:19.5299224Z   Left =   1,  Col =   8,  Size =       17,   Index = 0/2
2023-09-15T17:07:19.5299548Z   Left =   1,  Col =   8,  Size =       17,  Time:  0.00                
2023-09-15T17:07:19.5299762Z done.
2023-09-15T17:07:19.5299996Z Volume using the triangulation method is 
2023-09-15T17:07:19.5300225Z Rational: 208/3
2023-09-15T17:07:19.5300557Z Real    : 69.33333333
2023-09-15T17:07:19.5300808Z Removing redundant inequalities and finding hidden equalities using cddlib...done. 
2023-09-15T17:07:19.5301072Z Ax <= b, given as (b|-A):
2023-09-15T17:07:19.5301276Z =========================
2023-09-15T17:07:19.5301482Z [0 1 0 0]
2023-09-15T17:07:19.5301655Z [0 0 1 0]
2023-09-15T17:07:19.5301841Z [0 0 0 1]
2023-09-15T17:07:19.5302102Z [4 -1 0 0]
2023-09-15T17:07:19.5302318Z [4 0 -1 0]
2023-09-15T17:07:19.5302511Z [32 4 0 -8]
2023-09-15T17:07:19.5302730Z [48 0 -4 -8]
2023-09-15T17:07:19.5302966Z [48 -4 0 -8]
2023-09-15T17:07:19.5303147Z [32 0 4 -8]
2023-09-15T17:07:19.5303258Z 
2023-09-15T17:07:19.5303454Z Ax = b, given as (b|-A):
2023-09-15T17:07:19.5303676Z ========================
2023-09-15T17:07:19.5303880Z []
2023-09-15T17:07:19.5303984Z 
2023-09-15T17:07:19.5304170Z Time for reading and preprocessing: 0.01 sec
2023-09-15T17:07:19.5304389Z Ray Support Algorithm.
2023-09-15T17:07:19.5304605Z The codimension is 9
2023-09-15T17:07:19.5304723Z 
2023-09-15T17:07:19.5305088Z   Left =   6,  Col =   6,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5305349Z   Left =   6,  Col =   6,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5305608Z   Left =   6,  Col =   6,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5305754Z 
2023-09-15T17:07:19.5305947Z   Left =   5,  Col =   4,  Size =        6  Time:  0.00
2023-09-15T17:07:19.5306322Z   Left =   5,  Col =   4,  Size =        6,   Index = 0/2
2023-09-15T17:07:19.5306571Z   Left =   5,  Col =   4,  Size =        8,  Time:  0.00                
2023-09-15T17:07:19.5306728Z 
2023-09-15T17:07:19.5306938Z   Left =   4,  Col =   8,  Size =        8  Time:  0.00
2023-09-15T17:07:19.5307196Z   Left =   4,  Col =   8,  Size =        8,   Index = 0/2
2023-09-15T17:07:19.5307444Z   Left =   4,  Col =   8,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5307602Z 
2023-09-15T17:07:19.5307791Z   Left =   3,  Col =   5,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5308125Z   Left =   3,  Col =   5,  Size =       10,   Index = 0/1
2023-09-15T17:07:19.5308373Z   Left =   3,  Col =   5,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5308519Z 
2023-09-15T17:07:19.5308744Z   Left =   2,  Col =   7,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5309001Z   Left =   2,  Col =   7,  Size =        9,   Index = 0/1
2023-09-15T17:07:19.5309248Z   Left =   2,  Col =   7,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5309392Z 
2023-09-15T17:07:19.5309612Z   Left =   1,  Col =   9,  Size =        9  Time:  0.00
2023-09-15T17:07:19.5309855Z   Left =   1,  Col =   9,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5310103Z The polytope has 9 vertices.
2023-09-15T17:07:19.5310368Z Time for computing vertices and supporting cones: 0 sec
2023-09-15T17:07:19.5310639Z Dualizing all cones...All cones are now dualized.
2023-09-15T17:07:19.5310908Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5311162Z Dualizing all cones...Ray Support Algorithm.
2023-09-15T17:07:19.5311410Z The codimension is 4
2023-09-15T17:07:19.5311537Z 
2023-09-15T17:07:19.5311731Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5311971Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5312229Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5312459Z Ray Support Algorithm.
2023-09-15T17:07:19.5312688Z The codimension is 4
2023-09-15T17:07:19.5312815Z 
2023-09-15T17:07:19.5313007Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5313247Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5313506Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5313807Z Ray Support Algorithm.
2023-09-15T17:07:19.5314037Z The codimension is 4
2023-09-15T17:07:19.5314163Z 
2023-09-15T17:07:19.5314355Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5314599Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5314856Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5315083Z Ray Support Algorithm.
2023-09-15T17:07:19.5315312Z The codimension is 4
2023-09-15T17:07:19.5315437Z 
2023-09-15T17:07:19.5315629Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5315867Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5316125Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5316354Z Ray Support Algorithm.
2023-09-15T17:07:19.5316581Z The codimension is 4
2023-09-15T17:07:19.5316707Z 
2023-09-15T17:07:19.5317600Z   Left =   1,  Col =   3,  Size =        3  Time:  0.00
2023-09-15T17:07:19.5318072Z   Left =   1,  Col =   3,  Size =        4,   Index = 0/1
2023-09-15T17:07:19.5318399Z   Left =   1,  Col =   3,  Size =        4,  Time:  0.00                
2023-09-15T17:07:19.5318659Z All cones are now dualized.
2023-09-15T17:07:19.5318913Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5319140Z dilation factor = 1
2023-09-15T17:07:19.5319375Z 9 cone triangulations left.
2023-09-15T17:07:19.5319661Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5319924Z Ray Support Algorithm.
2023-09-15T17:07:19.5320152Z The codimension is 5
2023-09-15T17:07:19.5320281Z 
2023-09-15T17:07:19.5320461Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5320719Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5320978Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5321227Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5321465Z done.
2023-09-15T17:07:19.5321674Z 8 cone triangulations left.
2023-09-15T17:07:19.5321955Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5322339Z Ray Support Algorithm.
2023-09-15T17:07:19.5322572Z The codimension is 5
2023-09-15T17:07:19.5322698Z 
2023-09-15T17:07:19.5322893Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5323135Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5323398Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5323646Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5323878Z done.
2023-09-15T17:07:19.5324083Z 7 cone triangulations left.
2023-09-15T17:07:19.5324371Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5324632Z Ray Support Algorithm.
2023-09-15T17:07:19.5324860Z The codimension is 5
2023-09-15T17:07:19.5324987Z 
2023-09-15T17:07:19.5325183Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5325432Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5325691Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5325958Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5326175Z done.
2023-09-15T17:07:19.5326394Z 6 cone triangulations left.
2023-09-15T17:07:19.5326666Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5326941Z Ray Support Algorithm.
2023-09-15T17:07:19.5327152Z The codimension is 5
2023-09-15T17:07:19.5327279Z 
2023-09-15T17:07:19.5327501Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5327756Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5328001Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5328265Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5328479Z done.
2023-09-15T17:07:19.5328781Z 5 cone triangulations left.
2023-09-15T17:07:19.5329052Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5329328Z Ray Support Algorithm.
2023-09-15T17:07:19.5329546Z The codimension is 5
2023-09-15T17:07:19.5329689Z 
2023-09-15T17:07:19.5329869Z   Left =   1,  Col =   4,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5330130Z   Left =   1,  Col =   4,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5330378Z   Left =   1,  Col =   4,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5330641Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5330858Z done.
2023-09-15T17:07:19.5331079Z 4 cone triangulations left.
2023-09-15T17:07:19.5331307Z Triangulating cone... done.
2023-09-15T17:07:19.5331547Z 3 cone triangulations left.
2023-09-15T17:07:19.5331788Z Triangulating cone... done.
2023-09-15T17:07:19.5332012Z 2 cone triangulations left.
2023-09-15T17:07:19.5332251Z Triangulating cone... done.
2023-09-15T17:07:19.5332474Z 1 cone triangulations left.
2023-09-15T17:07:19.5332715Z Triangulating cone... done.
2023-09-15T17:07:19.5332935Z 14 triangulations done.
2023-09-15T17:07:19.5333182Z  starting to integrate 97 linear forms.
2023-09-15T17:07:19.5333468Z findPerturbation(): we divided by zero, trying new perturbation for the 2th time.
2023-09-15T17:07:19.5333774Z Integral using the cone decomposition method is 
2023-09-15T17:07:19.5334015Z Rational: 734124064/2079
2023-09-15T17:07:19.5334246Z Real    : 353114.0279
2023-09-15T17:07:19.5334517Z Removing redundant inequalities and finding hidden equalities using cddlib...done. 
2023-09-15T17:07:19.5334807Z Ax <= b, given as (b|-A):
2023-09-15T17:07:19.5335041Z =========================
2023-09-15T17:07:19.5335247Z [0 1 0 0]
2023-09-15T17:07:19.5335455Z [0 0 1 0]
2023-09-15T17:07:19.5335641Z [0 0 0 1]
2023-09-15T17:07:19.5335936Z [4 -1 0 0]
2023-09-15T17:07:19.5336155Z [4 0 -1 0]
2023-09-15T17:07:19.5336363Z [32 4 0 -8]
2023-09-15T17:07:19.5336594Z [48 0 -4 -8]
2023-09-15T17:07:19.5336851Z [48 -4 0 -8]
2023-09-15T17:07:19.5337046Z [32 0 4 -8]
2023-09-15T17:07:19.5337179Z 
2023-09-15T17:07:19.5337379Z Ax = b, given as (b|-A):
2023-09-15T17:07:19.5337617Z ========================
2023-09-15T17:07:19.5337895Z []
2023-09-15T17:07:19.5338006Z 
2023-09-15T17:07:19.5338203Z Time for reading and preprocessing: 0 sec
2023-09-15T17:07:19.5338460Z Dualizing all cones...Ray Support Algorithm.
2023-09-15T17:07:19.5338712Z The codimension is 9
2023-09-15T17:07:19.5338840Z 
2023-09-15T17:07:19.5339035Z   Left =   5,  Col =   6,  Size =        4  Time:  0.00
2023-09-15T17:07:19.5339279Z   Left =   5,  Col =   6,  Size =        4,   Index = 0/2
2023-09-15T17:07:19.5339544Z   Left =   5,  Col =   6,  Size =        6,  Time:  0.00                
2023-09-15T17:07:19.5339690Z 
2023-09-15T17:07:19.5339882Z   Left =   4,  Col =   4,  Size =        6  Time:  0.00
2023-09-15T17:07:19.5340125Z   Left =   4,  Col =   4,  Size =        6,   Index = 0/2
2023-09-15T17:07:19.5340388Z   Left =   4,  Col =   4,  Size =        8,  Time:  0.00                
2023-09-15T17:07:19.5340536Z 
2023-09-15T17:07:19.5340731Z   Left =   3,  Col =   8,  Size =        8  Time:  0.00
2023-09-15T17:07:19.5340979Z   Left =   3,  Col =   8,  Size =        8,   Index = 0/2
2023-09-15T17:07:19.5341244Z   Left =   3,  Col =   8,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5341389Z 
2023-09-15T17:07:19.5341587Z   Left =   2,  Col =   5,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5341835Z   Left =   2,  Col =   5,  Size =       10,   Index = 0/1
2023-09-15T17:07:19.5342096Z   Left =   2,  Col =   5,  Size =       10,  Time:  0.00                
2023-09-15T17:07:19.5342242Z 
2023-09-15T17:07:19.5342437Z   Left =   1,  Col =   7,  Size =       10  Time:  0.00
2023-09-15T17:07:19.5342678Z   Left =   1,  Col =   7,  Size =        9,   Index = 0/1
2023-09-15T17:07:19.5342940Z   Left =   1,  Col =   7,  Size =        9,  Time:  0.00                
2023-09-15T17:07:19.5343176Z All cones are now dualized.
2023-09-15T17:07:19.5343496Z Time for dualizing general cones: 0 sec
2023-09-15T17:07:19.5343724Z dilation factor = 1
2023-09-15T17:07:19.5344001Z Triangulating cone... Created file `lifted_cone_for_4ti2_triangulation'
2023-09-15T17:07:19.5344280Z Cone is not pointed.
2023-09-15T17:07:19.5344496Z Ray Support Algorithm.
2023-09-15T17:07:19.5344727Z The codimension is 13
2023-09-15T17:07:19.5344855Z 
2023-09-15T17:07:19.5345037Z   Left =   8,  Col =   2,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5345291Z   Left =   8,  Col =   2,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5345535Z   Left =   8,  Col =   2,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5345695Z 
2023-09-15T17:07:19.5345875Z   Left =   7,  Col =   3,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5346131Z   Left =   7,  Col =   3,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5346376Z   Left =   7,  Col =   3,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5346527Z 
2023-09-15T17:07:19.5346747Z   Left =   6,  Col =   4,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5347016Z   Left =   6,  Col =   4,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5347264Z   Left =   6,  Col =   4,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5347411Z 
2023-09-15T17:07:19.5347636Z   Left =   5,  Col =   5,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5347876Z   Left =   5,  Col =   5,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5348143Z   Left =   5,  Col =   5,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5348289Z 
2023-09-15T17:07:19.5348512Z   Left =   4,  Col =   6,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5348751Z   Left =   4,  Col =   6,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5349011Z   Left =   4,  Col =   6,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5349154Z 
2023-09-15T17:07:19.5349376Z   Left =   3,  Col =   7,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5349618Z   Left =   3,  Col =   7,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5349882Z   Left =   3,  Col =   7,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5350025Z 
2023-09-15T17:07:19.5350320Z   Left =   2,  Col =   9,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5350562Z   Left =   2,  Col =   9,  Size =        2,   Index = 0/1
2023-09-15T17:07:19.5350821Z   Left =   2,  Col =   9,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5350966Z 
2023-09-15T17:07:19.5351160Z   Left =   1,  Col =   8,  Size =        2  Time:  0.00
2023-09-15T17:07:19.5351404Z   Left =   1,  Col =   8,  Size =        2,  Time:  0.00                
2023-09-15T17:07:19.5351667Z Created file `4ti2_triangulation_output'
2023-09-15T17:07:19.5351883Z done.
2023-09-15T17:07:19.5352115Z  starting to integrate 2 linear forms.
2023-09-15T17:07:19.5352369Z vector sub: dimension mismatch
2023-09-15T17:07:19.5352700Z FAIL test-library-examples (exit status: 134)

See conda-forge/latte-integrale-feedstock#4. Are these tests supposed to pass? Any idea what we could be doing wrong?

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.