diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-01 08:44:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-01 10:44:21 -0500 |
commit | 9ce4c3153d42bc079470b7bd73bf131499b3fcbe (patch) | |
tree | 40a384f74915e2c009bb2a66bd0295e62edcfc2e /cmake | |
parent | 04154c08c1af81bb751376ae9379c071a95c5a3f (diff) |
Add testing infrastructure for LFSC signatures (#4678)
This commit adds testing infrastructure for LFSC signatures that is
enabled when CVC4 is configured with LFSC. The testing infrastructure
adopts run_test.py from https://github.com/CVC4/LFSC with minor
modifications (mainly adding support for a list of include directories
that are searched to resolve *.plf dependencies). The commit uses the
existing examples and test files from proofs/signatures as the initial
set of tests.
Co-authored-by: Alex Ozdemir aozdemir@hmc.edu
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/FindLFSC.cmake | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/cmake/FindLFSC.cmake b/cmake/FindLFSC.cmake index 6135c7891..786af14be 100644 --- a/cmake/FindLFSC.cmake +++ b/cmake/FindLFSC.cmake @@ -3,15 +3,17 @@ # LFSC_INCLUDE_DIR - the LFSC include directory # LFSC_LIBRARIES - Libraries needed to use LFSC +find_program(LFSC_BINARY NAMES lfscc) find_path(LFSC_INCLUDE_DIR NAMES lfscc.h) find_library(LFSC_LIBRARIES NAMES lfscc) include(FindPackageHandleStandardArgs) find_package_handle_standard_args(LFSC DEFAULT_MSG - LFSC_INCLUDE_DIR LFSC_LIBRARIES) + LFSC_BINARY LFSC_INCLUDE_DIR LFSC_LIBRARIES) -mark_as_advanced(LFSC_INCLUDE_DIR LFSC_LIBRARIES) -if(LFSC_LIBRARIES) +mark_as_advanced(LFSC_BINARY LFSC_INCLUDE_DIR LFSC_LIBRARIES) +if(LFSC_FOUND) + message(STATUS "Found LFSC include dir: ${LFSC_INCLUDE_DIR}") message(STATUS "Found LFSC libs: ${LFSC_LIBRARIES}") endif() |