|
|
@ -0,0 +1,32 @@ |
|
|
|
# This file is generated by dune, edit dune-project instead |
|
|
|
opam-version: "2.0" |
|
|
|
synopsis: "Binary decision diagram library" |
|
|
|
description: "bdd is an OCaml library for binary decision diagram. " |
|
|
|
maintainer: ["Léo Andrès <contact@ndrs.fr>"] |
|
|
|
authors: ["Léo Andrès <contact@ndrs.fr>"] |
|
|
|
license: "ISC" |
|
|
|
homepage: "https://git.zapashcanon.fr/zapashcanon/bdd" |
|
|
|
doc: "https://doc.zapashcanon.fr/bdd/" |
|
|
|
bug-reports: "https://git.zapashcanon.fr/zapashcanon/bdd/issues" |
|
|
|
depends: [ |
|
|
|
"ocaml" {>= "4.05"} |
|
|
|
"dune" {>= "2.0"} |
|
|
|
"bisect_ppx" {>= "1.4"} |
|
|
|
"memo" {>= "0.0.1"} |
|
|
|
"hc" {>= "0.0.1"} |
|
|
|
] |
|
|
|
build: [ |
|
|
|
["dune" "subst"] {pinned} |
|
|
|
[ |
|
|
|
"dune" |
|
|
|
"build" |
|
|
|
"-p" |
|
|
|
name |
|
|
|
"-j" |
|
|
|
jobs |
|
|
|
"@install" |
|
|
|
"@runtest" {with-test} |
|
|
|
"@doc" {with-doc} |
|
|
|
] |
|
|
|
] |
|
|
|
dev-repo: "git://git.zapashcanon.fr/zapashcanon/bdd.git" |