Skip to content
Snippets Groups Projects
Commit eb71ecdc authored by Oliver Sander's avatar Oliver Sander Committed by sander
Browse files

Bugfix: the user provided path needs to be _pre_pended to PKG_CONFIG_PATH

Otherwise a system-wide installation will always override the
user choice.

[[Imported from SVN: r7627]]
parent 44a34b6e
No related branches found
No related tags found
No related merge requests found
...@@ -31,7 +31,7 @@ AS_IF([test x$with_ipopt != xno], [ ...@@ -31,7 +31,7 @@ AS_IF([test x$with_ipopt != xno], [
IPOPT_LIB_PATH="$IPOPTROOT/lib" IPOPT_LIB_PATH="$IPOPTROOT/lib"
# Check for ipopt and set IPOPT_* # Check for ipopt and set IPOPT_*
export PKG_CONFIG_PATH="$PKG_CONFIG_PATH:$IPOPT_LIB_PATH/pkgconfig" export PKG_CONFIG_PATH="$IPOPT_LIB_PATH/pkgconfig:$PKG_CONFIG_PATH"
PKG_CHECK_MODULES([IPOPT], [ipopt], [ PKG_CHECK_MODULES([IPOPT], [ipopt], [
HAVE_IPOPT="1" HAVE_IPOPT="1"
], [ dnl default rule would fail ], [ dnl default rule would fail
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment