2023-02-10 02:57:07 +08:00
|
|
|
diff --git a/src/tools/emscripten.jam b/src/tools/emscripten.jam
|
2024-07-24 08:59:06 +08:00
|
|
|
index 28175f6..c3c9968 100644
|
2023-02-10 02:57:07 +08:00
|
|
|
--- a/src/tools/emscripten.jam
|
|
|
|
+++ b/src/tools/emscripten.jam
|
2024-07-24 08:59:06 +08:00
|
|
|
@@ -7,12 +7,16 @@
|
2023-02-10 02:57:07 +08:00
|
|
|
import feature ;
|
|
|
|
import os ;
|
|
|
|
import toolset ;
|
|
|
|
+import generators ;
|
|
|
|
import common ;
|
|
|
|
import type ;
|
2024-07-24 08:59:06 +08:00
|
|
|
import version ;
|
2023-02-10 02:57:07 +08:00
|
|
|
|
|
|
|
feature.extend toolset : emscripten ;
|
|
|
|
|
|
|
|
+generators.override builtin.lib-generator : emscripten.prebuilt ;
|
|
|
|
+generators.override emscripten.searched-lib-generator : searched-lib-generator ;
|
|
|
|
+
|
2024-07-24 08:59:06 +08:00
|
|
|
feature.feature embind : off on : propagated ;
|
|
|
|
feature.feature closure : off on full : propagated ;
|
|
|
|
feature.feature link-optimization : off on full : propagated ;
|