diff options
| author | chriseth <c@ethdev.com> | 2015-10-21 22:43:31 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-10-27 07:49:27 +0800 |
| commit | a957322fd7ff87460e5de3b1c5abcfb021acc1b2 (patch) | |
| tree | f5511f27ea048754143753b4e7faa8b85a0b21bd /libsolidity/CMakeLists.txt | |
| parent | 8fb49d85f9464bfa0d17ac77d2e19b3ba371c53c (diff) | |
| download | dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.tar dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.tar.gz dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.tar.bz2 dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.tar.lz dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.tar.xz dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.tar.zst dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.zip | |
Preliminary why3 code output.
Diffstat (limited to 'libsolidity/CMakeLists.txt')
| -rw-r--r-- | libsolidity/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libsolidity/CMakeLists.txt b/libsolidity/CMakeLists.txt index 62e7bf93..d59afc2d 100644 --- a/libsolidity/CMakeLists.txt +++ b/libsolidity/CMakeLists.txt @@ -3,6 +3,7 @@ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -DSTATICLIB") aux_source_directory(analysis SRC_LIST) aux_source_directory(ast SRC_LIST) aux_source_directory(codegen SRC_LIST) +aux_source_directory(formal SRC_LIST) aux_source_directory(interface SRC_LIST) aux_source_directory(parsing SRC_LIST) |