commit 8b9d49e1a89459e4d7b8e2c647c4312e1b9a8e11 · anil.recoil.org/opam-repository

+45

packages/solo5-cross-aarch64/solo5-cross-aarch64.0.7.2/opam

···

       1
       +
       opam-version: "2.0"

     

       2
       +
       maintainer: "martin@lucina.net"

     

       3
       +
       authors: [

     

       4
       +
         "Dan Williams <djwillia@us.ibm.com>"

     

       5
       +
         "Martin Lucina <martin@lucina.net>"

     

       6
       +
         "Ricardo Koller <kollerr@us.ibm.com>"

     

       7
       +
       ]

     

       8
       +
       homepage: "https://github.com/solo5/solo5"

     

       9
       +
       bug-reports: "https://github.com/solo5/solo5/issues"

     

       10
       +
       license: "ISC"

     

       11
       +
       dev-repo: "git+https://github.com/solo5/solo5.git"

     

       12
       +
       build: [

     

       13
       +
         ["env" "TARGET_CC=aarch64-linux-gnu-gcc" "TARGET_LD=aarch64-linux-gnu-ld" "TARGET_OBJCOPY=aarch64-linux-gnu-objcopy" "./configure.sh" "--prefix=%{prefix}%"]

     

       14
       +
         [make "V=1"]

     

       15
       +
       ]

     

       16
       +
       install: [make "V=1" "install-toolchain"]

     

       17
       +
       depends: [

     

       18
       +
         "conf-pkg-config" {build & os = "linux"}

     

       19
       +
         "conf-libseccomp" {build & os = "linux"}

     

       20
       +
         "solo5" {= version}

     

       21
       +
       ]

     

       22
       +
       depexts: [

     

       23
       +
         ["linux-headers"] {os-distribution = "alpine"}

     

       24
       +
         ["kernel-headers"] {os-distribution = "fedora"}

     

       25
       +
         ["kernel-headers"] {os-distribution = "rhel"}

     

       26
       +
         ["linux-libc-dev"] {os-family = "debian"}

     

       27
       +
         ["gcc-aarch64-linux-gnu"] {os-family = "debian"}

     

       28
       +
       ]

     

       29
       +
       available: [

     

       30
       +
         (arch != "arm64") &

     

       31
       +
         (os = "linux" & os-family = "debian")

     

       32
       +
       ]

     

       33
       +
       synopsis: "Solo5 sandboxed execution environment"

     

       34
       +
       description: """

     

       35
       +
       Solo5 is a sandboxed execution environment primarily intended

     

       36
       +
       for, but not limited to, running applications built using various

     

       37
       +
       unikernels (a.k.a.  library operating systems).

     

       38
       +
       

     

       39
       +
       This package provides the Solo5 components needed to cross-build

     

       40
       +
       MirageOS unikernels for the aarch64 architecture.

     

       41
       +
       """

     

       42
       +
       url {

     

       43
       +
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.2/solo5-v0.7.2.tar.gz"

     

       44
       +
         checksum: "sha512=376d5d6caebf824928949a2e8be9b879dd924a6ce30128e183ebdfb99d812a42f528196315d85b0bee4ddec87ea92264ed763f74548cf3f9519c94fd13abb4b9"

     

       45
       +
       }

+52

packages/solo5/solo5.0.7.2/opam

···

       1
       +
       opam-version: "2.0"

     

       2
       +
       maintainer: "martin@lucina.net"

     

       3
       +
       authors: [

     

       4
       +
         "Dan Williams <djwillia@us.ibm.com>"

     

       5
       +
         "Martin Lucina <martin@lucina.net>"

     

       6
       +
         "Ricardo Koller <kollerr@us.ibm.com>"

     

       7
       +
       ]

     

       8
       +
       homepage: "https://github.com/solo5/solo5"

     

       9
       +
       bug-reports: "https://github.com/solo5/solo5/issues"

     

       10
       +
       license: "ISC"

     

       11
       +
       dev-repo: "git+https://github.com/solo5/solo5.git"

     

       12
       +
       build: [

     

       13
       +
         ["./configure.sh" "--prefix=%{prefix}%"]

     

       14
       +
         [make "V=1"]

     

       15
       +
       ]

     

       16
       +
       install: [make "V=1" "install"]

     

       17
       +
       depends: [

     

       18
       +
         "conf-pkg-config" {build & os = "linux"}

     

       19
       +
         "conf-libseccomp" {build & os = "linux"}

     

       20
       +
       ]

     

       21
       +
       depexts: [

     

       22
       +
         ["linux-headers"] {os-distribution = "alpine"}

     

       23
       +
         ["kernel-headers"] {os-distribution = "fedora"}

     

       24
       +
         ["kernel-headers"] {os-distribution = "rhel"}

     

       25
       +
         ["linux-libc-dev"] {os-family = "debian"}

     

       26
       +
       ]

     

       27
       +
       conflicts: [

     

       28
       +
         "ocaml-freestanding" {< "0.7.0"}

     

       29
       +
         "solo5-bindings-hvt"

     

       30
       +
         "solo5-bindings-spt"

     

       31
       +
         "solo5-bindings-virtio"

     

       32
       +
         "solo5-bindings-muen"

     

       33
       +
         "solo5-bindings-genode"

     

       34
       +
         "solo5-bindings-xen"

     

       35
       +
       ]

     

       36
       +
       available: [

     

       37
       +
         (arch = "x86_64" | arch = "arm64" | arch = "ppc64") &

     

       38
       +
         (os = "linux" | os = "freebsd" | os = "openbsd")

     

       39
       +
       ]

     

       40
       +
       synopsis: "Solo5 sandboxed execution environment"

     

       41
       +
       description: """

     

       42
       +
       Solo5 is a sandboxed execution environment primarily intended

     

       43
       +
       for, but not limited to, running applications built using various

     

       44
       +
       unikernels (a.k.a.  library operating systems).

     

       45
       +
       

     

       46
       +
       This package provides the Solo5 components needed to build and

     

       47
       +
       run MirageOS unikernels on the host system.

     

       48
       +
       """

     

       49
       +
       url {

     

       50
       +
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.2/solo5-v0.7.2.tar.gz"

     

       51
       +
         checksum: "sha512=376d5d6caebf824928949a2e8be9b879dd924a6ce30128e183ebdfb99d812a42f528196315d85b0bee4ddec87ea92264ed763f74548cf3f9519c94fd13abb4b9"

     

       52
       +
       }