diff options
| author | Peter Dimov <pdimov@gmail.com> | 2019-10-23 02:58:18 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2019-10-23 02:58:18 +0300 |
| commit | f5fecfc1dca4a3f517804e7d270017732e5b8738 (patch) | |
| tree | d26d98f11faebdfd3bb94511a25639bda1d114ce | |
| parent | 7d0f04801fb4d5ed741750bc45c3194c3442995e (diff) | |
| download | boost-feature/boost-install-reqs.tar.gz | |
Add a requirements parameter to boost-installfeature/boost-install-reqs
| -rw-r--r-- | Jamroot | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -303,9 +303,9 @@ if [ path.exists $(BOOST_ROOT)/libs/wave/tool/build ] # # - libraries -- list of library targets to install. -rule boost-install ( libraries * ) +rule boost-install ( libraries * : requirements ? ) { - boost-install.boost-install $(libraries) ; + boost-install.boost-install $(libraries) : $(requirements) ; } # Creates a library target, adding autolink support and also creates |