aslp_offline_js: init at 0-unstable-2025-02-05, and add to aslp_web

Author: katrinafyi

aslp/aslp_offline_js.nix

@@ -0,0 +1,38 @@
+{ lib
+, fetchFromGitHub
+, buildDunePackage
+  # pkgs
+  # ocamlPackages
+, aslp_web
+, zarith_stubs_js
+, js_of_ocaml
+, js_of_ocaml-ppx
+  # for testing
+, testers
+, aslp_offline
+}:
+
+buildDunePackage {
+  pname = "aslp_offline_js";
+  version = aslp_web.version;
+
+  minimalOCamlVersion = "5.0";
+
+  src = aslp_web.src;
+
+  checkInputs = [ ];
+  nativeCheckInputs = [ ];
+  buildInputs = [ js_of_ocaml-ppx ];
+  nativeBuildInputs = [ js_of_ocaml ];
+  propagatedBuildInputs = [ aslp_offline js_of_ocaml zarith_stubs_js ];
+
+  doCheck = true;
+
+  outputs = [ "out" "dev" ];
+
+  meta = {
+    homepage = "https://github.com/katrinafyi/aslp-web";
+    description = "AArch64 lifter generated by ASLp by offline partial evaluation (offline lifter component)";
+    maintainers = with lib.maintainers; [ katrinafyi ];
+  };
+}

aslp/aslp_web.nix

@@ -3,10 +3,11 @@
 , buildDunePackage
 , nix-gitignore
 , asli
+, aslp_offline_js
 , js_of_ocaml
 , js_of_ocaml-ppx
 , js_of_ocaml-compiler
-, zarith_stubs_js 
+, zarith_stubs_js
 , nodejs-slim
 , python3
 }:
@@ -15,7 +16,7 @@ buildDunePackage rec {
   pname = "aslp_web";
   version = "0-unstable-2025-02-05";
 
-  buildInputs = [ asli js_of_ocaml js_of_ocaml-ppx zarith_stubs_js ];
+  propagatedBuildInputs = [ asli js_of_ocaml js_of_ocaml-ppx zarith_stubs_js aslp_offline_js ];
   nativeBuildInputs = [ python3 js_of_ocaml-compiler nodejs-slim ];
 
   src = fetchFromGitHub {

aslp/overlay.nix

@@ -8,6 +8,7 @@ final: prev:
   inherit (final.ocamlPackages_pac_5) aslp-server;
   inherit (final.ocamlPackages_pac_5) aslp_client_server_ocaml;
   inherit (final.ocamlPackages_pac_5) aslp_offline;
+  inherit (final.ocamlPackages_pac_5) aslp_offline_js;
 
   overlay_ocamlPackages = ofinal: oprev: {
     asli = ofinal.callPackage ./asli.nix { inherit (final) z3; ocaml_z3 = ofinal.z3; };
@@ -17,7 +18,8 @@ final: prev:
     aslp_server_http = ofinal.aslp-server;
 
 
-    aslp_offline = ofinal.callPackage ./aslp_offline.nix {};
+    aslp_offline = ofinal.callPackage ./aslp_offline.nix { };
+    aslp_offline_js = ofinal.callPackage ./aslp_offline_js.nix { zarith_stubs_js = ofinal.zarith_stubs_js_0_17; };
 
     zarith_stubs_js_0_17 = ofinal.callPackage ./zarith_stubs_js.nix { };
     aslp_web = ofinal.callPackage ./aslp_web.nix { zarith_stubs_js = ofinal.zarith_stubs_js_0_17; };