Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/lib-src-gmp/Makefile.am b/third_party/cddlib/lib-src-gmp/Makefile.am
new file mode 100644
index 0000000..b3ab11a
--- /dev/null
+++ b/third_party/cddlib/lib-src-gmp/Makefile.am
@@ -0,0 +1,28 @@
+lib_LTLIBRARIES = libcddgmp.la
+
+libcddgmp_la_SOURCES = \
+cddcore.c \
+cddlp.c \
+cddmp.c \
+cddio.c \
+cddlib.c \
+cddproj.c \
+cddcore_f.c \
+cddlp_f.c \
+cddmp_f.c \
+cddio_f.c \
+cddlib_f.c \
+cddproj_f.c \
+setoper.c
+
+include_HEADERS = \
+cdd.h \
+cddmp.h \
+cddtypes.h \
+cdd_f.h \
+cddmp_f.h \
+cddtypes_f.h \
+setoper.h
+
+AM_CPPFLAGS = -I$(gmpincludedir) -DGMPRATIONAL
+AM_LDFLAGS = -version-info 0:0:0