From b772c8f761415ec7133caffb8fe848f51881586d Mon Sep 17 00:00:00 2001 From: Brian Huffman Date: Sat, 13 Feb 2021 12:19:24 -0800 Subject: [PATCH] Update argo and adapt to GaloisInc/argo#151. File `argo/python/argo-python.cabal` has been removed, so package `argo-python` needed to be removed as a package dependency in the saw-script cabal files. --- cabal.project | 1 - saw-remote-api/saw-remote-api.cabal | 3 +-- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/cabal.project b/cabal.project index 70f0cdceb3..7124923104 100644 --- a/cabal.project +++ b/cabal.project @@ -31,7 +31,6 @@ packages: deps/dwarf deps/argo/argo deps/argo/tasty-script-exitcode - deps/argo/python deps/cryptol/cryptol-remote-api allow-newer: uuid:random diff --git a/saw-remote-api/saw-remote-api.cabal b/saw-remote-api/saw-remote-api.cabal index bfd9aabd49..48486dece2 100644 --- a/saw-remote-api/saw-remote-api.cabal +++ b/saw-remote-api/saw-remote-api.cabal @@ -111,8 +111,7 @@ test-suite test-saw-remote-api hs-source-dirs: test main-is: Test.hs other-modules: Paths_saw_remote_api - build-depends: argo-python, - cryptol-remote-api, + build-depends: cryptol-remote-api, filepath, process, quickcheck-instances,