some fixes for win32, including ability to "make check" win32 builds via wine
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 28 Jan 2013 14:30:12 +0000 (09:30 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 28 Jan 2013 14:52:20 +0000 (09:52 -0500)
commit31c768863403d50f7682ecbb7f72a4486de0e503
treed8552410178c7c799302f80984832f733abcf3cc
parentc5d1a5d8f898bf22c6bbc98f1d484b07706c035b
some fixes for win32, including ability to "make check" win32 builds via wine
30 files changed:
configure.ac
src/main/Makefile.am
src/util/statistics_registry.h
test/regress/regress0/Makefile.am
test/regress/regress0/arith/Makefile.am
test/regress/regress0/arith/integers/Makefile.am
test/regress/regress0/arrays/Makefile.am
test/regress/regress0/aufbv/Makefile.am
test/regress/regress0/auflia/Makefile.am
test/regress/regress0/bv/Makefile.am
test/regress/regress0/bv/core/Makefile.am
test/regress/regress0/datatypes/Makefile.am
test/regress/regress0/decision/Makefile.am
test/regress/regress0/lemmas/Makefile.am
test/regress/regress0/precedence/Makefile.am
test/regress/regress0/preprocess/Makefile.am
test/regress/regress0/push-pop/Makefile.am
test/regress/regress0/push-pop/arith/Makefile.am
test/regress/regress0/push-pop/boolean/Makefile.am
test/regress/regress0/quantifiers/Makefile.am
test/regress/regress0/rewriterules/Makefile.am
test/regress/regress0/uf/Makefile.am
test/regress/regress0/uflia/Makefile.am
test/regress/regress0/uflra/Makefile.am
test/regress/regress0/unconstrained/Makefile.am
test/regress/regress1/Makefile.am
test/regress/regress1/arith/Makefile.am
test/regress/regress2/Makefile.am
test/regress/regress3/Makefile.am
test/regress/run_regression