From 35b881ff1b111e598578ddc3c0bfe9af95fa68d8 Mon Sep 17 00:00:00 2001 From: Dominik Moritz Date: Sun, 26 Nov 2017 15:59:18 -0500 Subject: [PATCH] aspcud: depend on clingo instead of clasp and gringo Closes #20281. Signed-off-by: JCount --- Formula/aspcud.rb | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/Formula/aspcud.rb b/Formula/aspcud.rb index bed11f797ff04..8d8557b28bd01 100644 --- a/Formula/aspcud.rb +++ b/Formula/aspcud.rb @@ -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 @@ 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