Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/configure.in b/third_party/cddlib/configure.in
new file mode 100644
index 0000000..5a9bada
--- /dev/null
+++ b/third_party/cddlib/configure.in
@@ -0,0 +1,29 @@
+dnl Process this file with autoconf to produce a configure script.
+AC_INIT
+
+dnl Init automake.
+AM_INIT_AUTOMAKE(cddlib, 0.94)
+
+dnl Checks for programs.
+AC_PROG_CC
+AC_PROG_INSTALL
+LT_INIT
+
+dnl Checks for libraries.
+dnl Replace `main' with a function in -lg:
+dnl AC_CHECK_LIB(g, main)
+dnl Replace `main' with a function in -lstdc:
+dnl AC_CHECK_LIB(stdc, main)
+dnl look for gmp:
+AC_CHECK_LIB(gmp, main)
+
+dnl Checks for header files.
+AC_HEADER_STDC
+
+dnl Checks for typedefs, structures, and compiler characteristics.
+AC_C_CONST
+
+dnl Checks for library functions.
+
+AC_CONFIG_FILES([lib-src/Makefile src/Makefile lib-src-gmp/Makefile src-gmp/Makefile Makefile])
+AC_OUTPUT