fix: cmakedefine USE_CRYPTOPP

COMSYS · Sep 4, 2018 · 4dfd0f6 · 4dfd0f6
1 parent 4304ee2
commit 4dfd0f6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/include/klee/Config/config.h.cmin b/include/klee/Config/config.h.cmin
@@ -13,6 +13,9 @@
 /* Using Z3 Solver backend */
 #cmakedefine ENABLE_Z3 @ENABLE_Z3@
 
+/* Using CryptoPP */
+#cmakedefine USE_CRYPTOPP @USE_CRYPTOPP@
+
 /* Does the platform use __ctype_b_loc, etc. */
 #cmakedefine HAVE_CTYPE_EXTERNALS @HAVE_CTYPE_EXTERNALS@