robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

improve packaging: use sh -ex

Browse source
This commit is contained in:
Hannes Mehnert 2021-08-02 15:43:47 +02:00
parent 6e368657c7
commit 06b2f50ded
4 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
packages/albatross.1.3.0~pre/opam
View file

@ -44,8 +44,8 @@ build: [
["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/debian/create_package.sh"] {os-family = "debian"}
["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"}
]
synopsis: "Albatross - orchestrate and manage MirageOS unikernels with Solo5"
description: """

4
packages/builder-web.0.0.1~dev/opam
View file

@ -10,8 +10,8 @@ build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
["sh" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "packaging/debian/create_package.sh"] {os-family = "debian"}
["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"}
]
depends: [

4
packages/builder.0.0.1~dev/opam
View file

@ -28,8 +28,8 @@ depends: [
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["sh" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "packaging/debian/create_package.sh"] {os-family = "debian"}
["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"}
]
synopsis: "Scheduling and executing shell jobs"

4
packages/solo5-bindings-hvt.0.6.8~packaging/opam
View file

@ -12,8 +12,8 @@ dev-repo: "git+https://github.com/solo5/solo5.git"
build: [
["./configure.sh"]
[make "V=1" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN="]
["sh" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "packaging/debian/create_package.sh"] {os-family = "debian"}
["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"}
]
depends: [
"conf-pkg-config"