Description: Build cdd_both_reps prgram.
 Also build the cdd_both_reps program, which is not part
 of the cddlib sources, but comes from sagemath and is provided
 in the debian directory.
 .
 Note that this does not touch the library libcdd but only builds
 an additional program which is linked against this library.
Author: Tobias Hansen <thansen@debian.org>

--- a/src-gmp/Makefile.am
+++ b/src-gmp/Makefile.am
@@ -11,7 +11,8 @@
 testcdd2_gmp \
 testlp1_gmp \
 testlp2_gmp \
-testlp3_gmp
+testlp3_gmp \
+cdd_both_reps_gmp 
 #cddmathlink
 
 scdd_gmp_SOURCES                   = simplecdd.c
@@ -27,6 +28,7 @@
 testlp1_gmp_SOURCES                = testlp1.c
 testlp2_gmp_SOURCES                = testlp2.c
 testlp3_gmp_SOURCES                = testlp3.c
+cdd_both_reps_gmp_SOURCES          = ../debian/cdd_both_reps.c
 # cddmathlink_SOURCES                = cddmathlink.c cddmlio.h cddmlio.c
 
 LDADD        = ../lib-src-gmp/libcddgmp.la
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -11,7 +11,8 @@
 testcdd2 \
 testlp1 \
 testlp2 \
-testlp3
+testlp3 \
+cdd_both_reps
 #cddmathlink
 
 scdd_SOURCES                   = simplecdd.c
@@ -27,6 +28,7 @@
 testlp1_SOURCES                = testlp1.c
 testlp2_SOURCES                = testlp2.c
 testlp3_SOURCES                = testlp3.c
+cdd_both_reps_SOURCES          = ../debian/cdd_both_reps.c
 # cddmathlink_SOURCES                = cddmathlink.c cddmlio.h cddmlio.c
 
 LDADD        = ../lib-src/libcdd.la