Make cardano-wasm-golden test build in nix

Author: carbolymer

cabal.project

@@ -29,6 +29,10 @@ if impl(ghc < 9.8)
 
 constraints: process >= 1.6.26.1
 
+-- this slows down the build plan preparation, but it seems that without it
+-- cabal has problems with resolving dependencies
+max-backjumps: 50000
+
 program-options
   ghc-options: -Werror
 

cardano-wasm/cardano-wasm.cabal

@@ -62,14 +62,14 @@ executable cardano-wasm
       ghc-experimental,
       utf8-string,
 
-test-suite cardano-wasm-test
+test-suite cardano-wasm-golden
   import: project-config
   hs-source-dirs: test
-  main-is: cardano-wasm-test.hs
+  main-is: cardano-wasm-golden.hs
   type: exitcode-stdio-1.0
   build-depends:
-    hedgehog,
-    hedgehog-extras,
+    hedgehog >=1.1,
+    hedgehog-extras ^>=0.8,
     tasty,
     tasty-hedgehog,
 

cardano-wasm/test/Test/Golden/Cardano/Wasm/TypeScript.hs

@@ -1,11 +1,10 @@
 module Test.Golden.Cardano.Wasm.TypeScript where
 
-import Hedgehog (Property)
-import Hedgehog.Extras (defaultExecConfig, exec)
+import Hedgehog as H
 import Hedgehog.Extras qualified as H
 
 hprop_cardano_wasm_typescript_declarations_match_generated :: Property
 hprop_cardano_wasm_typescript_declarations_match_generated =
   H.propertyOnce $ do
-    result <- exec defaultExecConfig "cardano-wasm" []
+    result <- H.execFlex "cardano-wasm" "CARDANO_WASM" []
     H.diffVsGoldenFile result "example/cardano-api.d.ts"

cardano-wasm/test/cardano-wasm-test.hs cardano-wasm/test/cardano-wasm-golden.hscardano-wasm/test/cardano-wasm-test.hs renamed to cardano-wasm/test/cardano-wasm-golden.hs

@@ -16,6 +16,7 @@
     nixpkgs.url = "github:NixOS/nixpkgs/4284c2b73c8bce4b46a6adf23e16d9e2ec8da4bb";
     iohkNix.url = "github:input-output-hk/iohk-nix";
     flake-utils.url = "github:hamishmack/flake-utils/hkm/nested-hydraJobs";
+    incl.url = "github:divnix/incl";
     # non-flake nix compatibility
     flake-compat = {
       url = "github:edolstra/flake-compat";
@@ -137,7 +138,7 @@
           # package customizations as needed. Where cabal.project is not
           # specific enough, or doesn't allow setting these.
           modules = [
-            ({pkgs, ...}: {
+            ({...}: {
               packages.cardano-api = {
                 configureFlags = ["--ghc-option=-Werror"];
                 components = {
@@ -149,6 +150,17 @@
                 };
               };
             })
+            ({pkgs, config, ...}: let
+              generatedExampleFiles = ["cardano-wasm/example/cardano-api.d.ts"];
+              exportWasmPath = "export CARDANO_WASM=${config.hsPkgs.cardano-wasm.components.exes.cardano-wasm}/bin/cardano-wasm${pkgs.stdenv.hostPlatform.extensions.executable}";
+            in {
+              packages.cardano-wasm.components.tests.cardano-wasm-golden.preCheck = let
+                filteredProjectBase = inputs.incl ./. generatedExampleFiles;
+              in ''
+                ${exportWasmPath}
+                cp -r ${filteredProjectBase}/* ..
+              '';
+            })
             {
               packages.crypton-x509-system.postPatch = ''
                 substituteInPlace crypton-x509-system.cabal --replace 'Crypt32' 'crypt32'