scons -j${MAKES:=1} --build-dir=release $OPTS &&
prepare_install &&
install -m755 build/release/gringo /usr/bin &&
gather_docs NOTES
