diff -ur /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/Makefile.am topcom-0.17.8/Makefile.am
--- /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/Makefile.am	2016-09-26 09:02:16.000000000 -0500
+++ topcom-0.17.8/Makefile.am	2017-06-10 06:29:56.183443254 -0500
@@ -1,6 +1,6 @@
 SUBDIRS      = wrap-gmp-gmpxx lib-src-reg lib-src src-reg src examples
-EXTRA_DIST   = external/Makefile
-EXTRA_DIST  += external/gmp-6.1.1.tar.bz2
-EXTRA_DIST  += external/cddlib-0.94f-TOPCOM.tar.gz
-EXTRA_DIST  += external/gmpxx-patch
+# EXTRA_DIST   = external/Makefile
+# EXTRA_DIST  += external/gmp-6.1.1.tar.bz2
+# EXTRA_DIST  += external/cddlib-0.94f-TOPCOM.tar.gz
+# EXTRA_DIST  += external/gmpxx-patch

diff -ur /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/lib-src/Makefile.am topcom-0.17.8/lib-src/Makefile.am
--- /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/lib-src/Makefile.am	2015-12-07 03:01:50.000000000 -0600
+++ topcom-0.17.8/lib-src/Makefile.am	2017-06-10 06:46:23.917361101 -0500
@@ -90,7 +90,7 @@
 
 AM_CPPFLAGS     = -I../lib-src-reg
 AM_CPPFLAGS    += -I../wrap-gmp-gmpxx
-AM_CPPFLAGS    += -I../external/include
+# AM_CPPFLAGS    += -I../external/include
 AM_CPPFLAGS    += -I$(includedir)
 
 AM_CPPFLAGS    += -DVERBOSE -DGMPRATIONAL -ftemplate-depth-35
diff -ur /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/lib-src-reg/Makefile.am topcom-0.17.8/lib-src-reg/Makefile.am
--- /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/lib-src-reg/Makefile.am	2015-12-07 03:01:50.000000000 -0600
+++ topcom-0.17.8/lib-src-reg/Makefile.am	2017-06-10 06:46:19.721174480 -0500
@@ -12,7 +12,7 @@
 
 AM_CPPFLAGS     = -I../lib-src 
 AM_CPPFLAGS    += -I../wrap-gmp-gmpxx
-AM_CPPFLAGS    += -I../external/include
+# AM_CPPFLAGS    += -I../external/include
 AM_CPPFLAGS    += -I$(includedir)
 
 AM_CPPFLAGS    += -DVERBOSE -DGMPRATIONAL -ftemplate-depth-30
diff -ur /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/src/Makefile.am topcom-0.17.8/src/Makefile.am
--- /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/src/Makefile.am	2016-07-08 05:30:51.000000000 -0500
+++ topcom-0.17.8/src/Makefile.am	2017-06-10 06:50:41.890016272 -0500
@@ -84,15 +84,12 @@
 santos_22_triang_SOURCES           = santos_22_triang.cc
 
 LDADD           = ../lib-src/libTOPCOM.a \
-                  ../lib-src-reg/libCHECKREG.a \
-                  ../external/lib/libcddgmp.a \
-                  ../external/lib/libgmpxx.a \
-                  ../external/lib/libgmp.a
+                  ../lib-src-reg/libCHECKREG.a -lcddgmp -lgmpxx -lgmp
 
 AM_CPPFLAGS     = -I../lib-src
 AM_CPPFLAGS    += -I../lib-src-reg
 AM_CPPFLAGS    += -I../wrap-gmp-gmpxx
-AM_CPPFLAGS    += -I../external/include
+# AM_CPPFLAGS    += -I../external/include
 AM_CPPFLAGS    += -I$(includedir)
 
 AM_CPPFLAGS    += -DVERBOSE -DGMPRATIONAL -ftemplate-depth-30
diff -ur /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/src-reg/Makefile.am topcom-0.17.8/src-reg/Makefile.am
--- /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/src-reg/Makefile.am	2015-12-07 03:01:50.000000000 -0600
+++ topcom-0.17.8/src-reg/Makefile.am	2017-06-10 06:50:54.209034465 -0500
@@ -3,15 +3,12 @@
 checkregularity_SOURCES = checkregularity.cc
 
 LDADD           = ../lib-src-reg/libCHECKREG.a \
-                  ../lib-src/libTOPCOM.a \
-                  ../external/lib/libcddgmp.a \
-                  ../external/lib/libgmpxx.a \
-                  ../external/lib/libgmp.a
+                  ../lib-src/libTOPCOM.a -lcddgmp -lgmpxx -lgmp
 
 AM_CPPFLAGS     = -I../lib-src
 AM_CPPFLAGS    += -I../lib-src-reg
 AM_CPPFLAGS    += -I../wrap-gmp-gmpxx
-AM_CPPFLAGS    += -I../external/include
+# AM_CPPFLAGS    += -I../external/include
 AM_CPPFLAGS    += -I$(includedir)
 
 
diff -ur /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/wrap-gmp-gmpxx/Makefile.am topcom-0.17.8/wrap-gmp-gmpxx/Makefile.am
--- /home/dan/src/M2/M2/BUILD/dan/builds.tmp/Ubuntu-17.04-x86_64.debug/libraries/topcom/tmp/topcom-0.17.8/wrap-gmp-gmpxx/Makefile.am	2015-12-07 03:01:47.000000000 -0600
+++ topcom-0.17.8/wrap-gmp-gmpxx/Makefile.am	2017-06-10 06:47:45.801263182 -0500
@@ -2,7 +2,8 @@
 Integer.h \
 Rational.h
 
-AM_CPPFLAGS        = -I../external/include
+AM_CPPFLAGS = 
+# AM_CPPFLAGS        = -I../external/include
 AM_CPPFLAGS       += -I$(includedir)
 
 AM_CXXFLAGS     = -O2

diff -ur /home/ls/M2/M2/libraries/topcom/tmp/topcom-0.17.8/configure.ac topcom-0.17.8/configure.ac
--- /home/ls/M2/M2/libraries/topcom/tmp/topcom-0.17.8/configure.ac	2016-09-26 10:03:05.000000000 -0400
+++ topcom-0.17.8/configure.ac	2018-10-23 12:41:18.703021818 -0400
@@ -19,11 +19,9 @@
 dnl Replace `main' with a function in -lstdc++:
 dnl AC_CHECK_LIB(stdc++, main)
 dnl Make libgmp:
-make -C external gmp
+dnl make -C external gmp
 dnl Make libcddgmp:
-make -C external cdd
-dnl Check for soplex:
-AC_CHECK_LIB(soplex, main, , csh -c 'echo soplex not found: --soplex will not work.')
+dnl make -C external cdd
 
 dnl Checks for header files.
 AC_HEADER_STDC

