From c3a6ff8c6e4a0c743cd33eb29931f837eeb2959e Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 8 Apr 2010 20:49:11 +0000 Subject: A handful of build system fixes: * (test/unit/Makefile.am) libtool was being passed relative paths of sources in .cpp, confusing lcov if -b wasn't given. Fixed. Closes bug #102. * (configure.ac) --enable-coverage now implies --enable-static --enable-static-binary --disable-shared. * (configure.ac) Create top-level config.status for informational and re-configuration purposes. * (configure.ac) Remove -fvisibility=hidden for debug builds. Closes bug #104. * (test/unit/Makefile.am) Build unit tests with -Wall. * (various unit tests) Fixed trivially-fixable warnings in building unit tests. (Signedness in comparison, unused variables, etc.) * (Makefile.builds.in) Copy the binary correctly if it is static. (It was failing, but only with --enable-static --enable-shared --enable-static-binary.) Closes bug #103. * (src/parser/Makefile.am) libcvc4parser.so now links with libcvc4.so. * Other minor cleanups to the build system. --- test/unit/theory/theory_black.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/unit/theory/theory_black.h') diff --git a/test/unit/theory/theory_black.h b/test/unit/theory/theory_black.h index 905294c27..24c8e407c 100644 --- a/test/unit/theory/theory_black.h +++ b/test/unit/theory/theory_black.h @@ -228,7 +228,7 @@ public: TS_ASSERT_EQUALS(got, f_x_eq_x); - TS_ASSERT_EQUALS(5, d_dummy->d_registered.size()); + TS_ASSERT_EQUALS(5u, d_dummy->d_registered.size()); TS_ASSERT(d_dummy->d_registered.find(x) != d_dummy->d_registered.end()); TS_ASSERT(d_dummy->d_registered.find(f) != d_dummy->d_registered.end()); TS_ASSERT(d_dummy->d_registered.find(f_x) != d_dummy->d_registered.end()); -- cgit v1.2.3