diff --git a/JS2ECMA-SL/bin/dune b/JS2ECMA-SL/bin/dune new file mode 100644 index 0000000000..82b4f98e5c --- /dev/null +++ b/JS2ECMA-SL/bin/dune @@ -0,0 +1,4 @@ +(install + (files (js2ecma-sl-x86_64-linux as js2ecma-sl)) + (section bin) + (package js2ecma-sl)) diff --git a/dune-project b/dune-project index d7e20dfbf9..ce0674e8ed 100644 --- a/dune-project +++ b/dune-project @@ -49,3 +49,7 @@ (sites (share interpreters) (share nodejs))) + +(package + (name js2ecma-sl) + (synopsis "JavaScript to ecma-sl compiler")) diff --git a/js2ecma-sl.opam b/js2ecma-sl.opam new file mode 100644 index 0000000000..29a70da3b5 --- /dev/null +++ b/js2ecma-sl.opam @@ -0,0 +1,30 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: "JavaScript to ecma-sl compiler" +maintainer: ["José Fragoso Santos"] +authors: ["José Fragoso Santos"] +license: "GPL-3.0-or-later" +homepage: "https://github.com/formalsec/ECMA-SL" +doc: "https://github.com/formalsec.github.io/ECMA-SL" +bug-reports: "https://github.com/formalsec/ECMA-SL/issues" +depends: [ + "dune" {>= "3.2"} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "--promote-install-files=false" + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] + ["dune" "install" "-p" name "--create-install-files" name] +] +dev-repo: "git+https://github.com/formalsec/ECMA-SL.git"