Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
aspcud: depend on clingo instead of clasp and gringo
Closes #20281.

Signed-off-by: JCount <JCount42@gmail.com>
  • Loading branch information
domoritz authored and JCount committed Nov 26, 2017
1 parent 0642df7 commit 35b881f
Showing 1 changed file with 5 additions and 7 deletions.
12 changes: 5 additions & 7 deletions Formula/aspcud.rb
Expand Up @@ -3,6 +3,7 @@ class Aspcud < Formula
homepage "https://potassco.org/aspcud/"
url "https://github.com/potassco/aspcud/archive/v1.9.4.tar.gz"
sha256 "3645f08b079e1cc80e24cd2d7ae5172a52476d84e3ec5e6a6c0034492a6ea885"
revision 1

bottle do
sha256 "700beffd0ba38265dc95a4b3c344a1974355cb4c20fc50eb7f2d500aaf0ee956" => :high_sierra
Expand All @@ -13,15 +14,14 @@ class Aspcud < Formula
depends_on "boost" => :build
depends_on "cmake" => :build
depends_on "re2c" => :build
depends_on "gringo"
depends_on "clasp"
depends_on "clingo"

needs :cxx14

def install
args = std_cmake_args
args << "-DASPCUD_GRINGO_PATH=#{Formula["gringo"].opt_bin}/gringo"
args << "-DASPCUD_CLASP_PATH=#{Formula["clasp"].opt_bin}/clasp"
args << "-DASPCUD_GRINGO_PATH=#{Formula["clingo"].opt_bin}/gringo"
args << "-DASPCUD_CLASP_PATH=#{Formula["clingo"].opt_bin}/clasp"

mkdir "build" do
system "cmake", "..", *args
Expand All @@ -31,14 +31,12 @@ def install
end

test do
fixture = <<~EOS
(testpath/"in.cudf").write <<~EOS
package: foo
version: 1
request: foo >= 1
EOS

(testpath/"in.cudf").write(fixture)
system "#{bin}/aspcud", "in.cudf", "out.cudf"
end
end

0 comments on commit 35b881f

Please sign in to comment.