commit 401d1a48a83d4957633c99ca9fb4fd5146876c5e
author Davide Pesavento <davidepesa@gmail.com> Thu Dec 19 21:10:22 2024 -0500
committer Davide Pesavento <davidepesa@gmail.com> Sat Dec 21 01:15:00 2024 -0500
tree 7dc95f3e57124d93042f4f7fb60dfd9f96609b3f
parent 7a6084665b36601c46ed761033728b0b510aca1a

Switch to std::filesystem

Change-Id: I3b8e8adfae9b063f97396d35a5f2296df56a3eb9

wscript

diff --git a/wscript b/wscript
index 11c470e..fda954e 100644
--- a/wscript
+++ b/wscript
@@ -114,7 +114,7 @@
 
     conf.check_cxx(header_name='valgrind/valgrind.h', define_name='HAVE_VALGRIND', mandatory=False)
 
-    conf.check_boost(lib='filesystem program_options', mt=True)
+    conf.check_boost(lib='program_options', mt=True)
     if conf.env.BOOST_VERSION_NUMBER < 107100:
         conf.fatal('The minimum supported version of Boost is 1.71.0.\n'
                    'Please upgrade your distribution or manually install a newer version of Boost.\n'