From 3fb2f6ada85c8e3b7029adbbdd9127c3d50f3246 Mon Sep 17 00:00:00 2001 From: Jost Berthold Date: Wed, 10 Apr 2024 08:23:03 +1000 Subject: [PATCH] Remove booster build from kframework.rb formula Fixes the MacOS package build for K framework after merging HS backend repositories, see https://github.com/runtimeverification/k/actions/runs/8622540175/job/23633901143 --- Formula/kframework.rb | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/Formula/kframework.rb b/Formula/kframework.rb index 149ce15..7a2cc0a 100644 --- a/Formula/kframework.rb +++ b/Formula/kframework.rb @@ -39,17 +39,13 @@ def install # https://github.com/Homebrew/homebrew-core/issues/122863 with_env(PATH: ENV["PATH"].sub("#{Formula["llvm"].bin}:", "")) do - # For both components, we need to run the stack phases _outside_ of + # We need to run the stack phases _outside_ of # Maven to prevent connections from timing out. cd "haskell-backend/src/main/native/haskell-backend" do system "stack", "setup" system "stack", "build" end - cd "hs-backend-booster/src/main/native/hs-backend-booster" do - system "stack", "setup" - system "stack", "build" - end end end