diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-15 14:45:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-15 21:45:54 +0000 |
| commit | 640a07690826d4bbd87398949091b94b32e35c7a (patch) | |
| tree | 6977ce7ed5f55b77f3ca79e055c411a3fa09b3fe /src/preprocessing/preprocessing_pass_context.h | |
| parent | 3564c3345d7fa53744661d815cbd463cc02567d7 (diff) | |
Build support library from base and context. (#6368)
This PR creates a support library from the utilities in base and context, which will be required in the parser as soon as we move the symbol table/manager to the parser.
Note: I decided to always build static libraries from base and context (and optionally enable -fPIC for shared builds) since I'm not sure if we want to have these libraries installed separately. Right now these are considered as cvc5 internal utilities that can be used in all cvc5 libraries, but not outside.
Diffstat (limited to 'src/preprocessing/preprocessing_pass_context.h')
0 files changed, 0 insertions, 0 deletions