mirror of
https://github.com/linuxkit/linuxkit.git
synced 2025-07-24 03:15:36 +00:00
Also, stop static linking for now, as it generates a lot of warnings with glibc. Signed-off-by: Thomas Leonard <thomas.leonard@docker.com>
19 lines
341 B
Plaintext
19 lines
341 B
Plaintext
opam-version: "1.2"
|
|
name: "https-unikernel"
|
|
version: "0.1"
|
|
maintainer: "Thomas Leonard <thomas.leonard@docker.com>"
|
|
authors: "Thomas Leonard <thomas.leonard@docker.com>"
|
|
build: [
|
|
[make]
|
|
]
|
|
depends: [
|
|
"lwt"
|
|
"cohttp" {>="0.21.0" & <"0.99"}
|
|
"astring"
|
|
"tls"
|
|
"irmin-unix"
|
|
"capnp-rpc-lwt"
|
|
"jbuilder" {build}
|
|
"ocamlfind" {build}
|
|
]
|