From d9557402116c6a21c3235636968e86e9c22d0c78 Mon Sep 17 00:00:00 2001 From: Brian Huffman Date: Thu, 15 Oct 2020 10:53:17 -0700 Subject: [PATCH 1/2] Update stack.yaml files to work with #853. --- stack.ghc-8.6.yaml | 4 ++++ stack.ghc-8.8.yaml | 3 +++ 2 files changed, 7 insertions(+) diff --git a/stack.ghc-8.6.yaml b/stack.ghc-8.6.yaml index 4a5698430b..63ae8f1c51 100644 --- a/stack.ghc-8.6.yaml +++ b/stack.ghc-8.6.yaml @@ -5,7 +5,9 @@ packages: - deps/jvm-parser/ - deps/aig/ - deps/abcBridge/ + - deps/argo/argo/ - deps/cryptol/ + - deps/cryptol/cryptol-remote-api/ - deps/saw-core/cryptol-saw-core/ - deps/saw-core/saw-core/ - deps/saw-core/saw-core-aig/ @@ -52,5 +54,7 @@ extra-deps: - libBF-0.5.1 - hashable-1.3.0.0 - lens-4.19.2 + - network-3.1.1.1 + - scotty-0.12 resolver: lts-14.27 allow-newer: false diff --git a/stack.ghc-8.8.yaml b/stack.ghc-8.8.yaml index 832fce4ddb..5ab9de5477 100644 --- a/stack.ghc-8.8.yaml +++ b/stack.ghc-8.8.yaml @@ -5,7 +5,9 @@ packages: - deps/jvm-parser/ - deps/aig/ - deps/abcBridge/ + - deps/argo/argo/ - deps/cryptol/ + - deps/cryptol/cryptol-remote-api/ - deps/saw-core/cryptol-saw-core/ - deps/saw-core/saw-core/ - deps/saw-core/saw-core-aig/ @@ -51,5 +53,6 @@ extra-deps: - bitwise-1.0.0.1 - constraints-0.11.2 - libBF-0.5.1 + - scotty-0.12 resolver: lts-16.2 allow-newer: false From 2d6a0b49384b0d9c1d6e2b1c2429eff5d237c6dd Mon Sep 17 00:00:00 2001 From: Brian Huffman Date: Thu, 15 Oct 2020 14:09:47 -0700 Subject: [PATCH 2/2] Remove redundant extra-deps from stack.yaml files. --- stack.ghc-8.6.yaml | 1 - stack.ghc-8.8.yaml | 2 -- 2 files changed, 3 deletions(-) diff --git a/stack.ghc-8.6.yaml b/stack.ghc-8.6.yaml index 63ae8f1c51..6604e74a12 100644 --- a/stack.ghc-8.6.yaml +++ b/stack.ghc-8.6.yaml @@ -46,7 +46,6 @@ extra-deps: - config-schema-1.2.0.0 - config-value-0.7.0.1 - simple-get-opt-0.3 - - QuickCheck-2.14 - splitmix-0.0.4 - bv-sized-1.0.1 - bitwise-1.0.0.1 diff --git a/stack.ghc-8.8.yaml b/stack.ghc-8.8.yaml index 5ab9de5477..e9fe9fcaae 100644 --- a/stack.ghc-8.8.yaml +++ b/stack.ghc-8.8.yaml @@ -48,10 +48,8 @@ extra-deps: - config-value-0.7.0.1 - simple-get-opt-0.4 - json-0.10 - - QuickCheck-2.14 - bv-sized-1.0.1 - bitwise-1.0.0.1 - - constraints-0.11.2 - libBF-0.5.1 - scotty-0.12 resolver: lts-16.2