latte-int / latte-distro Goto Github PK

When trying to follow the instructions on my machine (Apple Mac with M1 chip), "make" ends up outputing the following:
configure: error: Oops, mp_limb_t is 64 bits, but the assembler code in this configuration expects 32 bits. make: *** [gmp-6.1.2/config.status] Error 1

Hi,

I have installed latte and can use count executable from command line. I'm wondering if I can invoke count from C/C++ programs (e.g., library function call).

Does latte have such APIs/library support?

Thanks,
Qiao

Hi,

I have downloaded this repo and am trying to install it:

git clone https://github.com/latte-int/latte-distro.git
cd latte-distro
./configure

And the ./configure command failed because there is no configure file.

What are the exact instructions to install this tool? Should I extract any/all of the tar.gz archives?

I had some issues with compiling this from source on Ubuntu 22.04.2 LTS.

After running ./autogen.sh and ./configure, in latte-int-1.7.5/code/latte/Makefile I had to add the -std=c++11 flag to the CXXFLAGS variable. It now reads on line 983:

CXXFLAGS = -O3 -fomit-frame-pointer -malign-double -fstrict-aliasing -std=c++11

Otherwise Make would halt with an error saying ISO C++17 does not allow dynamic exception specifications

After that, the built succeeded but I got some issues when running count. It threw errors saying: error while loading shared libraries xxx.so

Running ldconfig as root to update the cache solved that partly, but the cddlib just couldn't be found. After installing that from https://github.com/cddlib/cddlib everything worked for me.

So I can now say that LattE has been successfully built on Ubuntu Linux 22.04.2 LTS (x86_64) with GCC 11.3.0 (Ubuntu 11.3.0-1ubuntu1~22.04.1)

and how it relates to https://github.com/mkoeppe/lidia