[BuildTools-tickets] [BuildTools] #73: make sure third party projects can be disabled
BuildTools
coin-trac at coin-or.org
Tue Jul 7 04:47:06 EDT 2009
#73: make sure third party projects can be disabled
---------------------+------------------------------------------------------
Reporter: andreasw | Owner: andreasw
Type: defect | Status: new
Priority: minor | Component: configuration tests
Version: 0.5 | Resolution:
Keywords: |
---------------------+------------------------------------------------------
Comment (by stefan):
Setting COIN_SKIP_PROJECT to the corresponding !ThirdParty/XXX directory
seems to work.
At least that's what we do for the binary distribution builds.
Stefan
--
Ticket URL: <https://projects.coin-or.org/BuildTools/ticket/73#comment:1>
BuildTools <http://projects.coin-or.org/BuildTools>
Tools for configuring and compiling COIN-OR codes
More information about the BuildTools-tickets
mailing list