diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-01 22:25:01 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-01 22:25:01 +0000 |
commit | 02c2038dca9ce3e09cac66ed3bd6f8e2832ff74b (patch) | |
tree | c9ddfd5562849c7e9bbe89e740697b8deeb61564 /configure.ac | |
parent | 2801ed49a3bef7306249844e35118cf7ce6fd2c7 (diff) |
re-add no-deprecated to C sources; update some file-level documentation; first look at cdvector for code review
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 249122d25..d2033ac1f 100644 --- a/configure.ac +++ b/configure.ac @@ -705,7 +705,7 @@ AC_DEFINE_UNQUOTED(CVC4_RELEASE_STRING, ["${CVC4_RELEASE_STRING}"], [Full releas CPPFLAGS="${CPPFLAGS:+$CPPFLAGS }$CVC4CPPFLAGS" CXXFLAGS="${CXXFLAGS:+$CXXFLAGS }$CVC4CXXFLAGS -Wno-deprecated" -CFLAGS="${CFLAGS:+$CFLAGS }$CVC4CFLAGS -fexceptions" +CFLAGS="${CFLAGS:+$CFLAGS }$CVC4CFLAGS -Wno-deprecated -fexceptions" LDFLAGS="${LDFLAGS:+$LDFLAGS }$CVC4LDFLAGS" AC_SUBST(FLAG_VISIBILITY_HIDDEN) |