diff options
Diffstat (limited to 'src/util/Makefile.am')
-rw-r--r-- | src/util/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 297d96208..2e9d761f8 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -31,6 +31,9 @@ libutil_la_SOURCES = \ divisible.h \ dynamic_array.h \ floatingpoint.cpp \ + floatingpoint_mpfr_imp.cpp \ + floatingpoint_mpfr_imp.h \ + floatingpoint_size.h \ gmp_util.h \ hash.h \ index.cpp \ @@ -48,6 +51,7 @@ libutil_la_SOURCES = \ resource_manager.h \ result.cpp \ result.h \ + rounding_mode.h \ safe_print.cpp \ safe_print.h \ sampler.cpp \ |