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.
GaloisInc · Feb 13, 2021 · b772c8f · b772c8f
1 parent d6a7c31
commit b772c8f
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git 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
@@ -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,