diff --git a/src/config.h.in b/src/config.h.in new file mode 100644 index 0000000..02c4716 --- /dev/null +++ b/src/config.h.in @@ -0,0 +1 @@ +#cmakedefine STORMPY_DISABLE_SIGNATURE_DOC