-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
44 lines (44 loc) · 1.34 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
42
43
44
opam-version: "2.0"
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
["dune" "build" "-p" name "@doc"] {with-doc}
]
maintainer: ["The Archetype development team <archetype-dev@edukera.com>"]
authors: [
"Benoit Rognier <benoit.rognier@edukera.com>"
"Guillaume Duhamel <guillaume.duhamel@edukera.com>"
"Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>"
]
bug-reports: "https://github.com/edukera/archetype-lang/issues"
homepage: "https://github.com/edukera/archetype-lang"
doc: "https://docs.archetype-lang.org/"
license: "MIT"
dev-repo: "git+https://github.com/edukera/archetype-lang.git"
synopsis: "Archetype language compiler"
description: """
Archetype is a domain-specific language (DSL) to develop smart contracts
on the Tezos blockchain, with a specific focus on contract security
"""
depends: [
"ocaml" {>= "4.07.0"}
"dune" {>= "1.10.0"}
"menhir"
"digestif" {>= "0.7.2"}
"num"
"yojson"
"ppx_deriving"
"ppx_deriving_yojson"
"visitors"
]
conflicts: [
"digestif" {= "0.7.4"}
]
url {
src: "https://github.com/edukera/archetype-lang/archive/0.1.14.tar.gz"
checksum: [
"md5=1a00801e3311cc4a54a239e09d3cbe56"
"sha512=ea9643da74b7f7ca7c8743ec9101f531d701d2df2b15bfc11bc611a29f0fdbb572d77556e9b6f067e727bc1dd5d872088ef25c131e0cb645415fa811564fc5c7"
]
}