2020-12-02 13:33:15 +00:00
|
|
|
opam-version: "2.0"
|
|
|
|
maintainer: "Reynir Björnsson <reynir@reynir.dk>"
|
|
|
|
authors: ["Reynir Björnsson <reynir@reynir.dk>"]
|
|
|
|
homepage: "https://github.com/roburio/builder-web"
|
|
|
|
dev-repo: "git+https://github.com/roburio/builder-web.git"
|
|
|
|
bug-reports: "https://github.com/roburio/builder-web/issues"
|
|
|
|
license: "ISC"
|
|
|
|
|
|
|
|
build: [
|
2021-06-09 15:17:40 +00:00
|
|
|
["dune" "subst"] {dev}
|
2020-12-02 13:33:15 +00:00
|
|
|
["dune" "build" "-p" name "-j" jobs]
|
2021-03-23 09:36:20 +00:00
|
|
|
["dune" "runtest" "-p" name "-j" jobs] {with-test}
|
2021-06-09 15:17:40 +00:00
|
|
|
["sh" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
|
2021-06-29 09:34:58 +00:00
|
|
|
["sh" "packaging/debian/create_package.sh"] {os-family = "debian"}
|
2021-06-09 15:17:40 +00:00
|
|
|
]
|
|
|
|
|
2020-12-02 13:33:15 +00:00
|
|
|
depends: [
|
|
|
|
"builder"
|
2021-06-29 09:49:39 +00:00
|
|
|
"dream" {>= "1.0.0~alpha2"}
|
2021-01-06 10:48:24 +00:00
|
|
|
"bos"
|
|
|
|
"hex"
|
2021-01-08 12:47:17 +00:00
|
|
|
"caqti"
|
|
|
|
"caqti-lwt"
|
|
|
|
"caqti-driver-sqlite3"
|
2021-01-19 11:53:56 +00:00
|
|
|
"pbkdf"
|
2021-01-21 09:03:19 +00:00
|
|
|
"mirage-crypto-rng"
|
2021-02-23 15:20:18 +00:00
|
|
|
"scrypt-kdf"
|
2021-03-16 12:09:31 +00:00
|
|
|
"alcotest" {with-test}
|
2021-02-12 11:26:14 +00:00
|
|
|
"opam-core"
|
|
|
|
"opam-format"
|
2021-05-26 13:16:17 +00:00
|
|
|
"metrics"
|
|
|
|
"metrics-lwt"
|
|
|
|
"metrics-influx"
|
2021-06-04 09:26:22 +00:00
|
|
|
"metrics-rusage"
|
2021-05-26 13:16:17 +00:00
|
|
|
"ipaddr"
|
2021-06-09 16:03:03 +00:00
|
|
|
"tyxml"
|
|
|
|
"ptime"
|
|
|
|
"duration"
|
|
|
|
"rresult"
|
|
|
|
"mirage-crypto"
|
|
|
|
"asn1-combinators"
|
|
|
|
"logs"
|
|
|
|
"cmdliner"
|
|
|
|
"uri"
|
|
|
|
"fmt"
|
2020-12-02 13:33:15 +00:00
|
|
|
]
|
|
|
|
|
|
|
|
synopsis: "Web interface for builder"
|
|
|
|
|
|
|
|
pin-depends: [
|
2021-06-09 15:17:40 +00:00
|
|
|
["builder.dev" "git+https://github.com/roburio/builder.git"]
|
2020-12-02 13:33:15 +00:00
|
|
|
]
|