diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-03-23 19:27:39 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-23 19:27:39 -0300 |
| commit | d8104e0d48a845be7653d1a541c52dea21321aed (patch) | |
| tree | e2ae24c92d7959bb3d877372e562a5701a113db6 /src/base/configuration_private.h | |
| parent | d5d526730d11d08c65aa17ea53d0dffb0a72e692 (diff) | |
Removing unused build options and deprecated proof compile flag (#6195)
Diffstat (limited to 'src/base/configuration_private.h')
| -rw-r--r-- | src/base/configuration_private.h | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h index 835a02a44..cc1983734 100644 --- a/src/base/configuration_private.h +++ b/src/base/configuration_private.h @@ -60,12 +60,6 @@ namespace CVC4 { # define IS_ASSERTIONS_BUILD false #endif /* CVC4_ASSERTIONS */ -#ifdef CVC4_PROOF -# define IS_PROOFS_BUILD true -#else /* CVC4_PROOF */ -# define IS_PROOFS_BUILD false -#endif /* CVC4_PROOF */ - #ifdef CVC4_COVERAGE # define IS_COVERAGE_BUILD true #else /* CVC4_COVERAGE */ @@ -120,24 +114,12 @@ namespace CVC4 { # define IS_CRYPTOMINISAT_BUILD false #endif /* CVC4_USE_CRYPTOMINISAT */ -#if CVC4_USE_DRAT2ER -# define IS_DRAT2ER_BUILD true -#else /* CVC4_USE_DRAT2ER */ -# define IS_DRAT2ER_BUILD false -#endif /* CVC4_USE_DRAT2ER */ - #if CVC4_USE_KISSAT #define IS_KISSAT_BUILD true #else /* CVC4_USE_KISSAT */ #define IS_KISSAT_BUILD false #endif /* CVC4_USE_KISSAT */ -#if CVC4_USE_LFSC -#define IS_LFSC_BUILD true -#else /* CVC4_USE_LFSC */ -#define IS_LFSC_BUILD false -#endif /* CVC4_USE_LFSC */ - #if CVC4_USE_POLY #define IS_POLY_BUILD true #else /* CVC4_USE_POLY */ |