File tree Expand file tree Collapse file tree 7 files changed +62
-16
lines changed Expand file tree Collapse file tree 7 files changed +62
-16
lines changed Original file line number Diff line number Diff line change @@ -9,11 +9,11 @@ concrete syntax trees are built using constructors according to the
99shell grammar of the POSIX standard.
1010"""
1111
12- maintainer: "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>"
12+ maintainer: "Nicolas Jeannerod <niols@niols .fr>"
1313authors: [
1414 "Yann Régis-Gianas <
[email protected] >"
1515 "Ralf Treinen <
[email protected] >"
16- "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>"
16+ "Nicolas Jeannerod <niols@niols .fr>"
1717]
1818license: "GPL-3.0-only"
1919
@@ -26,8 +26,9 @@ depends: [
2626 "menhir" {>= "20180538"}
2727 "ocaml" {>= "4.04"}
2828 "odoc" {with-doc}
29+ "ppx_deriving" {>= "5.0"}
2930 "ppx_deriving_yojson"
30- "visitors" {>= "20180513 "}
31+ "visitors" {>= "20200207 "}
3132 "yojson" {< "2.0.0"}
3233]
3334
Original file line number Diff line number Diff line change @@ -9,11 +9,11 @@ concrete syntax trees are built using constructors according to the
99shell grammar of the POSIX standard.
1010"""
1111
12- maintainer: "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>"
12+ maintainer: "Nicolas Jeannerod <niols@niols .fr>"
1313authors: [
1414 "Yann Régis-Gianas <
[email protected] >"
1515 "Ralf Treinen <
[email protected] >"
16- "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>"
16+ "Nicolas Jeannerod <niols@niols .fr>"
1717]
1818license: "GPL-3.0-only"
1919
@@ -26,8 +26,9 @@ depends: [
2626 "menhir" {>= "20180538"}
2727 "ocaml" {>= "4.04"}
2828 "odoc" {with-doc}
29+ "ppx_deriving" {>= "5.0"}
2930 "ppx_deriving_yojson"
30- "visitors" {>= "20180513 "}
31+ "visitors" {>= "20200207 "}
3132 "yojson" {>= "1.6.0" & < "2.0.0"}
3233]
3334
Original file line number Diff line number Diff line change 1+ opam-version: "2.0"
2+
3+ synopsis: "A trustworthy parser for POSIX shell"
4+ description: """
5+ Morbig is a parser for shell scripts written in the POSIX shell script
6+ language. It parses the scripts statically, that is without executing
7+ them, and constructs a concrete syntax tree for each of them. The
8+ concrete syntax trees are built using constructors according to the
9+ shell grammar of the POSIX standard.
10+ """
11+
12+ maintainer: "Nicolas Jeannerod <
[email protected] >"
13+ authors: [
14+ "Yann Régis-Gianas <
[email protected] >"
15+ "Ralf Treinen <
[email protected] >"
16+ "Nicolas Jeannerod <
[email protected] >"
17+ ]
18+ license: "GPL-3.0-only"
19+
20+ homepage: "https://github.com/colis-anr/morbig"
21+ bug-reports: "https://github.com/colis-anr/morbig/issues"
22+ dev-repo: "git+https://github.com/colis-anr/morbig.git"
23+
24+ depends: [
25+ "dune" {>= "2.5.0"}
26+ "menhir" {>= "20200211"}
27+ "ocaml" {>= "4.11"}
28+ "odoc" {with-doc}
29+ "ppx_deriving_yojson"
30+ "visitors" {>= "20200207"}
31+ "yojson" {>= "1.6.0"}
32+ "conf-jq" {with-test}
33+ ]
34+
35+ build: [make "build"]
36+ run-test: [make "check"]
37+
38+ url {
39+ src: "https://github.com/colis-anr/morbig/archive/v0.11.0.tar.gz"
40+ checksum: [
41+ "md5=8829a7d682d7182c3d066b9ee42dec40"
42+ "sha512=ed3fc21e6e9840a1a11f57cc34e9cd7f767227281c5822dd324f4b583a6ed126a22c9b79f3b3cf7b0dbdf6ff9c065e2ca25984e56aff9bd7f6ca41ec393525f9"
43+ ]
44+ }
Original file line number Diff line number Diff line change @@ -9,11 +9,11 @@ concrete syntax trees are built using constructors according to the
99shell grammar of the POSIX standard.
1010"""
1111
12- maintainer: "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>"
12+ maintainer: "Nicolas Jeannerod <niols@niols .fr>"
1313authors: [
1414 "Yann Régis-Gianas <
[email protected] >"
1515 "Ralf Treinen <
[email protected] >"
16- "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>"
16+ "Nicolas Jeannerod <niols@niols .fr>"
1717]
1818license: "GPL-3.0-only"
1919
Original file line number Diff line number Diff line change @@ -9,11 +9,11 @@ concrete syntax trees are built using constructors according to the
99shell grammar of the POSIX standard.
1010"""
1111
12- maintainer: "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>"
12+ maintainer: "Nicolas Jeannerod <niols@niols .fr>"
1313authors: [
1414 "Yann Régis-Gianas <
[email protected] >"
1515 "Ralf Treinen <
[email protected] >"
16- "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>"
16+ "Nicolas Jeannerod <niols@niols .fr>"
1717]
1818license: "GPL-3.0-only"
1919
Original file line number Diff line number Diff line change @@ -7,8 +7,8 @@ A concise AST for POSIX shell
77
88license: "GPL-3.0-only"
99
10- maintainer: "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>"
11- authors: [ "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>" ]
10+ maintainer: "Nicolas Jeannerod <niols@niols .fr>"
11+ authors: [ "Nicolas Jeannerod <niols@niols .fr>" ]
1212
1313homepage: "https://github.com/colis-anr/morsmall"
1414bug-reports: "https://github.com/colis-anr/morsmall/issues"
Original file line number Diff line number Diff line change @@ -5,8 +5,8 @@ description: """
55A concise AST for POSIX shell
66"""
77
8- maintainer: "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>"
9- authors: [ "Nicolas Jeannerod <nicolas.jeannerod@irif .fr>" ]
8+ maintainer: "Nicolas Jeannerod <niols@niols .fr>"
9+ authors: [ "Nicolas Jeannerod <niols@niols .fr>" ]
1010license: "GPL-3.0-only"
1111
1212homepage: "https://github.com/colis-anr/morsmall"
@@ -15,9 +15,9 @@ dev-repo: "git+https://github.com/colis-anr/morsmall.git"
1515
1616depends: [
1717 "dune"
18- "morbig" {>= "0.10.0"}
18+ "morbig" {>= "0.10.0" & < "0.11.0" }
1919 "ocaml" {>= "4.04"}
20- "ppx_deriving"
20+ "ppx_deriving" {>= "5.0"}
2121]
2222
2323build: [
You can’t perform that action at this time.
0 commit comments