diff options
Diffstat (limited to 'homebrew/aspcud/.make.sh-auto')
| -rw-r--r-- | homebrew/aspcud/.make.sh-auto | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/homebrew/aspcud/.make.sh-auto b/homebrew/aspcud/.make.sh-auto new file mode 100644 index 000000000..c69ff7db7 --- /dev/null +++ b/homebrew/aspcud/.make.sh-auto @@ -0,0 +1,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 |