From 8f015e8ee8980a7533d2829df6a7d6eccd155533 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 12 May 2024 20:38:21 -0700 Subject: [PATCH] Also install .wasm.map files --- .gitignore | 1 + Makefile.config | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 924ccceee7..4e8c265d5a 100644 --- a/.gitignore +++ b/.gitignore @@ -229,6 +229,7 @@ fiat-html/wasm_fiat_crypto.js fiat-html/wasm_fiat_crypto.wat fiat-html/wasm_fiat_crypto.wat.gz fiat-html/wasm_fiat_crypto.wasm +fiat-html/wasm_fiat_crypto.wasm.map fiat-html/version.js /Makefile.test-amd64-files.mk diff --git a/Makefile.config b/Makefile.config index 7546bc3308..c3602b461c 100644 --- a/Makefile.config +++ b/Makefile.config @@ -83,7 +83,7 @@ UNIFIED_HASKELL_BINARIES := $(UNIFIED_BASE_STANDALONE:%=src/ExtractionHaskell/%) SEPARATE_HASKELL_BINARIES := $(SEPARATE_BASE_STANDALONE:%=src/ExtractionHaskell/%) HASKELL_BINARIES := $(UNIFIED_HASKELL_BINARIES) $(SEPARATE_HASKELL_BINARIES) JS_OF_OCAML_FILES := $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.js) $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.map) -WASM_OF_OCAML_TEXT_FILES := $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.js) +WASM_OF_OCAML_TEXT_FILES := $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.js) $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.wasm.map) WASM_OF_OCAML_BINARY_FILES := $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.wasm) $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.wat.gz) WASM_OF_OCAML_FILES := $(WASM_OF_OCAML_TEXT_FILES) $(WASM_OF_OCAML_BINARY_FILES)