mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-26 23:52:48 +03:00
Add llvm-pretty-bc-parser dependency.
This commit is contained in:
parent
731d68df40
commit
11a2481135
3
.gitmodules
vendored
3
.gitmodules
vendored
@ -31,3 +31,6 @@
|
|||||||
[submodule "submodules/s-cargot-letbind"]
|
[submodule "submodules/s-cargot-letbind"]
|
||||||
path = submodules/s-cargot-letbind
|
path = submodules/s-cargot-letbind
|
||||||
url = https://github.com/GaloisInc/s-cargot-letbind.git
|
url = https://github.com/GaloisInc/s-cargot-letbind.git
|
||||||
|
[submodule "deps/llvm-pretty-bc-parser"]
|
||||||
|
path = deps/llvm-pretty-bc-parser
|
||||||
|
url = https://github.com/GaloisInc/llvm-pretty-bc-parser
|
||||||
|
1
deps/llvm-pretty-bc-parser
vendored
Submodule
1
deps/llvm-pretty-bc-parser
vendored
Submodule
@ -0,0 +1 @@
|
|||||||
|
Subproject commit 0726d32c7acb2c44ad935f24d853bb27a4ce0af0
|
Loading…
Reference in New Issue
Block a user