A few dirty build and test notes

[novafacing]

The provided instructions in HACKING.md and CONTRIBUTING.md are great, but I had a couple issues with my local cmake accepting the given presets JSON file and some such. Thought my quick and dirty notes might be useful to some folks as a "fastest get-up-to-speed-and-test-the-python-library-steps" sort of thing.

# Get maat
git clone https://github.com/trailofbits/maat.git
cd maat
# Get a python env
mkvirtualenv maat
workon maat
python3 -m pip install pytest
# Install LIEF
wget -O - -c https://github.com/lief-project/LIEF/releases/download/0.11.5/LIEF-0.11.5-Linux-x86_64.tar.gz | sudo tar xz -C /usr/local --strip-components=1
# Build
PREFIX=$(python3 -c 'import sysconfig as sc; print(sc.get_path("platlib"))')
mkdir build && cd build
cmake .. -Dmaat_DEVELOPER_MODE=ON -DCMAKE_BUILD_TYPE=Debug "-DCMAKE_CXX_FLAGS=-O0 -g3" -Dmaat_USE_EXTERNAL_SLEIGH=OFF "-Dmaat_INSTALL_PYTHONMODULEDIR=${PREFIX}" -Dmaat_BUILD_PYTHON_BINDINGS=ON
cmake --build .
sudo cmake --install .
ctest

[Boyan-MILANOV]

I assume you had the z3 development package already installed?