-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathpp_loc.opam
36 lines (36 loc) · 1.13 KB
/
pp_loc.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
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "2.1.0"
synopsis: "Quote and highlight input fragments at a given source location"
description: """
Decent error reporting (for example, in a parser, a compiler, ...) typically involves collecting locations, in order to indicate to the user the position of an error in the source file.
This library provides support for quoting and highlighting the input fragment that corresponds to a given source location (or set of source locations).
"""
maintainer: [
"Armaël Guéneau <armael.gueneau@ens-lyon.org>, Steffen Smolka <smolka@cs.cornell.edu>"
]
authors: ["Armaël Guéneau <armael.gueneau@ens-lyon.org>"]
license: "MIT"
homepage: "https://github.com/Armael/pp_loc"
doc: "https://Armael.github.io/pp_loc/pp_loc/"
bug-reports: "https://github.com/Armael/pp_loc/issues"
depends: [
"ocaml" {>= "4.08.0"}
"dune" {>= "2.7"}
"odoc" {with-doc}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "git+https://github.com/Armael/pp_loc.git"