diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-08-04 14:03:36 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-04 16:03:36 -0500 |
| commit | 99640a4dc014177ed3b205b7186254933e7c5566 (patch) | |
| tree | ac3dd4516f681d22574b7af86c0d1a222b8a2f91 /cvc4autoconfig.h.in | |
| parent | 24a40040a4a5f88f96eada87e46323ace729f06a (diff) | |
Add documentation and build instructions for recompilation (LGPL). (#4844)
Diffstat (limited to 'cvc4autoconfig.h.in')
| -rw-r--r-- | cvc4autoconfig.h.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cvc4autoconfig.h.in b/cvc4autoconfig.h.in index 603670a3a..48d826697 100644 --- a/cvc4autoconfig.h.in +++ b/cvc4autoconfig.h.in @@ -64,4 +64,6 @@ /* Define to 1 if `strerror_r' returns (char *). */ #cmakedefine01 STRERROR_R_CHAR_P +#cmakedefine01 CVC4_STATIC_BUILD + #endif /* __CVC4__CVC4AUTOCONFIG_H */ |