commit 399f4d92eb0b23af1fe42c578fa496088eb6d625
author Davide Pesavento <davidepesa@gmail.com> Sun Sep 17 14:03:51 2023 -0400
committer Davide Pesavento <davidepesa@gmail.com> Sun Sep 17 14:03:51 2023 -0400
tree 84686b1630d0ddcda14c4991ae5e5ea4d741ee38
parent 4cd7801bd6865cdbdd985504eebecf6f8503b52d

build: more accurate dependencies on Boost libraries

See also named-data/ndn-cxx@5686c51b87b6a642aa2dc8d93e061caebbb226cc

Change-Id: I44f01b8dad76bf835d05f920a7943eeae3eb8c6f

tools/wscript

diff --git a/tools/wscript b/tools/wscript
index 8fe7229..a4f1dbe 100644
--- a/tools/wscript
+++ b/tools/wscript
@@ -6,6 +6,6 @@
     for tool in bld.path.ant_glob('*.cpp'):
         name = tool.change_ext('').path_from(bld.path.get_bld())
         bld.program(name=name,
-                    target='../bin/%s' % name,
+                    target=f'{top}/bin/{name}',
                     source=[tool],
-                    use='repo-objects')
+                    use='BOOST_TOOLS repo-objects')