From 18d1042e7f63e174884f12f21f8bfa13f66984f4 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 19 Sep 2024 11:22:42 -0700 Subject: [PATCH] Revert "Also install .wasm.map files (#1908)" This reverts commit 861b5065f9a686552c8d7a5c280e8bf12b26fb2d. --- .gitignore | 1 - Makefile.config | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 4e8c265d5a..924ccceee7 100644 --- a/.gitignore +++ b/.gitignore @@ -229,7 +229,6 @@ 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 c3602b461c..7546bc3308 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) $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.wasm.map) +WASM_OF_OCAML_TEXT_FILES := $(UNIFIED_BASE_STANDALONE:%=src/ExtractionJsOfOCaml/%.js) 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)