From 3d17ff5a2f4db9d39895497a74baeab0dfdb23ec Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Tue, 19 Feb 2013 13:46:09 +0000
Subject: [PATCH] check for headers cstddef of stddef.h. Some versions of
ipopt need it
[[Imported from SVN: r7940]]
---
m4/ipopt.m4 | 1 +
1 file changed, 1 insertion(+)
diff --git a/m4/ipopt.m4 b/m4/ipopt.m4
index d93c86ab..2829d00f 100644
--- a/m4/ipopt.m4
+++ b/m4/ipopt.m4
@@ -2,6 +2,7 @@
AC_DEFUN([DUNE_IPOPT],[
AC_REQUIRE([AC_PROG_CXX])
+ AC_CHECK_HEADERS(cstddef stddef.h)
AC_ARG_WITH(ipopt,
AC_HELP_STRING([--with-ipopt=PATH],[directory with IPOpt inside]))
--
GitLab