mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-28 08:34:23 +03:00
43 lines
911 B
YAML
43 lines
911 B
YAML
flags:
|
|
time-locale-compat:
|
|
old-locale: false
|
|
|
|
packages:
|
|
- base
|
|
- x86
|
|
- symbolic
|
|
- x86_symbolic
|
|
- macaw-semmc
|
|
- macaw-arm
|
|
- macaw-ppc
|
|
- deps/crucible/what4
|
|
- deps/crucible/crucible
|
|
- deps/crucible/crucible-llvm
|
|
- deps/dwarf
|
|
- deps/elf-edit
|
|
- deps/flexdis86
|
|
- deps/flexdis86/binary-symbols
|
|
- deps/llvm-pretty
|
|
- deps/parameterized-utils
|
|
- submodules/semmc/semmc
|
|
- submodules/semmc/semmc-ppc
|
|
- submodules/semmc/semmc-arm
|
|
- submodules/dismantle/dismantle-tablegen
|
|
- submodules/dismantle/dismantle-ppc
|
|
- submodules/dismantle/dismantle-arm
|
|
- submodules/dismantle/dismantle-thumb
|
|
- submodules/macaw-loader/macaw-loader
|
|
- submodules/macaw-loader/macaw-loader-ppc
|
|
# - submodules/s-cargot
|
|
# - submodules/s-cargot-letbind
|
|
extra-deps:
|
|
- boomerang-1.4.5.6
|
|
- itanium-abi-0.1.1.0
|
|
- located-base-0.1.1.1
|
|
- monadLib-3.9
|
|
- mwc-random-0.13.6.0
|
|
- panic-0.4.0.1
|
|
- s-cargot-0.1.4.0
|
|
- s-cargot-letbind-0.2.3.0
|
|
resolver: lts-13.7
|