/
opam
41 lines (41 loc) · 1.19 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
opam-version: "2.0"
synopsis: "An extended Pratt parser"
description: """
Pratter is a library that provides a parser that transforms
streams of terms to applied terms. Terms may contain infix or prefix operators
and native applications. The parser is based on the Pratt parsing
algorithm and extended to handle term application and non associative
operators."""
maintainer: ["koizel#pratter@aleeas.com"]
authors: ["Gabriel Hondet"]
license: "BSD-3-Clause"
homepage: "https://github.com/gabrielhdt/pratter"
bug-reports: "https://github.com/gabrielhdt/pratter/issues"
depends: [
"ocaml" {>= "4.08"}
"dune" {>= "2.7"}
"camlp-streams"
"alcotest" {with-test}
"qcheck" {with-test & >= "0.12"}
"qcheck-alcotest" {with-test}
"odoc" {with-doc}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "git+https://forge.tedomum.net/koizel/pratter"
url {
src: "https://github.com/gabrielhdt/pratter/archive/refs/tags/2.0.0.tar.gz"
checksum: "sha512=89fc9d0645e55dda7201a2cb47fe7bee774db92892c528efcbec179f270563088b1fab1d8d25ebca97b389947c2741f7a05127996cd1a4e3c7fe726be45ab835"
}