set -e
mkdir build
cd build
export LDFLAGS="-Wl,-rpath,$CONDA_DIR/lib -L$CONDA_DIR/lib"
cmake -DWITH_COTIRE=no -DBUILD_SHARED_LIBS=yes -DWITH_MPC=yes -DWITH_ARB=yes -DINTEGER_CLASS=flint -DWITH_LLVM=yes -DCMAKE_PREFIX_PATH=$CONDA_DIR -DCMAKE_INSTALL_PREFIX=$CONDA_DIR -DBUILD_TESTS=off -DBUILD_BENCHMARKS=off -DCMAKE_INSTALL_LIBDIR=lib ..
make -j4
make install
cd ..
rm -rf build
