Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/src-gmp/Makefile.am b/third_party/cddlib/src-gmp/Makefile.am
new file mode 100644
index 0000000..e4dbb86
--- /dev/null
+++ b/third_party/cddlib/src-gmp/Makefile.am
@@ -0,0 +1,36 @@
+bin_PROGRAMS = \
+scdd_gmp \
+lcdd_gmp \
+redcheck_gmp \
+fourier_gmp \
+projection_gmp \
+adjacency_gmp \
+allfaces_gmp \
+testshoot_gmp \
+testcdd1_gmp \
+testcdd2_gmp \
+testlp1_gmp \
+testlp2_gmp \
+testlp3_gmp
+#cddmathlink
+
+scdd_gmp_SOURCES = simplecdd.c
+lcdd_gmp_SOURCES = lcdd.c
+redcheck_gmp_SOURCES = redcheck.c
+fourier_gmp_SOURCES = fourier.c
+projection_gmp_SOURCES = projection.c
+adjacency_gmp_SOURCES = adjacency.c
+allfaces_gmp_SOURCES = allfaces.c
+testshoot_gmp_SOURCES = testshoot.c
+testcdd1_gmp_SOURCES = testcdd1.c
+testcdd2_gmp_SOURCES = testcdd2.c
+testlp1_gmp_SOURCES = testlp1.c
+testlp2_gmp_SOURCES = testlp2.c
+testlp3_gmp_SOURCES = testlp3.c
+# cddmathlink_SOURCES = cddmathlink.c cddmlio.h cddmlio.c
+
+LDADD = ../lib-src-gmp/libcddgmp.la
+AM_LDFLAGS = -L$(gmplibdir)
+INCLUDES = -I../lib-src-gmp
+INCLUDES += -I$(gmpincludedir)
+AM_CPPFLAGS = -DGMPRATIONAL
diff --git a/third_party/cddlib/src-gmp/Makefile.in b/third_party/cddlib/src-gmp/Makefile.in
new file mode 100644
index 0000000..f88c83f
--- /dev/null
+++ b/third_party/cddlib/src-gmp/Makefile.in
@@ -0,0 +1,590 @@
+# Makefile.in generated by automake 1.10.2 from Makefile.am.
+# @configure_input@
+
+# Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
+# 2003, 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
+# This Makefile.in is free software; the Free Software Foundation
+# gives unlimited permission to copy and/or distribute it,
+# with or without modifications, as long as this notice is preserved.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
+# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
+# PARTICULAR PURPOSE.
+
+@SET_MAKE@
+
+VPATH = @srcdir@
+pkgdatadir = $(datadir)/@PACKAGE@
+pkglibdir = $(libdir)/@PACKAGE@
+pkgincludedir = $(includedir)/@PACKAGE@
+am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
+install_sh_DATA = $(install_sh) -c -m 644
+install_sh_PROGRAM = $(install_sh) -c
+install_sh_SCRIPT = $(install_sh) -c
+INSTALL_HEADER = $(INSTALL_DATA)
+transform = $(program_transform_name)
+NORMAL_INSTALL = :
+PRE_INSTALL = :
+POST_INSTALL = :
+NORMAL_UNINSTALL = :
+PRE_UNINSTALL = :
+POST_UNINSTALL = :
+build_triplet = @build@
+host_triplet = @host@
+bin_PROGRAMS = scdd_gmp$(EXEEXT) lcdd_gmp$(EXEEXT) \
+ redcheck_gmp$(EXEEXT) fourier_gmp$(EXEEXT) \
+ projection_gmp$(EXEEXT) adjacency_gmp$(EXEEXT) \
+ allfaces_gmp$(EXEEXT) testshoot_gmp$(EXEEXT) \
+ testcdd1_gmp$(EXEEXT) testcdd2_gmp$(EXEEXT) \
+ testlp1_gmp$(EXEEXT) testlp2_gmp$(EXEEXT) testlp3_gmp$(EXEEXT)
+subdir = src-gmp
+DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in
+ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
+am__aclocal_m4_deps = $(top_srcdir)/configure.in
+am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
+ $(ACLOCAL_M4)
+mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
+CONFIG_CLEAN_FILES =
+am__installdirs = "$(DESTDIR)$(bindir)"
+binPROGRAMS_INSTALL = $(INSTALL_PROGRAM)
+PROGRAMS = $(bin_PROGRAMS)
+am_adjacency_gmp_OBJECTS = adjacency.$(OBJEXT)
+adjacency_gmp_OBJECTS = $(am_adjacency_gmp_OBJECTS)
+adjacency_gmp_LDADD = $(LDADD)
+adjacency_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_allfaces_gmp_OBJECTS = allfaces.$(OBJEXT)
+allfaces_gmp_OBJECTS = $(am_allfaces_gmp_OBJECTS)
+allfaces_gmp_LDADD = $(LDADD)
+allfaces_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_fourier_gmp_OBJECTS = fourier.$(OBJEXT)
+fourier_gmp_OBJECTS = $(am_fourier_gmp_OBJECTS)
+fourier_gmp_LDADD = $(LDADD)
+fourier_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_lcdd_gmp_OBJECTS = lcdd.$(OBJEXT)
+lcdd_gmp_OBJECTS = $(am_lcdd_gmp_OBJECTS)
+lcdd_gmp_LDADD = $(LDADD)
+lcdd_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_projection_gmp_OBJECTS = projection.$(OBJEXT)
+projection_gmp_OBJECTS = $(am_projection_gmp_OBJECTS)
+projection_gmp_LDADD = $(LDADD)
+projection_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_redcheck_gmp_OBJECTS = redcheck.$(OBJEXT)
+redcheck_gmp_OBJECTS = $(am_redcheck_gmp_OBJECTS)
+redcheck_gmp_LDADD = $(LDADD)
+redcheck_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_scdd_gmp_OBJECTS = simplecdd.$(OBJEXT)
+scdd_gmp_OBJECTS = $(am_scdd_gmp_OBJECTS)
+scdd_gmp_LDADD = $(LDADD)
+scdd_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_testcdd1_gmp_OBJECTS = testcdd1.$(OBJEXT)
+testcdd1_gmp_OBJECTS = $(am_testcdd1_gmp_OBJECTS)
+testcdd1_gmp_LDADD = $(LDADD)
+testcdd1_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_testcdd2_gmp_OBJECTS = testcdd2.$(OBJEXT)
+testcdd2_gmp_OBJECTS = $(am_testcdd2_gmp_OBJECTS)
+testcdd2_gmp_LDADD = $(LDADD)
+testcdd2_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_testlp1_gmp_OBJECTS = testlp1.$(OBJEXT)
+testlp1_gmp_OBJECTS = $(am_testlp1_gmp_OBJECTS)
+testlp1_gmp_LDADD = $(LDADD)
+testlp1_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_testlp2_gmp_OBJECTS = testlp2.$(OBJEXT)
+testlp2_gmp_OBJECTS = $(am_testlp2_gmp_OBJECTS)
+testlp2_gmp_LDADD = $(LDADD)
+testlp2_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_testlp3_gmp_OBJECTS = testlp3.$(OBJEXT)
+testlp3_gmp_OBJECTS = $(am_testlp3_gmp_OBJECTS)
+testlp3_gmp_LDADD = $(LDADD)
+testlp3_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+am_testshoot_gmp_OBJECTS = testshoot.$(OBJEXT)
+testshoot_gmp_OBJECTS = $(am_testshoot_gmp_OBJECTS)
+testshoot_gmp_LDADD = $(LDADD)
+testshoot_gmp_DEPENDENCIES = ../lib-src-gmp/libcddgmp.la
+DEFAULT_INCLUDES = -I.@am__isrc@
+depcomp = $(SHELL) $(top_srcdir)/depcomp
+am__depfiles_maybe = depfiles
+COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
+ $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
+LTCOMPILE = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
+ --mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
+ $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
+CCLD = $(CC)
+LINK = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
+ --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) \
+ $(LDFLAGS) -o $@
+SOURCES = $(adjacency_gmp_SOURCES) $(allfaces_gmp_SOURCES) \
+ $(fourier_gmp_SOURCES) $(lcdd_gmp_SOURCES) \
+ $(projection_gmp_SOURCES) $(redcheck_gmp_SOURCES) \
+ $(scdd_gmp_SOURCES) $(testcdd1_gmp_SOURCES) \
+ $(testcdd2_gmp_SOURCES) $(testlp1_gmp_SOURCES) \
+ $(testlp2_gmp_SOURCES) $(testlp3_gmp_SOURCES) \
+ $(testshoot_gmp_SOURCES)
+DIST_SOURCES = $(adjacency_gmp_SOURCES) $(allfaces_gmp_SOURCES) \
+ $(fourier_gmp_SOURCES) $(lcdd_gmp_SOURCES) \
+ $(projection_gmp_SOURCES) $(redcheck_gmp_SOURCES) \
+ $(scdd_gmp_SOURCES) $(testcdd1_gmp_SOURCES) \
+ $(testcdd2_gmp_SOURCES) $(testlp1_gmp_SOURCES) \
+ $(testlp2_gmp_SOURCES) $(testlp3_gmp_SOURCES) \
+ $(testshoot_gmp_SOURCES)
+ETAGS = etags
+CTAGS = ctags
+DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
+ACLOCAL = @ACLOCAL@
+AMTAR = @AMTAR@
+AR = @AR@
+AUTOCONF = @AUTOCONF@
+AUTOHEADER = @AUTOHEADER@
+AUTOMAKE = @AUTOMAKE@
+AWK = @AWK@
+CC = @CC@
+CCDEPMODE = @CCDEPMODE@
+CFLAGS = @CFLAGS@
+CPP = @CPP@
+CPPFLAGS = @CPPFLAGS@
+CYGPATH_W = @CYGPATH_W@
+DEFS = @DEFS@
+DEPDIR = @DEPDIR@
+DSYMUTIL = @DSYMUTIL@
+DUMPBIN = @DUMPBIN@
+ECHO_C = @ECHO_C@
+ECHO_N = @ECHO_N@
+ECHO_T = @ECHO_T@
+EGREP = @EGREP@
+EXEEXT = @EXEEXT@
+FGREP = @FGREP@
+GREP = @GREP@
+INSTALL = @INSTALL@
+INSTALL_DATA = @INSTALL_DATA@
+INSTALL_PROGRAM = @INSTALL_PROGRAM@
+INSTALL_SCRIPT = @INSTALL_SCRIPT@
+INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
+LD = @LD@
+LDFLAGS = @LDFLAGS@
+LIBOBJS = @LIBOBJS@
+LIBS = @LIBS@
+LIBTOOL = @LIBTOOL@
+LIPO = @LIPO@
+LN_S = @LN_S@
+LTLIBOBJS = @LTLIBOBJS@
+MAKEINFO = @MAKEINFO@
+MKDIR_P = @MKDIR_P@
+NM = @NM@
+NMEDIT = @NMEDIT@
+OBJDUMP = @OBJDUMP@
+OBJEXT = @OBJEXT@
+OTOOL = @OTOOL@
+OTOOL64 = @OTOOL64@
+PACKAGE = @PACKAGE@
+PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
+PACKAGE_NAME = @PACKAGE_NAME@
+PACKAGE_STRING = @PACKAGE_STRING@
+PACKAGE_TARNAME = @PACKAGE_TARNAME@
+PACKAGE_VERSION = @PACKAGE_VERSION@
+PATH_SEPARATOR = @PATH_SEPARATOR@
+RANLIB = @RANLIB@
+SED = @SED@
+SET_MAKE = @SET_MAKE@
+SHELL = @SHELL@
+STRIP = @STRIP@
+VERSION = @VERSION@
+abs_builddir = @abs_builddir@
+abs_srcdir = @abs_srcdir@
+abs_top_builddir = @abs_top_builddir@
+abs_top_srcdir = @abs_top_srcdir@
+ac_ct_CC = @ac_ct_CC@
+ac_ct_DUMPBIN = @ac_ct_DUMPBIN@
+am__include = @am__include@
+am__leading_dot = @am__leading_dot@
+am__quote = @am__quote@
+am__tar = @am__tar@
+am__untar = @am__untar@
+bindir = @bindir@
+build = @build@
+build_alias = @build_alias@
+build_cpu = @build_cpu@
+build_os = @build_os@
+build_vendor = @build_vendor@
+builddir = @builddir@
+datadir = @datadir@
+datarootdir = @datarootdir@
+docdir = @docdir@
+dvidir = @dvidir@
+exec_prefix = @exec_prefix@
+host = @host@
+host_alias = @host_alias@
+host_cpu = @host_cpu@
+host_os = @host_os@
+host_vendor = @host_vendor@
+htmldir = @htmldir@
+includedir = @includedir@
+infodir = @infodir@
+install_sh = @install_sh@
+libdir = @libdir@
+libexecdir = @libexecdir@
+localedir = @localedir@
+localstatedir = @localstatedir@
+lt_ECHO = @lt_ECHO@
+mandir = @mandir@
+mkdir_p = @mkdir_p@
+oldincludedir = @oldincludedir@
+pdfdir = @pdfdir@
+prefix = @prefix@
+program_transform_name = @program_transform_name@
+psdir = @psdir@
+sbindir = @sbindir@
+sharedstatedir = @sharedstatedir@
+srcdir = @srcdir@
+sysconfdir = @sysconfdir@
+target_alias = @target_alias@
+top_build_prefix = @top_build_prefix@
+top_builddir = @top_builddir@
+top_srcdir = @top_srcdir@
+#cddmathlink
+scdd_gmp_SOURCES = simplecdd.c
+lcdd_gmp_SOURCES = lcdd.c
+redcheck_gmp_SOURCES = redcheck.c
+fourier_gmp_SOURCES = fourier.c
+projection_gmp_SOURCES = projection.c
+adjacency_gmp_SOURCES = adjacency.c
+allfaces_gmp_SOURCES = allfaces.c
+testshoot_gmp_SOURCES = testshoot.c
+testcdd1_gmp_SOURCES = testcdd1.c
+testcdd2_gmp_SOURCES = testcdd2.c
+testlp1_gmp_SOURCES = testlp1.c
+testlp2_gmp_SOURCES = testlp2.c
+testlp3_gmp_SOURCES = testlp3.c
+# cddmathlink_SOURCES = cddmathlink.c cddmlio.h cddmlio.c
+LDADD = ../lib-src-gmp/libcddgmp.la
+AM_LDFLAGS = -L$(gmplibdir)
+INCLUDES = -I../lib-src-gmp -I$(gmpincludedir)
+AM_CPPFLAGS = -DGMPRATIONAL
+all: all-am
+
+.SUFFIXES:
+.SUFFIXES: .c .lo .o .obj
+$(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps)
+ @for dep in $?; do \
+ case '$(am__configure_deps)' in \
+ *$$dep*) \
+ ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
+ && { if test -f $@; then exit 0; else break; fi; }; \
+ exit 1;; \
+ esac; \
+ done; \
+ echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu src-gmp/Makefile'; \
+ cd $(top_srcdir) && \
+ $(AUTOMAKE) --gnu src-gmp/Makefile
+.PRECIOUS: Makefile
+Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
+ @case '$?' in \
+ *config.status*) \
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
+ *) \
+ echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
+ cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
+ esac;
+
+$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
+
+$(top_srcdir)/configure: $(am__configure_deps)
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
+$(ACLOCAL_M4): $(am__aclocal_m4_deps)
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
+install-binPROGRAMS: $(bin_PROGRAMS)
+ @$(NORMAL_INSTALL)
+ test -z "$(bindir)" || $(MKDIR_P) "$(DESTDIR)$(bindir)"
+ @list='$(bin_PROGRAMS)'; for p in $$list; do \
+ p1=`echo $$p|sed 's/$(EXEEXT)$$//'`; \
+ if test -f $$p \
+ || test -f $$p1 \
+ ; then \
+ f=`echo "$$p1" | sed 's,^.*/,,;$(transform);s/$$/$(EXEEXT)/'`; \
+ echo " $(INSTALL_PROGRAM_ENV) $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(binPROGRAMS_INSTALL) '$$p' '$(DESTDIR)$(bindir)/$$f'"; \
+ $(INSTALL_PROGRAM_ENV) $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(binPROGRAMS_INSTALL) "$$p" "$(DESTDIR)$(bindir)/$$f" || exit 1; \
+ else :; fi; \
+ done
+
+uninstall-binPROGRAMS:
+ @$(NORMAL_UNINSTALL)
+ @list='$(bin_PROGRAMS)'; for p in $$list; do \
+ f=`echo "$$p" | sed 's,^.*/,,;s/$(EXEEXT)$$//;$(transform);s/$$/$(EXEEXT)/'`; \
+ echo " rm -f '$(DESTDIR)$(bindir)/$$f'"; \
+ rm -f "$(DESTDIR)$(bindir)/$$f"; \
+ done
+
+clean-binPROGRAMS:
+ @list='$(bin_PROGRAMS)'; for p in $$list; do \
+ f=`echo $$p|sed 's/$(EXEEXT)$$//'`; \
+ echo " rm -f $$p $$f"; \
+ rm -f $$p $$f ; \
+ done
+adjacency_gmp$(EXEEXT): $(adjacency_gmp_OBJECTS) $(adjacency_gmp_DEPENDENCIES)
+ @rm -f adjacency_gmp$(EXEEXT)
+ $(LINK) $(adjacency_gmp_OBJECTS) $(adjacency_gmp_LDADD) $(LIBS)
+allfaces_gmp$(EXEEXT): $(allfaces_gmp_OBJECTS) $(allfaces_gmp_DEPENDENCIES)
+ @rm -f allfaces_gmp$(EXEEXT)
+ $(LINK) $(allfaces_gmp_OBJECTS) $(allfaces_gmp_LDADD) $(LIBS)
+fourier_gmp$(EXEEXT): $(fourier_gmp_OBJECTS) $(fourier_gmp_DEPENDENCIES)
+ @rm -f fourier_gmp$(EXEEXT)
+ $(LINK) $(fourier_gmp_OBJECTS) $(fourier_gmp_LDADD) $(LIBS)
+lcdd_gmp$(EXEEXT): $(lcdd_gmp_OBJECTS) $(lcdd_gmp_DEPENDENCIES)
+ @rm -f lcdd_gmp$(EXEEXT)
+ $(LINK) $(lcdd_gmp_OBJECTS) $(lcdd_gmp_LDADD) $(LIBS)
+projection_gmp$(EXEEXT): $(projection_gmp_OBJECTS) $(projection_gmp_DEPENDENCIES)
+ @rm -f projection_gmp$(EXEEXT)
+ $(LINK) $(projection_gmp_OBJECTS) $(projection_gmp_LDADD) $(LIBS)
+redcheck_gmp$(EXEEXT): $(redcheck_gmp_OBJECTS) $(redcheck_gmp_DEPENDENCIES)
+ @rm -f redcheck_gmp$(EXEEXT)
+ $(LINK) $(redcheck_gmp_OBJECTS) $(redcheck_gmp_LDADD) $(LIBS)
+scdd_gmp$(EXEEXT): $(scdd_gmp_OBJECTS) $(scdd_gmp_DEPENDENCIES)
+ @rm -f scdd_gmp$(EXEEXT)
+ $(LINK) $(scdd_gmp_OBJECTS) $(scdd_gmp_LDADD) $(LIBS)
+testcdd1_gmp$(EXEEXT): $(testcdd1_gmp_OBJECTS) $(testcdd1_gmp_DEPENDENCIES)
+ @rm -f testcdd1_gmp$(EXEEXT)
+ $(LINK) $(testcdd1_gmp_OBJECTS) $(testcdd1_gmp_LDADD) $(LIBS)
+testcdd2_gmp$(EXEEXT): $(testcdd2_gmp_OBJECTS) $(testcdd2_gmp_DEPENDENCIES)
+ @rm -f testcdd2_gmp$(EXEEXT)
+ $(LINK) $(testcdd2_gmp_OBJECTS) $(testcdd2_gmp_LDADD) $(LIBS)
+testlp1_gmp$(EXEEXT): $(testlp1_gmp_OBJECTS) $(testlp1_gmp_DEPENDENCIES)
+ @rm -f testlp1_gmp$(EXEEXT)
+ $(LINK) $(testlp1_gmp_OBJECTS) $(testlp1_gmp_LDADD) $(LIBS)
+testlp2_gmp$(EXEEXT): $(testlp2_gmp_OBJECTS) $(testlp2_gmp_DEPENDENCIES)
+ @rm -f testlp2_gmp$(EXEEXT)
+ $(LINK) $(testlp2_gmp_OBJECTS) $(testlp2_gmp_LDADD) $(LIBS)
+testlp3_gmp$(EXEEXT): $(testlp3_gmp_OBJECTS) $(testlp3_gmp_DEPENDENCIES)
+ @rm -f testlp3_gmp$(EXEEXT)
+ $(LINK) $(testlp3_gmp_OBJECTS) $(testlp3_gmp_LDADD) $(LIBS)
+testshoot_gmp$(EXEEXT): $(testshoot_gmp_OBJECTS) $(testshoot_gmp_DEPENDENCIES)
+ @rm -f testshoot_gmp$(EXEEXT)
+ $(LINK) $(testshoot_gmp_OBJECTS) $(testshoot_gmp_LDADD) $(LIBS)
+
+mostlyclean-compile:
+ -rm -f *.$(OBJEXT)
+
+distclean-compile:
+ -rm -f *.tab.c
+
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/adjacency.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/allfaces.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/fourier.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/lcdd.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/projection.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/redcheck.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/simplecdd.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/testcdd1.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/testcdd2.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/testlp1.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/testlp2.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/testlp3.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/testshoot.Po@am__quote@
+
+.c.o:
+@am__fastdepCC_TRUE@ $(COMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
+@am__fastdepCC_TRUE@ mv -f $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
+@AMDEP_TRUE@@am__fastdepCC_FALSE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
+@AMDEP_TRUE@@am__fastdepCC_FALSE@ DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
+@am__fastdepCC_FALSE@ $(COMPILE) -c $<
+
+.c.obj:
+@am__fastdepCC_TRUE@ $(COMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'`
+@am__fastdepCC_TRUE@ mv -f $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
+@AMDEP_TRUE@@am__fastdepCC_FALSE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
+@AMDEP_TRUE@@am__fastdepCC_FALSE@ DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
+@am__fastdepCC_FALSE@ $(COMPILE) -c `$(CYGPATH_W) '$<'`
+
+.c.lo:
+@am__fastdepCC_TRUE@ $(LTCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
+@am__fastdepCC_TRUE@ mv -f $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Plo
+@AMDEP_TRUE@@am__fastdepCC_FALSE@ source='$<' object='$@' libtool=yes @AMDEPBACKSLASH@
+@AMDEP_TRUE@@am__fastdepCC_FALSE@ DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
+@am__fastdepCC_FALSE@ $(LTCOMPILE) -c -o $@ $<
+
+mostlyclean-libtool:
+ -rm -f *.lo
+
+clean-libtool:
+ -rm -rf .libs _libs
+
+ID: $(HEADERS) $(SOURCES) $(LISP) $(TAGS_FILES)
+ list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
+ unique=`for i in $$list; do \
+ if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
+ done | \
+ $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
+ END { if (nonempty) { for (i in files) print i; }; }'`; \
+ mkid -fID $$unique
+tags: TAGS
+
+TAGS: $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \
+ $(TAGS_FILES) $(LISP)
+ tags=; \
+ here=`pwd`; \
+ list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
+ unique=`for i in $$list; do \
+ if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
+ done | \
+ $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
+ END { if (nonempty) { for (i in files) print i; }; }'`; \
+ if test -z "$(ETAGS_ARGS)$$tags$$unique"; then :; else \
+ test -n "$$unique" || unique=$$empty_fix; \
+ $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
+ $$tags $$unique; \
+ fi
+ctags: CTAGS
+CTAGS: $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \
+ $(TAGS_FILES) $(LISP)
+ tags=; \
+ list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
+ unique=`for i in $$list; do \
+ if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
+ done | \
+ $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
+ END { if (nonempty) { for (i in files) print i; }; }'`; \
+ test -z "$(CTAGS_ARGS)$$tags$$unique" \
+ || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
+ $$tags $$unique
+
+GTAGS:
+ here=`$(am__cd) $(top_builddir) && pwd` \
+ && cd $(top_srcdir) \
+ && gtags -i $(GTAGS_ARGS) $$here
+
+distclean-tags:
+ -rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags
+
+distdir: $(DISTFILES)
+ @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
+ topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
+ list='$(DISTFILES)'; \
+ dist_files=`for file in $$list; do echo $$file; done | \
+ sed -e "s|^$$srcdirstrip/||;t" \
+ -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
+ case $$dist_files in \
+ */*) $(MKDIR_P) `echo "$$dist_files" | \
+ sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
+ sort -u` ;; \
+ esac; \
+ for file in $$dist_files; do \
+ if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
+ if test -d $$d/$$file; then \
+ dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
+ if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
+ cp -pR $(srcdir)/$$file $(distdir)$$dir || exit 1; \
+ fi; \
+ cp -pR $$d/$$file $(distdir)$$dir || exit 1; \
+ else \
+ test -f $(distdir)/$$file \
+ || cp -p $$d/$$file $(distdir)/$$file \
+ || exit 1; \
+ fi; \
+ done
+check-am: all-am
+check: check-am
+all-am: Makefile $(PROGRAMS)
+installdirs:
+ for dir in "$(DESTDIR)$(bindir)"; do \
+ test -z "$$dir" || $(MKDIR_P) "$$dir"; \
+ done
+install: install-am
+install-exec: install-exec-am
+install-data: install-data-am
+uninstall: uninstall-am
+
+install-am: all-am
+ @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
+
+installcheck: installcheck-am
+install-strip:
+ $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
+ install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
+ `test -z '$(STRIP)' || \
+ echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
+mostlyclean-generic:
+
+clean-generic:
+
+distclean-generic:
+ -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
+
+maintainer-clean-generic:
+ @echo "This command is intended for maintainers to use"
+ @echo "it deletes files that may require special tools to rebuild."
+clean: clean-am
+
+clean-am: clean-binPROGRAMS clean-generic clean-libtool mostlyclean-am
+
+distclean: distclean-am
+ -rm -rf ./$(DEPDIR)
+ -rm -f Makefile
+distclean-am: clean-am distclean-compile distclean-generic \
+ distclean-tags
+
+dvi: dvi-am
+
+dvi-am:
+
+html: html-am
+
+info: info-am
+
+info-am:
+
+install-data-am:
+
+install-dvi: install-dvi-am
+
+install-exec-am: install-binPROGRAMS
+
+install-html: install-html-am
+
+install-info: install-info-am
+
+install-man:
+
+install-pdf: install-pdf-am
+
+install-ps: install-ps-am
+
+installcheck-am:
+
+maintainer-clean: maintainer-clean-am
+ -rm -rf ./$(DEPDIR)
+ -rm -f Makefile
+maintainer-clean-am: distclean-am maintainer-clean-generic
+
+mostlyclean: mostlyclean-am
+
+mostlyclean-am: mostlyclean-compile mostlyclean-generic \
+ mostlyclean-libtool
+
+pdf: pdf-am
+
+pdf-am:
+
+ps: ps-am
+
+ps-am:
+
+uninstall-am: uninstall-binPROGRAMS
+
+.MAKE: install-am install-strip
+
+.PHONY: CTAGS GTAGS all all-am check check-am clean clean-binPROGRAMS \
+ clean-generic clean-libtool ctags distclean distclean-compile \
+ distclean-generic distclean-libtool distclean-tags distdir dvi \
+ dvi-am html html-am info info-am install install-am \
+ install-binPROGRAMS install-data install-data-am install-dvi \
+ install-dvi-am install-exec install-exec-am install-html \
+ install-html-am install-info install-info-am install-man \
+ install-pdf install-pdf-am install-ps install-ps-am \
+ install-strip installcheck installcheck-am installdirs \
+ maintainer-clean maintainer-clean-generic mostlyclean \
+ mostlyclean-compile mostlyclean-generic mostlyclean-libtool \
+ pdf pdf-am ps ps-am tags uninstall uninstall-am \
+ uninstall-binPROGRAMS
+
+# Tell versions [3.59,3.63) of GNU make to not export all variables.
+# Otherwise a system limit (for SysV at least) may be exceeded.
+.NOEXPORT:
diff --git a/third_party/cddlib/src-gmp/adjacency.c b/third_party/cddlib/src-gmp/adjacency.c
new file mode 120000
index 0000000..4c7c833
--- /dev/null
+++ b/third_party/cddlib/src-gmp/adjacency.c
@@ -0,0 +1 @@
+../src/adjacency.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/allfaces.c b/third_party/cddlib/src-gmp/allfaces.c
new file mode 120000
index 0000000..db193d3
--- /dev/null
+++ b/third_party/cddlib/src-gmp/allfaces.c
@@ -0,0 +1 @@
+../src/allfaces.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/fourier.c b/third_party/cddlib/src-gmp/fourier.c
new file mode 120000
index 0000000..76cbc18
--- /dev/null
+++ b/third_party/cddlib/src-gmp/fourier.c
@@ -0,0 +1 @@
+../src/fourier.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/lcdd.c b/third_party/cddlib/src-gmp/lcdd.c
new file mode 120000
index 0000000..c6597f2
--- /dev/null
+++ b/third_party/cddlib/src-gmp/lcdd.c
@@ -0,0 +1 @@
+../src/lcdd.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/projection.c b/third_party/cddlib/src-gmp/projection.c
new file mode 120000
index 0000000..13193ce
--- /dev/null
+++ b/third_party/cddlib/src-gmp/projection.c
@@ -0,0 +1 @@
+../src/projection.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/redcheck.c b/third_party/cddlib/src-gmp/redcheck.c
new file mode 120000
index 0000000..1f58be2
--- /dev/null
+++ b/third_party/cddlib/src-gmp/redcheck.c
@@ -0,0 +1 @@
+../src/redcheck.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/redundancies.c b/third_party/cddlib/src-gmp/redundancies.c
new file mode 120000
index 0000000..fcd92ce
--- /dev/null
+++ b/third_party/cddlib/src-gmp/redundancies.c
@@ -0,0 +1 @@
+../src/redundancies.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/redundancies_clarkson.c b/third_party/cddlib/src-gmp/redundancies_clarkson.c
new file mode 120000
index 0000000..533540d
--- /dev/null
+++ b/third_party/cddlib/src-gmp/redundancies_clarkson.c
@@ -0,0 +1 @@
+../src/redundancies_clarkson.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/simplecdd.c b/third_party/cddlib/src-gmp/simplecdd.c
new file mode 120000
index 0000000..a1bba26
--- /dev/null
+++ b/third_party/cddlib/src-gmp/simplecdd.c
@@ -0,0 +1 @@
+../src/simplecdd.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/testcdd1.c b/third_party/cddlib/src-gmp/testcdd1.c
new file mode 120000
index 0000000..134cd55
--- /dev/null
+++ b/third_party/cddlib/src-gmp/testcdd1.c
@@ -0,0 +1 @@
+../src/testcdd1.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/testcdd2.c b/third_party/cddlib/src-gmp/testcdd2.c
new file mode 120000
index 0000000..093e1c2
--- /dev/null
+++ b/third_party/cddlib/src-gmp/testcdd2.c
@@ -0,0 +1 @@
+../src/testcdd2.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/testlp1.c b/third_party/cddlib/src-gmp/testlp1.c
new file mode 120000
index 0000000..3c61345
--- /dev/null
+++ b/third_party/cddlib/src-gmp/testlp1.c
@@ -0,0 +1 @@
+../src/testlp1.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/testlp2.c b/third_party/cddlib/src-gmp/testlp2.c
new file mode 120000
index 0000000..fd0b9f7
--- /dev/null
+++ b/third_party/cddlib/src-gmp/testlp2.c
@@ -0,0 +1 @@
+../src/testlp2.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/testlp3.c b/third_party/cddlib/src-gmp/testlp3.c
new file mode 120000
index 0000000..3944b5a
--- /dev/null
+++ b/third_party/cddlib/src-gmp/testlp3.c
@@ -0,0 +1 @@
+../src/testlp3.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/testshoot.c b/third_party/cddlib/src-gmp/testshoot.c
new file mode 120000
index 0000000..579590e
--- /dev/null
+++ b/third_party/cddlib/src-gmp/testshoot.c
@@ -0,0 +1 @@
+../src/testshoot.c
\ No newline at end of file
diff --git a/third_party/cddlib/src-gmp/testuniq.c b/third_party/cddlib/src-gmp/testuniq.c
new file mode 100644
index 0000000..9858651
--- /dev/null
+++ b/third_party/cddlib/src-gmp/testuniq.c
@@ -0,0 +1,161 @@
+/* uniqtest.c: Test program to call the cdd library cddlib
+ written by Komei Fukuda, fukuda@ifor.math.ethz.ch
+ Version 0.93c, Nov. 14, 2003
+ Standard ftp site: ftp.ifor.math.ethz.ch, Directory: pub/fukuda/cdd
+*/
+
+/* This program is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 2 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+*/
+
+#include "setoper.h"
+#include "cdd.h"
+#include <stdio.h>
+#include <stdlib.h>
+#include <time.h>
+#include <math.h>
+#include <string.h>
+
+dd_boolean SetInputFile(FILE **f, dd_DataFileType fname)
+{
+ dd_boolean success=dd_FALSE;
+ success=dd_FALSE;
+
+ if ( ( *f = fopen(fname, "r") )!= NULL) {
+ printf("input file %s is open\n", fname);
+ success=dd_TRUE;
+ }
+ else{
+ printf("The input file %s not found\n",fname);
+ }
+ return success;
+}
+
+dd_boolean SetWriteFile(FILE **f, dd_DataFileType fname)
+{
+ dd_boolean success=dd_FALSE;
+
+ if ( (*f = fopen(fname, "w")) != NULL){
+ printf("output file %s is open\n",fname);
+ success=dd_TRUE;
+ }
+ else{
+ printf("The output file %s cannot be opened\n",fname);
+ }
+ return success;
+}
+
+
+int main(int argc, char *argv[])
+{
+ dd_MatrixPtr M=NULL,M1=NULL,M2=NULL,M3=NULL,M4=NULL;
+ dd_rowrange i;
+ dd_colrange d;
+ dd_ErrorType err=dd_NoError;
+ dd_rowset redrows,linrows;
+ dd_rowindex newpos1=NULL, newpos2=NULL,newpos4=NULL;
+ mytype val;
+ dd_DataFileType inputfile;
+ FILE *reading=NULL;
+
+ dd_set_global_constants(); /* First, this must be called. */
+
+ dd_init(val);
+ if (argc>1) strcpy(inputfile,argv[1]);
+ if (argc<=1 || !SetInputFile(&reading,argv[1])){
+ dd_WriteProgramDescription(stdout);
+ fprintf(stdout,"\ncddlib test program to remove duplicates.\n");
+ dd_SetInputFile(&reading,inputfile, &err);
+ }
+ if (err==dd_NoError) {
+ M=dd_PolyFile2Matrix(reading, &err);
+ }
+ else {
+ fprintf(stderr,"Input file not found\n");
+ goto _L99;
+ }
+
+ if (err!=dd_NoError) goto _L99;
+
+ d=M->colsize;
+
+ printf("\nInput Matrix.\n");
+ dd_WriteMatrix(stdout, M);
+ M1=dd_MatrixSortedCopy(M,&newpos1);
+ printf("\nNormalize and sort the matrix with dd_MatrixSortedCopy.\n");
+ printf(" Row index changes -- original:new\n");
+ for (i=1;i<=M->rowsize; i++){
+ printf(" %ld:%ld",i,newpos1[i]);
+ }
+ printf("\n");
+
+ dd_WriteMatrix(stdout, M1);
+
+ M2=dd_MatrixUniqueCopy(M1,&newpos2);
+ printf("\nRemove row (consecutive) duplicates with dd_MatrixUniqueCopy.\n");
+ printf(" Row index changes -- original:new\n");
+ for (i=1;i<=M1->rowsize; i++){
+ printf(" %ld:%ld",i,newpos2[i]);
+ }
+ printf("\n");
+ dd_WriteMatrix(stdout, M2);
+
+
+ M4=dd_MatrixSortedUniqueCopy(M,&newpos4);
+ printf("\nTwo operations can be done at once with dd_MatrixSortedUniqueCopy.\n");
+ printf(" Row index changes -- original:new\n");
+ for (i=1;i<=M->rowsize; i++){
+ printf(" %ld:%ld",i,newpos4[i]);
+ }
+ printf("\n");
+ dd_WriteMatrix(stdout, M4);
+
+
+ fprintf(stdout, "\nOne can then remove nontrivial redundant rows with dd_RedundantRows.\n Redundant rows:");
+ redrows=dd_RedundantRows(M2, &err);
+ set_fwrite(stdout, redrows);
+
+ M3=dd_MatrixSubmatrix(M2, redrows);
+ dd_FreeMatrix(M1);
+ dd_FreeMatrix(M2);
+ set_free(redrows);
+
+ fprintf(stdout, " Implicit linearity (after removal of redundant rows): ");
+ linrows=dd_ImplicitLinearityRows(M3, &err);
+
+ if (M->representation==dd_Generator)
+ fprintf(stdout," %ld ", set_card(linrows));
+ else
+ fprintf(stdout," %ld ", set_card(linrows));
+ set_fwrite(stdout,linrows);
+ set_uni(M3->linset, M3->linset, linrows);
+ /* add the implicit linrows to the given linearity rows */
+
+ printf("\nNonredundant representation (except for the linearity part):\n");
+ dd_WriteMatrix(stdout, M3);
+ set_free(linrows);
+
+ dd_FreeMatrix(M);
+ dd_FreeMatrix(M3);
+ dd_FreeMatrix(M4);
+ dd_clear(val);
+ free(newpos1); free(newpos2); free(newpos4);
+
+_L99:;
+ /* if (err!=dd_NoError) dd_WriteErrorMessages(stderr,err); */
+ return 0;
+}
+
+
+/* end of uniqtest.c */