Make error while running btor2tools

[prathiksha97]

I want to install boolector but I am getting an error'
I am following the below steps:

git clone https://github.com/boolector/boolector
cd boolector

./contrib/setup-lingeling.sh

When I ran this I am getting the above error,
./contrib/setup-btor2tools.sh

Can anyone please help with this

[arminbiere]

Could it be that you are using an old compiler which does not support C++-11?

[arminbiere]

Try compiling this:

#include <cinttypes>
#include <cstdint>
#include <cstdio>

int main () {
  int64_t a = 42;
  printf ("%" PRId64 "\n", a);
  return 0;
}

[Vinayakamk]

even i have the same issue sir.

this i got even replacing your code with /home/vinayaka/boolector/deps/btor2tools/src/btorsim/btorsim.cpp

[Vinayakamk]

error while running this

./contrib/setup-btor2tools.sh

[prathiksha97]

Try compiling this:

#include <cinttypes>
#include <cstdint>
#include <cstdio>

int main () {
  int64_t a = 42;
  printf ("%" PRId64 "\n", a);
  return 0;
}

I did change in btorsim.cpp and I am still getting the error. Can someone please help me with this#217

[arminbiere]

Can you just copy these 8 lines into a file and compile it (indepedent from Boolector)? If your compiler can not do that you need another compiler (version).

[prathiksha97]

Can you just copy these 8 lines into a file and compile it (indepedent from Boolector)? If your compiler can not do that you need another compiler (version).

I did this also but I got the same error again

[arminbiere]

Then you need to install a compiler which can compile these lines.

[prathiksha97]

Then you need to install a compiler which can compile these lines.

Could you please help me with this, like which compiler can I use

[prathiksha97]

Then you need to install a compiler which can compile these lines.

Could be help me with this, like which compiler can I use

[mpreiner]

What compiler version do you have installed?

[prathiksha97]

What compiler version do you have installed?

I am using cmake version - 3.24.1
GCC version - 13.2.0
G++ version - 13.2.0

[arminbiere]

This is strange. I could not get hold of 13.2.0 to check . Maybe it is a usage error.

$ cat test.cpp
#include
#include
#include

int main () {
int64_t a = 42;
printf ("%" PRId64 "\n", a);
return 0;
}
$ g++ -c test.cpp

[mpreiner]

I have gcc 13.2.1 and it compiles without any issues (both the example and btor2tools).

[prathiksha97]

I have gcc 13.2.1 and it compiles without any issues (both the example and btor2tools).

Could you please mention all the steps you used to install them.

[mpreiner]

Boolector is not actively maintained and developed anymore. It was succeeded by Bitwuzla and the repository is now archived.