Skip to content

Commit

Permalink
Install js2ecma-sl binary with default installation
Browse files Browse the repository at this point in the history
  • Loading branch information
filipeom committed Jan 23, 2024
1 parent 9450873 commit 749be0d
Show file tree
Hide file tree
Showing 3 changed files with 38 additions and 0 deletions.
4 changes: 4 additions & 0 deletions JS2ECMA-SL/bin/dune
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
(install
(files (js2ecma-sl-x86_64-linux as js2ecma-sl))
(section bin)
(package js2ecma-sl))
4 changes: 4 additions & 0 deletions dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -49,3 +49,7 @@
(sites
(share interpreters)
(share nodejs)))

(package
(name js2ecma-sl)
(synopsis "JavaScript to ecma-sl compiler"))
30 changes: 30 additions & 0 deletions js2ecma-sl.opam
Original file line number Diff line number Diff line change
@@ -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"

0 comments on commit 749be0d

Please sign in to comment.