latte-int / latte Goto Github PK
View Code? Open in Web Editor NEWLattE 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
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
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
The CI setup here seems to be broken. At least it's all red. Can something be done about this?
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".
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:
I attach the configs.log file and full build log for "configure" and "make" in terminals sesson.
Here is my config.log file
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.
Running integrate on a small polytope as explained at https://ask.sagemath.org/question/64141/ and illustrated at Sagecell results in the error:
integrate: latte_gmp.cpp:76: NTL::ZZ convert_mpq_to_ZZ(__mpq_struct*): Assertion `elt.get_den() == 1' failed.
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
The README point to http://www.swox.com/gmp/ as the place to download GMP, but that does not seem to be the right URL.
Is it possible to rather than just counting lattice points additionally display their coordinates?
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 ) )
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
I'd like to package this for conda-forge. However, some checks are failing: conda-forge/staged-recipes#8959 (comment)
These also fail for me locally. Am I doing something wrong? Or are they supposed to fail?
checking for points2triangs... /usr/bin/points2triangs
checking for points2placingtriang... /usr/bin/points2placingtriang
those are topcom commands. The README should mention whether they are mandatory or optional.
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.
The manual says:
Also note that the integration routines do not currently support non-full dimensional polytopes.
Implement this.
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.
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.
The attached file specifies a 0-dimensional region consisting of a single point (-2,3). When I process it using
count --multivariate-generating-function test.txt
I get no output file test.txt.rat; the output ends with "The number of lattice points is 1."
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:
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
.
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
latte-integrale
and https://github.com/lanl/LATTE both install lib/liblatte.so
.
current status quo (warning only, feature disabled) should be represented by --with-4ti2=check
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?
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.