this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Errpy: An Error Recovering Rust Python Parser"
4description:
5 "This is a new project to provide an error-recovering Python parser, implemented in Rust based on tree-sitter. Our short-term goal is to use it in the pyre type checker, in order to provide better IDE features."
6maintainer: ["pyre@meta.com"]
7authors: ["pyre@meta.com"]
8license: "MIT"
9dev-repo: "git+https://github.com/facebook/errpy"
10homepage: "https://github.com/facebook/errpy"
11bug-reports: "https://github.com/facebook/errpy/issues"
12depends: [
13 "ocaml"
14 "dune" {>= "3.4"}
15 "ppx_deriving"
16 "conf-rust-2021" {build}
17 "ounit2" {with-test}
18 "odoc" {with-doc}
19]
20build: [
21 ["dune" "subst"] {dev}
22 [
23 "dune"
24 "build"
25 "-p"
26 name
27 "-j"
28 jobs
29 "@install"
30 "@runtest" {with-test}
31 "@doc" {with-doc}
32 ]
33]
34url {
35 src: "https://github.com/facebook/errpy/archive/refs/tags/0.0.7.tar.gz"
36 checksum: [
37 "md5=0dcba0326c7bab93a3989ac9c17d1699"
38 "sha512=e8c8890db40dc5ae78bba04e43d4876eef97da8161f3ab54f372f7f8144b47f7dd60c42c94cff3c9d4fa1489d17f56da35f083b5eb3dacffb1aee77fa93e0946"
39 ]
40}