blob: c69ff7db75e96fd236e9fa253d5a69e9c576064b (
plain)
1
2
3
4
5
6
7
8
|
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
|
