From 7ff8368a42c34e7acd798e3546d4eee9da6aefff Mon Sep 17 00:00:00 2001
From: Luca Versari <veluca93@gmail.com>
Date: Sun, 23 Jun 2024 23:42:20 +0200
Subject: [PATCH] Enable timers + filesystem in libstdc++

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b4759c8..b18f74d 100644
--- a/Makefile
+++ b/Makefile
@@ -92,7 +92,8 @@ build/libstdcxx.BUILT: build/compiler-rt.BUILT
 		../gcc/libstdc++-v3/configure --prefix=${SYSROOT} \
 		--host wasm32-wasi --target wasm32-wasi --build=$(shell $(CC) -dumpmachine) \
 		CC=${WASM_CC} CXX=${WASM_CXX} AR=${WASM_AR} NM=${WASM_NM} \
-		--enable-libstdcxx-threads --enable-shared=off -disable-libstdcxx-dual-abi
+		--enable-libstdcxx-threads --enable-shared=off -disable-libstdcxx-dual-abi \
+		--enable-libstdcxx-filesystem-ts --enable-libstdcxx-time=yes
 	cd build/gcc-build && PATH=${LLVM_HOST}/bin:$$PATH $(MAKE) \
 		CFLAGS_FOR_TARGET="${WASM_CFLAGS} -fsized-deallocation" \
 		CXXFLAGS_FOR_TARGET="${WASM_CXXFLAGS}" install