ci: add javascript tests to nix flake check

default.nix

@@ -1,4 +1,4 @@
-{lib, stdenv, which, fstar, fstar-dune, z3, ocamlPackages, comparse, dolev-yao-star, fetchFromGitHub}:
+{lib, stdenv, which, fstar, fstar-dune, z3, nodejs_20, ocamlPackages, comparse, dolev-yao-star, hacl-star-src, hacl-packages-src, fetchFromGitHub}:
 
 let
   mls-star = stdenv.mkDerivation {
@@ -92,25 +92,36 @@ let
       ]
     ;
     enableParallelBuilding = true;
-    buildFlags = "build";
-    buildInputs =
-      [ which fstar z3 ]
-      ++ (with ocamlPackages; [
-        ocaml dune_3 findlib yojson hacl-star
-        js_of_ocaml js_of_ocaml-ppx integers_stubs_js
-      ])
-      ++ (fstar-dune.buildInputs);
-    COMPARSE_HOME = comparse;
-    DY_HOME = dolev-yao-star;
     # pre-patch uses build output from mls-star, to avoid building things twice
     prePatch = ''
+      patchShebangs js/import.sh
       cp -pr --no-preserve=mode ${mls-star-tests}/cache ${mls-star-tests}/ml .
       mkdir obj
       cp -p ml/lib/src/* obj/
     '';
+    buildPhase = ''
+      make build
+      (cd js; ./import.sh)
+    '';
+    doCheck = true;
+    checkPhase = ''
+      cd js
+      node index.js
+    '';
     installPhase = ''
       touch $out
     '';
+    buildInputs =
+      [ which fstar z3 nodejs_20 ]
+      ++ (with ocamlPackages; [
+        ocaml dune_3 findlib yojson hacl-star
+        js_of_ocaml js_of_ocaml-ppx integers_stubs_js
+      ])
+      ++ (fstar-dune.buildInputs);
+    COMPARSE_HOME = comparse;
+    DY_HOME = dolev-yao-star;
+    HACL_HOME = hacl-star-src;
+    HACL_PACKAGES_HOME = hacl-packages-src;
   };
 
 in

flake.nix

@@ -13,9 +13,19 @@
       url = "github:prosecco/dolev-yao-star";
       flake = false;
     };
+
+    hacl-star-src = {
+      url = "github:hacl-star/hacl-star";
+      flake = false;
+    };
+
+    hacl-packages-src = {
+      url = "github:cryspen/hacl-packages";
+      flake = false;
+    };
   };
 
-  outputs = {self, nixpkgs, fstar-flake, comparse-flake, dolev-yao-star-src}:
+  outputs = {self, nixpkgs, fstar-flake, comparse-flake, dolev-yao-star-src, hacl-star-src, hacl-packages-src}:
   let
     system = "x86_64-linux";
     pkgs = import nixpkgs { inherit system; };
@@ -24,7 +34,7 @@
     fstar-dune = fstar-flake.packages.${system}.fstar-dune;
     comparse = comparse-flake.packages.${system}.comparse;
     dolev-yao-star = dolev-yao-star-src;
-    mls-star = pkgs.callPackage ./default.nix {inherit fstar fstar-dune z3 comparse dolev-yao-star; ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_14;};
+    mls-star = pkgs.callPackage ./default.nix {inherit fstar fstar-dune z3 comparse dolev-yao-star hacl-star-src hacl-packages-src; ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_14;};
   in {
     packages.${system} = {
       default = mls-star;

js/import.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -e
 set -o pipefail
 set -x