diff options
Diffstat (limited to 'src/util/Makefile.am')
| -rw-r--r-- | src/util/Makefile.am | 35 |
1 files changed, 27 insertions, 8 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 1446412ce..b6ca5bcc6 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -1,6 +1,6 @@ AM_CPPFLAGS = \ -D__BUILDING_CVC4LIB \ - -I@srcdir@/../include -I@srcdir@/.. + -I@srcdir@/../include -I@srcdir@/.. -I@builddir@/.. AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) noinst_LTLIBRARIES = libutil.la @@ -26,6 +26,30 @@ libutil_la_SOURCES = \ configuration.cpp \ rational.h \ integer.h \ + bitvector.h \ + bitvector.cpp \ + gmp_util.h \ + sexpr.h \ + stats.h \ + stats.cpp \ + triple.h + +BUILT_SOURCES = \ + rational.h \ + integer.h + +if CVC4_CLN_IMP +libutil_la_SOURCES += \ + integer_cln_imp.cpp \ + rational_cln_imp.cpp +endif +if CVC4_GMP_IMP +libutil_la_SOURCES += \ + integer_gmp_imp.cpp \ + rational_gmp_imp.cpp +endif + +EXTRA_DIST = \ rational_cln_imp.h \ integer_cln_imp.h \ rational_cln_imp.cpp \ @@ -34,10 +58,5 @@ libutil_la_SOURCES = \ integer_gmp_imp.h \ rational_gmp_imp.cpp \ integer_gmp_imp.cpp \ - bitvector.h \ - bitvector.cpp \ - gmp_util.h \ - sexpr.h \ - stats.h \ - stats.cpp \ - triple.h + rational.h.in \ + integer.h.in |