crux-mir translate_libs.sh: Document dlmalloc more

GaloisInc · Dec 7, 2023 · 6e35c1a · 6e35c1a
1 parent 90dd9c1
commit 6e35c1a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/crux-mir/translate_libs.sh b/crux-mir/translate_libs.sh
@@ -97,7 +97,8 @@ echo 'Building addr2line...'
 translate lib/addr2line/src/lib.rs  --crate-name addr2line --cfg 'feature="alloc"' --cfg 'feature="compiler_builtins"' --cfg 'feature="core"' --cfg 'feature="rustc-dep-of-std"' --extern "compiler_builtins=${RLIBS}/libcompiler_builtins.rlib" --extern "gimli=${RLIBS}/libgimli.rlib" --extern "alloc=${RLIBS}/liballoc.rlib" --extern "core=${RLIBS}/libcore.rlib"
 
 # For wasm32 targets which are not emscripten, std depends on dlmalloc because
-# the runtime does not provide an allocator. See lib/std/Cargo.toml.
+# the runtime does not provide an allocator. See lib/std/Cargo.toml and
+# lib/std/src/sys/wasm/alloc.rs
 if [ "$TARGET_ARCH" = "wasm32" ] && [ "$TARGET_OS" != "emscripten" ]; then
   USE_DLMALLOC=yes
   echo 'Building dlmalloc...'