pkg:setup
args = std_cmake_args
args << "-DASPCUD_GRINGO_PATH=#{Formula["clingo"].opt_bin}/gringo"
args << "-DASPCUD_CLASP_PATH=#{Formula["clingo"].opt_bin}/clasp"
mkdir "build" && cd build
cmake .. *args
make
make DESTDIR=${PKG_DEST} install