diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-10-31 14:35:25 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-10-31 14:35:25 +0000 |
| commit | 5f01dc8c4d2e52045c3a8da5e29fd80ae6d262e0 (patch) | |
| tree | a4c862871666cd6614930f1164ca32344f2b6d29 /include | |
| parent | 10b800db2c0639399ca2bdc041959519c54f89e5 (diff) | |
| download | klee-5f01dc8c4d2e52045c3a8da5e29fd80ae6d262e0.tar.gz | |
Switch to using autoconf 2.69 this version is more commonly available
on Linux systems (2.60 is quite old) which will make updating the configure script easier for most users.
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Config/config.h.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/klee/Config/config.h.in b/include/klee/Config/config.h.in index 6f24cde3..978c901f 100644 --- a/include/klee/Config/config.h.in +++ b/include/klee/Config/config.h.in @@ -78,6 +78,9 @@ /* Define to the one symbol short name of this package. */ #undef PACKAGE_TARNAME +/* Define to the home page for this package. */ +#undef PACKAGE_URL + /* Define to the version of this package. */ #undef PACKAGE_VERSION |