mirror of
https://github.com/GaloisInc/what4.git
synced 2024-11-25 07:13:59 +03:00
87b360b17c
The `what4-transition-system-tests` test suite in particular will be moved to `language-sally`.
17 lines
427 B
Plaintext
17 lines
427 B
Plaintext
-- note: since new-build does not yet support adding custom
|
|
-- (non-alex/happy/etc) build tools to the path, you will have to do
|
|
-- something like this before building:
|
|
--
|
|
-- export PATH=$PWD/dist-newstyle/build/x86_64-linux/ghc-7.10.3/hpb-0.1.1/c/hpb/build/hpb:$PATH
|
|
|
|
packages:
|
|
what4/
|
|
what4-abc/
|
|
what4-blt/
|
|
what4-transition-system/
|
|
|
|
optional-packages:
|
|
dependencies/abcBridge/
|
|
dependencies/aig/
|
|
dependencies/blt/
|