Osi-destdir.patch

   1 --- Osi-0.106.10/Osi/Makefile.am.orig   2011-10-13 22:35:48.000000000 +0200
   2 +++ Osi-0.106.10/Osi/Makefile.am        2014-12-04 18:37:38.506811310 +0100
   3 @@ -104,7 +104,7 @@
   4  install-data-hook:
   5         @$(mkdir_p) "$(addlibsdir)"
   6  if COIN_HAS_PKGCONFIG
   7 -       PKG_CONFIG_PATH=@COIN_PKG_CONFIG_PATH@ \
   8 +       PKG_CONFIG_PATH="$$(echo @COIN_PKG_CONFIG_PATH@ | sed -e "s@^@$(DESTDIR)@;s@:@:$(DESTDIR)@g")" \
   9         $(PKG_CONFIG) --libs osi > $(addlibsdir)/osi_addlibs.txt
  10  else
  11  if COIN_CXX_IS_CL