Age | Commit message (Collapse) | Author |
|
|
|
Adds option --ninja to configure.sh.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The sources of all previous libraries are now added to libcvc4 and built as
libcvc4. This removes circular dependencies between libcvc4 and libexpr.
Further, we now only have one parser library and don't build additional
libraries for each language.
|
|
|
|
|
|
|
|
TODO: cvc4autoconfig.h
|
|
|
|
|
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback