Merge pull request #659 from hacspec/fix-506

fix(nix/): engine: js: allow `dune-js`, make only one output
hacspec · May 13, 2024 · 5a56523 · 5a56523
2 parents b70d990 + 9498a5c
commit 5a56523
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/engine/default.nix b/engine/default.nix
@@ -43,7 +43,7 @@
     pname = "hax-engine";
     version = "0.0.1";
     duneVersion = "3";
-    src = lib.sourceFilesBySuffices ./. [".ml" ".mli" ".js" "dune" "dune-project" "sh" "rs" "mld"];
+    src = lib.sourceFilesBySuffices ./. [".ml" ".mli" ".js" "dune" "dune-js" "dune-project" "sh" "rs" "mld"];
     buildInputs = with ocamlPackages;
       [
         zarith_stubs_js
@@ -110,6 +110,7 @@
       js = hax-engine.overrideAttrs (old: {
         name = "hax-engine.js";
         nativeBuildInputs = old.nativeBuildInputs ++ [closurecompiler gnused];
+        outputs = ["out"];
         buildPhase = ''
           # Enable JS build
           sed -i "s/; (include dune-js)/(include dune-js)/g" bin/dune