[BuildTools-tickets] [BuildTools] #104: make install fails with DESTDIR and pkg-config

[BuildTools]

#104: make install fails with DESTDIR and pkg-config
-------------------+---------------------------
Reporter:  mlubin  |       Owner:  stefan
    Type:  defect  |      Status:  closed
Priority:  major   |   Component:  build system
 Version:  0.7     |  Resolution:  migrated
Keywords:          |
-------------------+---------------------------
Changes (by stefan):

 * status:  new => closed
 * resolution:   => migrated


Comment:

 Ticket has been migrated to !GitHub and will be resolved there:
 https://github.com/coin-or-tools/BuildTools/issues/104

--
Ticket URL: <https://projects.coin-or.org/BuildTools/ticket/104#comment:1>
BuildTools <http://projects.coin-or.org/BuildTools>
Tools for configuring and compiling COIN-OR codes