-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
32 lines (32 loc) · 1.17 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
opam-version: "2.0"
build: [
["dune" "subst"] {pinned}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
["dune" "build" "-p" name "@doc"] {with-doc}
]
maintainer: ["Thierry Martinez <thierry.martinez@inria.fr>"]
authors: ["Thierry Martinez <thierry.martinez@inria.fr>"]
bug-reports: "https://gitlab.inria.fr/tmartine/override"
homepage: "https://gitlab.inria.fr/tmartine/override"
doc: "https://gitlab.inria.fr/tmartine/override"
license: "BSD-3-Clause"
dev-repo: "git+https://gitlab.inria.fr/tmartine/override"
synopsis: "PPX extension for overriding modules"
description: """
PPX extensions [%%override], [%%import], [%%include] and [%%rewrite] to import
and change module interfaces.
"""
depends: [
"dune" {>= "1.10.0"}
"ppxlib" {>= "0.6.0" & < "0.9.0"}
"stdcompat" {>= "9"}
"ppx_show" {>= "0.1.0"}
"ppx_compare" {>= "v0.12.0" & < "v0.14"}
"cppo" {>= "1.6.4"}
"ocaml" {< "4.09.0"}
]
url {
src: "https://gitlab.inria.fr/tmartine/override/-/archive/0.2.1/override-0.2.1.tar.gz"
checksum: "sha512=e58f747981eaeed94c920af81f210835f9ad6d5ca70f540040662af096436d703ffdf1532d51242beaecc3ea54a2de7193b4d274e06d70d3b2d2f48c474f727b"
}