aspcud: depend on clingo instead of clasp and gringo
Closes #20281. Signed-off-by: JCount <JCount42@gmail.com>
This commit is contained in:
parent
0642df73da
commit
35b881ff1b
1 changed files with 5 additions and 7 deletions
|
@ -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
|
||||
|
@ -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
|
||||
|
@ -31,14 +31,12 @@ class Aspcud < Formula
|
|||
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
|
||||
|
|
Loading…
Reference in a new issue