From 98719765df9d1145d7b3193c50b4fc10f989d5e7 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Tue, 19 Feb 2013 13:45:23 +0000
Subject: [PATCH] Don't try to link against ipopt if pkg-config already found
 it.

Because we trust pkg-config.  If it says that ipopt is there,
then it is there.

[[Imported from SVN: r7939]]
---
 m4/ipopt.m4 | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/m4/ipopt.m4 b/m4/ipopt.m4
index 78f082b0..d93c86ab 100644
--- a/m4/ipopt.m4
+++ b/m4/ipopt.m4
@@ -47,19 +47,6 @@ AS_IF([test x$with_ipopt != xno], [
     CPPFLAGS="$CPPFLAGS $IPOPT_CPPFLAGS"
     LIBS="$LIBS $IPOPT_LIBS"
 
-    AC_LANG_PUSH([C++])
-
-    # if header is found...
-    AS_IF([test x$HAVE_IPOPT = x1], [
-       AC_LINK_IFELSE([AC_LANG_PROGRAM(
-	    [#include "IpIpoptApplication.hpp"],
-	    [Ipopt::SmartPtr<Ipopt::IpoptApplication> app = new Ipopt::IpoptApplication();])],
-	[],
-	[HAVE_IPOPT="0"
-	AC_MSG_WARN(IPOpt does not seem to work!)])
-    ])
-
-    AC_LANG_POP([C++])
 ])
 
 with_ipopt="no"
-- 
GitLab