From f15f5cc1f708ae7b27720d3a02e8507d7c191519 Mon Sep 17 00:00:00 2001 From: laggykiller Date: Thu, 29 Feb 2024 01:22:38 +0800 Subject: [PATCH] Also install boost filesystem --- scripts/get_deps.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/get_deps.py b/scripts/get_deps.py index 823586f..471a993 100755 --- a/scripts/get_deps.py +++ b/scripts/get_deps.py @@ -42,7 +42,7 @@ def install_deps(arch: str): options.append("boost/*:without_date_time=True") options.append("boost/*:without_exception=True") options.append("boost/*:without_fiber=True") - options.append("boost/*:without_filesystem=True") + options.append("boost/*:without_filesystem=False") options.append("boost/*:without_graph=True") options.append("boost/*:without_graph_parallel=True") options.append("boost/*:without_iostreams=True")