generate stack with extra extra-deps

GaloisInc · Aug 11, 2017 · f7674ee · f7674ee
1 parent d057413
commit f7674ee
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/Gidl/Backend/Ivory.hs b/src/Gidl/Backend/Ivory.hs
@@ -91,6 +91,7 @@ stackfile ivory = artifactText "stack.yaml" $
     , text "  - language-c-quote-0.11.6"
     , text "  - mainland-pretty-0.4.1.2"
     , text "  - symbol-0.2.4"
+    , text "  - th-abstraction-0.2.5.0"
     , empty
     , text "install-ghc: true"
     , empty

diff --git a/src/Gidl/Backend/Tower.hs b/src/Gidl/Backend/Tower.hs
@@ -108,6 +108,7 @@ stackfile ivoryRepo towerRepo ivoryTowerSTM32Repo = artifactText "stack.yaml" $
     , text "  - language-c-quote-0.11.6"
     , text "  - mainland-pretty-0.4.1.4"
     , text "  - symbol-0.2.4"
+    , text "  - th-abstraction-0.2.5.0"
     , empty
     , text "install-ghc: true"
     , empty