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

Update llvm-pretty-bc-parser version.

Browse Source
This commit is contained in:
Joe Hendrix 2019-03-25 14:43:56 -07:00
parent fbb3b300ce
commit b3913695e1
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -12,7 +12,6 @@ matrix:
- env: STACK_YAML=stack-8.4.yaml
- env: STACK_YAML=stack-8.6.yaml
before_install:
# Changes ssh paths into http path, so that we can do a read-only clone of
# our submodules without worrying about ssh keys.
@ -31,7 +30,6 @@ install:
# any command which exits with a non-zero exit code causes the build to fail.
script:
# Build modules with known warnings.
- stack build llvm-pretty-bc-parser
- stack build semmc-ppc
# Build and test rest of system.
- stack build --ghc-options="-Wall -Werror"

2
deps/llvm-pretty-bc-parser vendored

@ -1 +1 @@
Subproject commit c850b7a4b5c51d935d7c6851017e85535b3bcabf
Subproject commit d17896d48ef34a78b8522e2ab6190d409b07c19c