PKGNAME=aspcud
PKGSEC=libs
PKGDEP="gringo"
BUILDDEP="boost cmake re2c"
PKGDES="CUDF solver based on Answer Set Programming"

CMAKE_AFTER="-DCUDF2LP_LOC=cudf2lp \
             -DGRINGO_LOC=gringo \
             -DCLASP_LOC=clasp"
