builder-web: debian packaging

This commit is contained in:
Robur 2021-06-29 09:48:24 +00:00
parent f98147a370
commit 1628cd2d63

View file

@ -11,6 +11,7 @@ build: [
["dune" "build" "-p" name "-j" jobs] ["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test} ["dune" "runtest" "-p" name "-j" jobs] {with-test}
["sh" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"} ["sh" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "packaging/debian/create_package.sh"] {os-family = "debian"}
] ]
depends: [ depends: [