search

NTU-ALComLab / ssatABC

Stochastic SAT solver within ABC
Other
5 stars 2 forks source link

Static Binary of ssatABC #20

Closed mahi045 closed 2 years ago

mahi045 commented 2 years ago

I am interested in building ssatABC statically. How I can modify the Makefile to build it statically?

nianzelee commented 2 years ago

Please have a look at this issue.

mahi045 commented 2 years ago

Can I ask you whether the model-counting-competition branch makefile compiles statically?

nianzelee commented 2 years ago

Yes, but you need to compile it with make ABC_USE_NO_READLINE=1. (Have a look at ABC's readme.)

You can verify the resulting binary with ldd bin/abc. It should print not a dynamic executable. This works on my Ubuntu 20.04 machine.

If you have an very old environment, you may need to specify more options for gcc, cf. this post.

If you just need a static binary, you can download one here.

mahi045 commented 2 years ago

Thank you @nianzelee. It is very helpful.