dune-project

(lang dune 3.17)

(name aslp_web)

(generate_opam_files true)

(source (github katrinafyi/aslp-web))

(authors "Kait Lam")

(maintainers "Kait Lam")

(license Apache-2.0)

(documentation https://katrinafyi.github.io/aslp-web/)

(package
 (name aslp_web)
 (synopsis "Web interface for the ASLp partiel evaluator")
 (depends
   ocaml ; recommended >= 5.1 for tail-rec-mod-cons of List.map
   dune
   aslp_offline_js
   asli
   (js_of_ocaml (>= 5.9.0)) ; Js_of_ocaml.Typed_array.from_genarray api updated
   js_of_ocaml-ppx
   zarith_stubs_js
  )
 (tags ("web" "disassembly")))


(package
 (name aslp_offline_js)
 (authors "Kait Lam" "ailrst")
 (synopsis "Offline lifter generated by ASLp, compiled to Javascript")
 (depends
   ocaml ; recommended >= 5.1 for tail-rec-mod-cons of List.map
   dune
   asli
   (js_of_ocaml (>= 5.9.0)) ; Js_of_ocaml.Typed_array.from_genarray api updated
   js_of_ocaml-ppx
   zarith_stubs_js
  )
 (tags ("javascript" "disassembly")))

; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project