GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-01 00:22:24 +03:00
Code Issues Projects Releases Wiki Activity

Added llvm-pretty-bc-parser submodule to stack.ghc-8.6.3.yaml.

Browse Source
This commit is contained in:
Kevin Quick 2019-02-21 22:23:43 -08:00
parent 9662651b09
commit 91f871dced
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
stack.ghc-8.6.3.yaml
View File

@ -18,6 +18,7 @@ packages:
- deps/flexdis86
- deps/flexdis86/binary-symbols
- deps/llvm-pretty
- deps/llvm-pretty-bc-parser
- deps/parameterized-utils
- submodules/semmc/semmc
- submodules/semmc/semmc-ppc