cslab-ntua/sparsex

The SparseX sparse kernel optimization library

sparsex's Issues

Cannot install LLVM

How to install LLVM without having sudo access?

when I run: cmake -G "Unix Makefiles" ../llvm

I get the following error if I try to build it locally:
-- Could NOT find Z3: Found unsuitable version "0.0.0", but required is at least "4.7.1" (found Z3_LIBRARIES-NOTFOUND)

Boost 1.58: Boost.atomic not found

Hi,

I'm working on Ubuntu 16.04.4 LTS and trying to compile sparsex.
When doing a plain ./configure I get

checking for Boost library >= 1.48... yes (found version 1.58)
checking for Boost.atomic... no
configure: error: Boost.atomic was not found. Check your installation of the Boost library or, if you specified a variant with the `--with-boost_atomic' option, either omit it or try another variant.

However, when using ./configure --with-boostlibdir=/usr/lib/x86_64-linux-gnu it seems to work:

checking for Boost library >= 1.48... yes (found version 1.58)
checking for Boost.atomic... yes
checking for Boost.regex... yes
checking for Boost.serialization... yes
checking for Boost.system... yes

I don't see why configure doesn't find Boost.atomic in the first try?