Skip to content

Commit db410b4

Browse files
authored
Merge pull request #24408 from chetmurthy/update-pa_ppx-suite-remove-pcre
update pa_ppx suite (hashcons,migrate,unique,static,regexp}
2 parents b517c0f + ce18917 commit db410b4

File tree

6 files changed

+213
-1
lines changed
  • packages
    • pa_ppx_hashcons/pa_ppx_hashcons.0.11
    • pa_ppx_migrate/pa_ppx_migrate.0.11
    • pa_ppx_regexp
      • pa_ppx_regexp.0.01
      • pa_ppx_regexp.0.02
    • pa_ppx_static/pa_ppx_static.0.02
    • pa_ppx_unique/pa_ppx_unique.0.11

6 files changed

+213
-1
lines changed
Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
2+
synopsis: "A PPX Rewriter for Hashconsing"
3+
description:
4+
"""
5+
This is a PPX Rewriter for generating hashconsing implementations
6+
of ASTs, mechanizing the ideas and code of Jean-Christophe Filliatre
7+
and Sylvain Conchon.
8+
9+
"""
10+
opam-version: "2.0"
11+
maintainer: "Chet Murthy <[email protected]>"
12+
authors: ["Chet Murthy"]
13+
homepage: "https://github.com/camlp5/pa_ppx_hashcons"
14+
license: "BSD-3-Clause"
15+
bug-reports: "https://github.com/camlp5/pa_ppx_hashcons/issues"
16+
dev-repo: "git+https://github.com/camlp5/pa_ppx_hashcons.git"
17+
doc: "https://github.com/camlp5/pa_ppx_hashcons/doc"
18+
19+
depends: [
20+
"ocaml" { >= "4.10.0" }
21+
"cppo" { >= "1.6.9" }
22+
"camlp5-buildscripts" { >= "0.02" }
23+
"camlp5" { >= "8.01.00" }
24+
"pa_ppx" { >= "0.12" }
25+
"pa_ppx_migrate" { with-test & >= "0.10" }
26+
"not-ocamlfind" { >= "0.10" }
27+
"ounit" { >= "2.2.7" & with-test}
28+
"bos" { >= "0.2.0" }
29+
"fmt"
30+
"hashcons"
31+
]
32+
build: [
33+
[make "sys"]
34+
[make "test"] {with-test}
35+
]
36+
install: [make "install"]
37+
url {
38+
src: "https://github.com/camlp5/pa_ppx_hashcons/archive/refs/tags/0.11.tar.gz"
39+
checksum: [
40+
"sha512=1698536ac6ad4bab43de3f033bbfcc06cb8d7ac8b3198a440111ecc3d71da0fc9679e04ae276d9cd2a8d31965a582cced6dc063787e0f1c507241bed72ba6b9f"
41+
]
42+
}
Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
2+
synopsis: "A PPX Rewriter for Migrating AST types (written using Camlp5)"
3+
description:
4+
"""
5+
This is a PPX Rewriter for generating "migrations" like those written
6+
by-hand (with some automated support) in "ocaml-migrate-parsetree".
7+
The goal here is that the input to the automated tool is the minimum
8+
possible, with no need for human massaging of output from the tool.
9+
10+
There are two examples: a small one (in a unit-test) and a full set of
11+
migrations from Ocaml's AST 4.02 all the way up to 4.11, with all the
12+
intermediate ASTs, and migrations forward as well as backward.
13+
14+
"""
15+
opam-version: "2.0"
16+
maintainer: "Chet Murthy <[email protected]>"
17+
authors: ["Chet Murthy"]
18+
homepage: "https://github.com/camlp5/pa_ppx_migrate"
19+
license: "BSD-3-Clause"
20+
bug-reports: "https://github.com/camlp5/pa_ppx_migrate/issues"
21+
dev-repo: "git+https://github.com/camlp5/pa_ppx_migrate.git"
22+
doc: "https://github.com/camlp5/pa_ppx_migrate/doc"
23+
24+
depends: [
25+
"ocaml" { >= "4.10.0" }
26+
"cppo" { >= "1.6.9" }
27+
"camlp5-buildscripts" { >= "0.02" }
28+
"camlp5" { >= "8.01.00" }
29+
"pa_ppx" { >= "0.12" }
30+
"not-ocamlfind" { >= "0.10" }
31+
"ounit" { >= "2.2.7" & with-test}
32+
"fmt"
33+
"bos" { >= "0.2.0" }
34+
]
35+
build: [
36+
[make "sys"]
37+
[make "test"] {with-test}
38+
]
39+
install: [make "install"]
40+
url {
41+
src: "https://github.com/camlp5/pa_ppx_migrate/archive/refs/tags/0.11.tar.gz"
42+
checksum: [
43+
"sha512=e721138c8ac76b16eadf6b0c7ac52b6aaa3dc100ff897f5878b3dbfb7433de333a13eeb947b03bf6668cf59ad1aa42b8df695b567ed495240a1ffe04068944f0"
44+
]
45+
}

