Disable plutus executable build for wasm (#7186)

palas · web-flow · commit c6c735008ea9 · 2025-07-09T17:08:50.000-07:00
diff --git a/cabal.project b/cabal.project
@@ -43,6 +43,10 @@ test-show-details: direct
 package plutus-core
   flags: +with-inline-r +with-cert
 
+if arch(wasm32)
+  package plutus-core
+    flags: +do-not-build-plutus-exec
+
 -- Various dependencies of coq don't work when cross building for windows
 if os(windows)
   -- Note: we enable this and then disable it conditionally, rather than enabling
diff --git a/plutus-core/changelog.d/20250707_193702_pablo.lamela_disable_exec_for_wasm.md b/plutus-core/changelog.d/20250707_193702_pablo.lamela_disable_exec_for_wasm.md
@@ -0,0 +1,4 @@
+### Changed
+
+- Disable Plutus executable build for wasm
+

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +### Changed
++
 +- Disable Plutus executable build for wasm
++