PKGNAME=gringo
PKGSEC=devel
PKGDEP="gcc-runtime lua python-3"
BUILDDEP="re2c"
PKGDES="Grounding tools for (disjunctive) logic programs"

NOSTATIC=0
PKGPROV="clingo reify clasp"

PKGBREAK="clasp<=3.3.4 aspcud<=1.9.4"
PKGREP="clasp<=3.3.4"

CMAKE_AFTER="-DCLINGO_REQUIRE_PYTHON=ON \
             -DCLINGO_BUILD_PY_SHARED=ON \
             -DPYTHON_EXECUTABLE=/usr/bin/python3 \
             -DPYCLINGO_USER_INSTALL=OFF \
             -DCLINGO_REQUIRE_LUA=ON \
             -DCLINGO_BUILD_LUA_SHARED=ON"

NOLTO__LOONGSON3=1
