cduce-types.opam 881 Bytes
Newer Older
1
2
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
Kim Nguyễn's avatar
Kim Nguyễn committed
3
version: "0.7.0-rc9"
4
synopsis: "CDuce type library"
5
6
7
8
9
description: """
This library implements set-theoretic types with
 semantic subtyping. It is at the heart of the CDuce compiler, but
 can also be reused as a stand-alone library to experiment with
 semantic subtyping."""
10
11
12
maintainer: ["Kim Nguyen"]
authors: ["Alain Frisch"]
license: "MIT"
Kim Nguyễn's avatar
Kim Nguyễn committed
13
14
homepage: "https://www.cduce.org"
bug-reports: "https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/issues"
15
build: [
Kim Nguyễn's avatar
Kim Nguyễn committed
16
  ["dune" "subst"] {pinned}
17
18
19
20
21
22
23
24
25
26
27
28
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
Kim Nguyễn's avatar
Kim Nguyễn committed
29
dev-repo: "git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"
30
31
32
33
34
35
depends: [
  "ocaml" {>= "4.07.0"}
  "dune" {build & >= "2.8"}
  "odoc" {with-doc}
  "num"  {>= "1.4"}  
]