From 861b5065f9a686552c8d7a5c280e8bf12b26fb2d Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 15 May 2024 01:52:53 -0700 Subject: [PATCH] Also install .wasm.map files (#1908) --- .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)