From 2861837f37214a38e06cba13f00c81494c975137 Mon Sep 17 00:00:00 2001 From: Leo Qiao Date: Tue, 20 Feb 2024 13:19:21 -0500 Subject: [PATCH] fix cvc5 location --- .github/workflows/action.yml | 9 +++++---- package.yaml | 2 +- test/ModuloTheoriesTests.hs | 2 +- 3 files changed, 7 insertions(+), 6 deletions(-) diff --git a/.github/workflows/action.yml b/.github/workflows/action.yml index a93dd76..b0e1abb 100644 --- a/.github/workflows/action.yml +++ b/.github/workflows/action.yml @@ -16,9 +16,10 @@ jobs: with: enable-stack: true stack-version: 'latest' - - run: mkdir deps-bin deps-src + - run: mkdir deps deps-src + - run: mkdir deps/bin - run: wget -P deps-src https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.1/cvc5-Linux-static.zip - run: unzip deps-src/cvc5-Linux-static.zip -d deps-src - - run: mv deps-src/cvc5-Linux-static/bin/cvc5 deps-bin - - run: chmod u+x deps-bin/cvc5 - - run: PATH="deps-bin:$PATH" stack test + - run: mv deps-src/cvc5-Linux-static/bin/cvc5 deps/bin + - run: chmod u+x deps/bin/cvc5 + - run: PATH="deps/bin:$PATH" stack test diff --git a/package.yaml b/package.yaml index 7d8331d..f33c3b8 100644 --- a/package.yaml +++ b/package.yaml @@ -11,7 +11,7 @@ author: - Gideon Geier - Marvin Stenger - Wonhyuk Choi - - Feitong Leo Qiao + - Feitong Leo Qiao category: Synthesis build-type: Simple diff --git a/test/ModuloTheoriesTests.hs b/test/ModuloTheoriesTests.hs index 1d66fa7..ca05224 100644 --- a/test/ModuloTheoriesTests.hs +++ b/test/ModuloTheoriesTests.hs @@ -66,7 +66,7 @@ makeTestName :: String -> String makeTestName = ("Modulo Theories >> " ++) cvc5Path :: FilePath -cvc5Path = "deps/cvc5" +cvc5Path = "deps/bin/cvc5" predicatesTests :: [Test] predicatesTests = [convert2Cabal (makeTestName "Predicates") hUnitTest]