packages/pa_ppx_regexp/pa_ppx_regexp.0.01/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ depends: [
1919
"camlp5-buildscripts" { >= "0.02" & < "0.03" }
2020
"camlp5" { >= "8.01.00" }
2121
"pa_ppx" { >= "0.12" }
22-
"pa_ppx_migrate" { >= "0.10" }
22+
"pa_ppx_migrate" { >= "0.10" & < "0.11" }
2323
"pa_ppx_static" { >= "0.01" }
2424
"not-ocamlfind" { >= "0.10" }
2525
"ounit" { >= "2.2.7" }
Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
2+
synopsis: "A Camlp5 PPX Rewriter for Perl Regexp Workalikes "
3+
description:
4+
"""
5+
This is a PPX Rewriter for some workalikes to perl regexp operations,
6+
based on Camlp5 (so it's compatible with all the other Camlp5-based PPX rewriters).
7+
"""
8+
opam-version: "2.0"
9+
maintainer: "Chet Murthy <[email protected]>"
10+
authors: ["Chet Murthy"]
11+
homepage: "https://github.com/camlp5/pa_ppx_regexp"
12+
license: "BSD-3-Clause"
13+
bug-reports: "https://github.com/camlp5/pa_ppx_regexp/issues"
14+
dev-repo: "git+https://github.com/camlp5/pa_ppx_regexp.git"
15+
doc: "https://github.com/camlp5/pa_ppx_regexp/doc"
16+
17+
depends: [
18+
"ocaml" { >= "4.10.0" }
19+
"camlp5-buildscripts" { >= "0.02" }
20+
"camlp5" { >= "8.01.00" }
21+
"pa_ppx" { >= "0.12" }
22+
"pa_ppx_migrate" { >= "0.10" }
23+
"pa_ppx_static" { >= "0.01" }
24+
"not-ocamlfind" { >= "0.10" }
25+
"ounit" { >= "2.2.7" }
26+
(*
27+
"mdx" {>= "2.3.0" & with-test}
28+
*)
29+
"fmt"
30+
"pcre"
31+
"pcre2"
32+
"re" { >= "1.11.0" }
33+
]
34+
build: [
35+
[make "sys"]
36+
[make "test"] {with-test}
37+
]
38+
install: [make "install"]
39+
url {
40+
src: "https://github.com/camlp5/pa_ppx_regexp/archive/refs/tags/0.02.tar.gz"
41+
checksum: [
42+
"sha512=fd1ab5b4b72b8a15d81d70fadbe5fa19c1a64322b549fe47c39769eefd92af3a4057e730b4f9217ecc38ee89b9643235e921118db2d811069039ae7130b97329"
43+
]
44+
}
Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
2+
synopsis: "A Camlp5 PPX Rewriter for static blocks "
3+
description:
4+
"""
5+
This is a PPX Rewriter to provide `static' blocks
6+
for OCaml, so you can write code that computes some
7+
expensive expression and mark it as static, so it'll
8+
be computed only once. Like regexps.
9+
"""
10+
opam-version: "2.0"
11+
maintainer: "Chet Murthy <[email protected]>"
12+
authors: ["Chet Murthy"]
13+
homepage: "https://github.com/camlp5/pa_ppx_static"
14+
license: "BSD-3-Clause"
15+
bug-reports: "https://github.com/camlp5/pa_ppx_static/issues"
16+
dev-repo: "git+https://github.com/camlp5/pa_ppx_static.git"
17+
doc: "https://github.com/camlp5/pa_ppx_static/doc"
18+
19+
depends: [
20+
"ocaml" { >= "4.10.0" }
21+
"camlp5-buildscripts" { >= "0.02" }
22+
"camlp5" { >= "8.01.00" }
23+
"pcre2" { with-test }
24+
"pa_ppx" { >= "0.12" }
25+
"not-ocamlfind" { >= "0.10" }
26+
"ounit" { >= "2.2.7" }
27+
"fmt"
28+
(*
29+
"mdx" { >= "2.3.0" & with-test}
30+
*)
31+
]
32+
build: [
33+
[make "sys"]
34+
[make "test"] {with-test}
35+
]
36+
install: [make "install"]
37+
url {
38+
src: "https://github.com/camlp5/pa_ppx_static/archive/refs/tags/0.02.tar.gz"
39+
checksum: [
40+
"sha512=66f4d72175e1431262049aa2d3e6922e21e06ac1fd6601facfea1a34dee35ea47680618bb804d736fa71a7cae3cb55da60182735ac1529acff4ca491558b6210"
41+
]
42+
}
Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
2+
synopsis: "A PPX Rewriter for Uniqifying ASTs"
3+
description:
4+
"""
5+
This is a PPX Rewriter for uniqifying ASTs: inserting unique IDs
6+
systematically throughout an AST.
7+
"""
8+
opam-version: "2.0"
9+
maintainer: "Chet Murthy <[email protected]>"
10+
authors: ["Chet Murthy"]
11+
homepage: "https://github.com/camlp5/pa_ppx_unique"
12+
license: "BSD-3-Clause"
13+
bug-reports: "https://github.com/camlp5/pa_ppx_unique/issues"
14+
dev-repo: "git+https://github.com/camlp5/pa_ppx_unique.git"
15+
doc: "https://github.com/camlp5/pa_ppx_unique/doc"
16+
17+
depends: [
18+
"ocaml" { >= "4.10.0" }
19+
"cppo" { >= "1.6.9" }
20+
"camlp5-buildscripts" { >= "0.02" }
21+
"camlp5" { >= "8.01.00" }
22+
"pa_ppx" { >= "0.12" }
23+
"pa_ppx_migrate" { with-test & >= "0.10" }
24+
"not-ocamlfind" { >= "0.10" }
25+
"ounit" { >= "2.2.7" & with-test}
26+
"bos" { >= "0.2.0" }
27+
"fmt"
28+
]
29+
build: [
30+
[make "sys"]
31+
[make "test"] {with-test}
32+
]
33+
install: [make "install"]
34+
url {
35+
src: "https://github.com/camlp5/pa_ppx_unique/archive/refs/tags/0.11.tar.gz"
36+
checksum: [
37+
"sha512=fe66069dcbccf650d00727afd88b71615dcb92f12e9f1563b9030f6ffb1441c609e9788f0063782a7247dc5b1a8e7c37315150720d0e6e8ebbffaf560c082ca4"
38+
]
39+
}

0 commit comments

Comments
 (0)