<pre style='margin:0'>
Perry E. Metzger (pmetzger) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/bf5e2632a4f125a94fe29fe1faec828abe0c87de">https://github.com/macports/macports-ports/commit/bf5e2632a4f125a94fe29fe1faec828abe0c87de</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit bf5e2632a4f125a94fe29fe1faec828abe0c87de
</span>Author: Kirill A. Korinsky <kirill@korins.ky>
AuthorDate: Tue Nov 15 23:23:49 2022 +0100
<span style='display:block; white-space:pre;color:#404040;'> TOPCOM: new port (version 1.1.2)
</span>---
math/TOPCOM/Portfile | 44 ++++++++
math/TOPCOM/files/system-cddlib-qso.diff | 166 +++++++++++++++++++++++++++++++
2 files changed, 210 insertions(+)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/TOPCOM/Portfile b/math/TOPCOM/Portfile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..1d6eb6d72ac
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/TOPCOM/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,44 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup boost 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+name TOPCOM
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version 1.1.2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories math
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license GPL-2+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers {@catap korins.ky:kirill} openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description Triangulations Of Point Configurations and Oriented Matroids
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description {*}${description}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+master_sites https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM-Downloads/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+distname ${name}-[string map {. _} ${version}]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+extract.suffix .tgz
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 145443b533690b34529475661b58703d5be0011e \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 4fb10754ee5b76056441fea98f2c8dee5db6f2984d8c14283b49239ad4378ab6 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 7924000
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+patchfiles system-cddlib-qso.diff
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.cxx_standard 2017
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+configure.cxxflags-append -std=c++17
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+use_autoreconf yes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+autoreconf.args -fvi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib-append port:QSopt_ex \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:cddlib \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:gmp \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:soplex
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+configure.args --enable-soplex \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ --enable-qsoptex
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+livecheck.type regex
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+livecheck.regex "Download ${name}-(\[\\d.\]+)"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+livecheck.url https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM-Downloads/index.html
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/TOPCOM/files/system-cddlib-qso.diff b/math/TOPCOM/files/system-cddlib-qso.diff
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..a5b83ff6a91
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/TOPCOM/files/system-cddlib-qso.diff
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,166 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git configure.ac configure.ac
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index 2372711..a7c62dc 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- configure.ac
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ configure.ac
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -43,8 +43,23 @@ else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ AC_MSG_NOTICE([... done])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-dnl Make libcddgmp:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-make -C external cdd
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++dnl Make cddlib if requested:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++AC_LANG_PUSH(C++)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++AC_CHECK_HEADERS([cddlib/setoper.h])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++AC_CHECK_HEADERS([cddlib/cdd.h], [], [],
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++[#ifdef HAVE_CDDLIB_SETOPER_H
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++# include <cddlib/setoper.h>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++# endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++AC_LANG_POP
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++AM_CONDITIONAL(USE_LOCAL_CDD, [test "x$ac_cv_header_cddlib_cdd_h" = "xno"])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++if test "x$ac_cv_header_cddlib_cdd_h" = "xyes"; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_MSG_NOTICE([system cddlib is used])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_MSG_NOTICE([cddlib/cdd.h not found on system - building cdd locally ...])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ make -C external cdd
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_MSG_NOTICE([... done])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ dnl Check for requests for third-party packages:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ dnl Check for qsopt_ex:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -62,8 +77,17 @@ if test "x$enable_qsoptex" = "xyes"; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ AC_CHECK_LIB([z], [gzopen], [], AC_MSG_NOTICE([compiling without libz]))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ AC_CHECK_LIB([bz2], [BZ2_bzopen], [], AC_MSG_NOTICE([compiling without libbz2]))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- dnl Make libqsopt_ex:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- make -C external qso
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_LANG_PUSH(C++)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_CHECK_HEADERS([qsopt_ex/QSopt_ex.h])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_LANG_POP
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AM_CONDITIONAL(USE_LOCAL_QSOPTEX, [test "x$ac_cv_header_qsopt_ex_QSopt_ex_h" = "xno"])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ if test "x$ac_cv_header_qsopt_ex_QSopt_ex_h" = "xyes"; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_MSG_NOTICE([system QSopt_ex is used])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_MSG_NOTICE([qsopt_ex/QSopt_ex.h not found on system - building cddQSopt_exlocally ...])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ make -C external qso
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_MSG_NOTICE([... done])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ AC_MSG_RESULT(no)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -77,12 +101,23 @@ AC_ARG_ENABLE([soplex],
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if test "x$enable_soplex" = "xyes"; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ AC_MSG_RESULT(yes)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- dnl Check for compression library (soplex needs it):
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- AC_CHECK_LIB([z], [gzopen], [LIBS="-lsoplex $LIBS"; AC_DEFINE(HAVE_LIBSOPLEX)], AC_MSG_NOTICE([libz missing => soplex not enabled]))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_LANG_PUSH(C++)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_CHECK_HEADERS([soplex.h])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_LANG_POP
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AM_CONDITIONAL(USE_SOPLEX, [test "x$ac_cv_header_soplex_h" = "xyes"])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ if test "x$ac_cv_header_soplex_h" = "xyes"; then
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_MSG_NOTICE([system soplex is used])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_MSG_NOTICE([soplex.h not found on system - using external ...])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ dnl Check for compression library (soplex needs it):
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_CHECK_LIB([z], [gzopen], [LIBS="-lsoplex $LIBS"; AC_DEFINE(HAVE_LIBSOPLEX)], AC_MSG_NOTICE([libz missing => soplex not enabled]))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ AC_MSG_NOTICE([... done])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ AC_MSG_RESULT(no)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ fi
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-AM_CONDITIONAL(USE_SOPLEX, [test "x$ac_cv_lib_z_gzopen" = "xyes" -a "x$enable_soplex" = "xyes"])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++AM_CONDITIONAL(USE_LOCAL_SOPLEX, [test "x$ac_cv_lib_z_gzopen" = "xyes" -a "x$enable_soplex" = "xyes"])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ dnl Check for Permlib:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ dnl AC_MSG_CHECKING(whether permlib support was enabled)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git lib-src-reg/LPinterface.hh lib-src-reg/LPinterface.hh
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index 6522dbe..c376887 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- lib-src-reg/LPinterface.hh
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ lib-src-reg/LPinterface.hh
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -21,8 +21,8 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #include "LabelSet.hh"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #include "Rational.h"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-#include "setoper.h"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-#include "cdd.h"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#include "cddlib/setoper.h"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#include "cddlib/cdd.h"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ namespace topcom {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git src-reg/Makefile.am src-reg/Makefile.am
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index ed4a016..c017871 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- src-reg/Makefile.am
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ src-reg/Makefile.am
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -3,15 +3,30 @@ bin_PROGRAMS = checkregularity
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ checkregularity_SOURCES = checkregularity.cc
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ LDADD = ../lib-src/libTOPCOM.a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- ../lib-src-reg/libCHECKREG.a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- ../external/lib/libcddgmp.a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ ../lib-src-reg/libCHECKREG.a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++if USE_LOCAL_CDD
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++LDADD += ../external/lib/libcddgmp.a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++LIBS += -lcddgmp -lcdd
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if USE_QSOPTEX
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++if USE_LOCAL_QSOPTEX
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ LDADD += ../external/lib/libqsopt_ex.a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++LIBS += -lqsopt_ex
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if USE_SOPLEX
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++LIBS += -lsoplexshared
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++if USE_LOCAL_SOPLEX
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ LDADD += ../external/lib/libsoplex.a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if USE_LOCAL_GMP
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ LDADD += ../external/lib/libgmpxx.a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ../external/lib/libgmp.a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git src/Makefile.am src/Makefile.am
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index c97ecc5..4b26e1a 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- src/Makefile.am
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ src/Makefile.am
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -122,14 +122,30 @@ santos_dim4_triang_SOURCES = santos_dim4_triang.cc
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ santos_22_triang_SOURCES = santos_22_triang.cc
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ LDADD = ../lib-src/libTOPCOM.a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- ../lib-src-reg/libCHECKREG.a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- ../external/lib/libcddgmp.a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ ../lib-src-reg/libCHECKREG.a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++if USE_LOCAL_CDD
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++LDADD += ../external/lib/libcddgmp.a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++LIBS += -lcddgmp -lcdd
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if USE_QSOPTEX
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++if USE_LOCAL_QSOPTEX
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ LDADD += ../external/lib/libqsopt_ex.a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++LIBS += -lqsopt_ex
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if USE_SOPLEX
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++LIBS += -lsoplexshared
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++if USE_LOCAL_SOPLEX
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ LDADD += ../external/lib/libsoplex.a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if USE_LOCAL_GMP
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ LDADD += ../external/lib/libgmpxx.a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ../external/lib/libgmp.a
</span></pre><pre style='margin:0'>
</pre>