diff options
Diffstat (limited to 'src/util/Makefile.am')
| -rw-r--r-- | src/util/Makefile.am | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 644376f25..1446412ce 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -25,9 +25,15 @@ libutil_la_SOURCES = \ configuration.h \ configuration.cpp \ rational.h \ - rational.cpp \ integer.h \ - integer.cpp \ + rational_cln_imp.h \ + integer_cln_imp.h \ + rational_cln_imp.cpp \ + integer_cln_imp.cpp \ + rational_gmp_imp.h \ + integer_gmp_imp.h \ + rational_gmp_imp.cpp \ + integer_gmp_imp.cpp \ bitvector.h \ bitvector.cpp \ gmp_util.h \ |