diff -up cddlib-094h/src-gmp/Makefile.am.orig cddlib-094h/src-gmp/Makefile.am
--- cddlib-094h/src-gmp/Makefile.am.orig 2012-03-23 02:51:35.000000000 -0600
+++ cddlib-094h/src-gmp/Makefile.am 2015-05-18 07:00:00.000000000 -0600
@@ -11,7 +11,8 @@ testcdd1_gmp \
testcdd2_gmp \
testlp1_gmp \
testlp2_gmp \
-testlp3_gmp
+testlp3_gmp \
+cdd_both_reps_gmp
#cddmathlink
scdd_gmp_SOURCES = simplecdd.c
@@ -27,6 +28,7 @@ testcdd2_gmp_SOURCES = tes
testlp1_gmp_SOURCES = testlp1.c
testlp2_gmp_SOURCES = testlp2.c
testlp3_gmp_SOURCES = testlp3.c
+cdd_both_reps_gmp_SOURCES = cdd_both_reps.c
# cddmathlink_SOURCES = cddmathlink.c cddmlio.h cddmlio.c
LDADD = ../lib-src-gmp/libcddgmp.la
diff -up cddlib-094h/src/Makefile.am.orig cddlib-094h/src/Makefile.am
--- cddlib-094h/src/Makefile.am.orig 2012-03-23 02:51:13.000000000 -0600
+++ cddlib-094h/src/Makefile.am 2015-05-18 07:00:00.000000000 -0400
@@ -11,7 +11,8 @@ testshoot \
testcdd2 \
testlp1 \
testlp2 \
-testlp3
+testlp3 \
+cdd_both_reps
#cddmathlink
scdd_SOURCES = simplecdd.c
@@ -27,6 +28,7 @@ testcdd2_SOURCES = testcdd
testlp1_SOURCES = testlp1.c
testlp2_SOURCES = testlp2.c
testlp3_SOURCES = testlp3.c
+cdd_both_reps_SOURCES = cdd_both_reps.c
# cddmathlink_SOURCES = cddmathlink.c cddmlio.h cddmlio.c
LDADD = ../lib-src/libcdd.la