cd src
mkdir build
cd build
sdh_cmake -GNinja \
          -DCMAKE_POLICY_VERSION_MINIMUM=3.5 \
          -DCMAKE_PREFIX_PATH="$SAGE_LOCAL" \
          -DWITH_SYMENGINE_THREAD_SAFE=yes \
          -DWITH_ECM=yes \
          -DWITH_FLINT=yes \
          -DWITH_ARB=yes \
          -DWITH_MPFR=yes \
          -DWITH_MPC=yes \
          -DWITH_LLVM=no \
          -DINTEGER_CLASS="flint" \
          -DBUILD_BENCHMARKS=no \
          -DBUILD_SHARED_LIBS=yes \
          -DBUILD_TESTS=yes \
          ..
cmake --build .
DESTDIR=$SAGE_DESTDIR cmake --install .
