diff options
Diffstat (limited to 'build')
| -rwxr-xr-x | build | 17 |
1 files changed, 12 insertions, 5 deletions
| @@ -126,13 +126,20 @@ DFLAGS="-DDEBUG -g3 $(parsesanitize "$SANITIZE")" | |||
| 126 | MFLAGS="-DTHREADS=$THREADS -D$ARCH" | 126 | MFLAGS="-DTHREADS=$THREADS -D$ARCH" |
| 127 | CPPFLAGS="-std=c++20 -pthread" | 127 | CPPFLAGS="-std=c++20 -pthread" |
| 128 | 128 | ||
| 129 | # TODO: | ||
| 130 | # MEMORY64 is supported on Firefox (from version 134) and Chrome (from 133), | ||
| 131 | # but not on Safari (nor on e.g. Firefox 128 ESR, current default on Debian). | ||
| 132 | # See also https://webassembly.org/features | ||
| 133 | # When it becomes widely available, we can support it by adding -sMEMORY64 | ||
| 134 | # to the WASMCFLAGS, WASMCPPFLAGS and WASMLINKFLAGS variables below, and | ||
| 135 | # -sMAXIMUM_MEMORY=10737418240 to WASMLINKFLAGS. This way we can enable | ||
| 136 | # solvers larger than h48h6k2 in the web version. | ||
| 137 | |||
| 129 | # Build flags for emscripten (WASM target) | 138 | # Build flags for emscripten (WASM target) |
| 130 | WASMCFLAGS="-std=c11 -fPIC -D_POSIX_C_SOURCE=199309L -pthread \ | 139 | WASMCFLAGS="-std=c11 -fPIC -D_POSIX_C_SOURCE=199309L -pthread" |
| 131 | -sMEMORY64 -sMAXIMUM_MEMORY=10737418240 -sASSERTIONS" | 140 | WASMCPPFLAGS="-std=c++20 -pthread" |
| 132 | WASMCPPFLAGS="-std=c++20 -pthread -sMEMORY64 -sMAXIMUM_MEMORY=10737418240 \ | ||
| 133 | -sASSERTIONS" | ||
| 134 | WASMMFLAGS="-DTHREADS=$THREADS -DWASMSIMD" | 141 | WASMMFLAGS="-DTHREADS=$THREADS -DWASMSIMD" |
| 135 | WASMLINKFLAGS="--no-entry -sEXPORT_NAME='Nissy' -sMODULARIZE -sMEMORY64 \ | 142 | WASMLINKFLAGS="--no-entry -sEXPORT_NAME='Nissy' -sMODULARIZE |
| 136 | -sALLOW_MEMORY_GROWTH -sSTACK_SIZE=5MB -sPTHREAD_POOL_SIZE=$THREADS \ | 143 | -sALLOW_MEMORY_GROWTH -sSTACK_SIZE=5MB -sPTHREAD_POOL_SIZE=$THREADS \ |
| 137 | -sFETCH -sASYNCIFY -sLINKABLE -sEXPORT_ALL" | 144 | -sFETCH -sASYNCIFY -sLINKABLE -sEXPORT_ALL" |
| 138 | 145 | ||
