extra-files: [ [ "md5=3cddbf72164c29d4e50e077a92a37c6c" "ZGlmZiBhL2NvbmZpZ3VyZSBiL2NvbmZpZ3VyZQotLS0gYS9jb25maWd1cmUKKysrIGIvY29uZmlndXJlCkBAIC0yOTQsNyArMjk0LDcgQEAKICAgICAjIElmIGZpbmRsaWIgaGFzIGJlZW4gY29uZmlndXJlZCAtc2l0ZWxpYiAkKG9jYW1sYyAtd2hlcmUpIHRoZW4gdGhlcmUncwogICAgICMgbm90aGluZyB0byBkbywgYnV0IG90aGVyd2lzZSB3ZSBuZWVkIHRvIHB1dCBPQ2FtbCdzIFN0YW5kYXJkIExpYnJhcnkKICAgICAjIGludG8gdGhlIHBhdGggc2V0dGluZy4KLSAgICBpZiBbICEgLWUgIiR7b2NhbWxfc2l0ZWxpYn0vc3RkbGliL01FVEEiIF07IHRoZW4KKyAgICBpZiBbICEgLWUgIiR7b2NhbWxfc2l0ZWxpYn0vc3RkbGliLmNtaSIgXTsgdGhlbgogICAgICAgICBvY2FtbHBhdGg9IiR7b2NhbWxfY29yZV9zdGRsaWJ9JHtwYXRoX3NlcH0ke29jYW1scGF0aH0iCiAgICAgZmkKIGZpCg==" ] [ "md5=3e969b841df1f51ca448e6e6295cb451" "c2hhcmVfcm9vdDogWyJjb25maWcuY2FjaGUiIHsib2NhbWwvY29uZmlnLmNhY2hlIn1dCg==" ] ["md5=860d7e64cb4b724927ee42483e21e133" "dmVyc2lvbiA9ICI0LjE0LjEiCg=="] [ "md5=8e50c5e2517d3463b3aad649748cafd7" "c2hhcmU6IFsiZ2VuX29jYW1sX2NvbmZpZy5tbCJdCg==" ] [ "md5=a4b41e3236593d8271295b84b0969172" "bGV0ICgpID0KICBsZXQgb2NhbWxfdmVyc2lvbiA9CiAgICBsZXQgdiA9IFN5cy5vY2FtbF92ZXJzaW9uIGluCiAgICBsZXQgbCA9IFN0cmluZy5sZW5ndGggdiBpbgogICAgbGV0IHBsdXMgPSB0cnkgU3RyaW5nLmluZGV4IHYgJysnIHdpdGggTm90X2ZvdW5kIC0+IGwgaW4KICAgICgqIEludHJvZHVjZWQgaW4gNC4xMS4wOyB1c2VkIGZyb20gNC4xMi4wICopCiAgICBsZXQgdGlsZGUgPSB0cnkgU3RyaW5nLmluZGV4IHYgJ34nIHdpdGggTm90X2ZvdW5kIC0+IGwgaW4KICAgIFN0cmluZy5zdWIgdiAwIChtaW4gKG1pbiBwbHVzIHRpbGRlKSBsKQogIGluCiAgaWYgb2NhbWxfdmVyc2lvbiA8PiBTeXMuYXJndi4oMSkgdGhlbgogICAgKFByaW50Zi5lcHJpbnRmCiAgICAgICAiT0NhbWwgdmVyc2lvbiBtaXNtYXRjaDogJSVzLCBleHBlY3RlZCAlcyIKICAgICAgIG9jYW1sX3ZlcnNpb24gU3lzLmFyZ3YuKDEpOwogICAgIGV4aXQgMSkKICBlbHNlCiAgbGV0IG9jID0gb3Blbl9vdXQgKFN5cy5hcmd2LigyKSBeICIuY29uZmlnIikgaW4KICBsZXQgZXhlID0gIi5leGUiIGluCiAgbGV0IChvY2FtbCwgc3VmZml4KSA9CiAgICBsZXQgcyA9IFN5cy5leGVjdXRhYmxlX25hbWUgaW4KICAgIGlmIEZpbGVuYW1lLmNoZWNrX3N1ZmZpeCBzIGV4ZSB0aGVuCiAgICAgIChGaWxlbmFtZS5jaG9wX3N1ZmZpeCBzIGV4ZSwgZXhlKQogICAgZWxzZQogICAgICAocywgIiIpCiAgaW4KICBsZXQgb2NhbWxjID0gb2NhbWxeImMiXnN1ZmZpeCBpbgogIGxldCBsaWJkaXIgPQogICAgaWYgU3lzLmNvbW1hbmQgKG9jYW1sY14iIC13aGVyZSA+IHdoZXJlIikgPSAwIHRoZW4KICAgICAgKCogTXVzdCBiZSBvcGVuZWQgaW4gdGV4dCBtb2RlIGZvciBXaW5kb3dzICopCiAgICAgIGxldCBpYyA9IG9wZW5faW4gIndoZXJlIiBpbgogICAgICBsZXQgciA9IGlucHV0X2xpbmUgaWMgaW4KICAgICAgY2xvc2VfaW4gaWM7IHIKICAgIGVsc2UKICAgICAgZmFpbHdpdGggIkJhZCByZXR1cm4gZnJvbSAnb2NhbWxjIC13aGVyZSciCiAgaW4KICBsZXQgc3R1YnNkaXIgPQogICAgbGV0IGljID0gb3Blbl9pbiAoRmlsZW5hbWUuY29uY2F0IGxpYmRpciAibGQuY29uZiIpIGluCiAgICBsZXQgcmVjIHIgYWNjID0gdHJ5IHIgKGlucHV0X2xpbmUgaWM6OmFjYykgd2l0aCBFbmRfb2ZfZmlsZSAtPiBhY2MgaW4KICAgIGxldCBsaW5lcyA9IExpc3QucmV2IChyIFtdKSBpbgogICAgY2xvc2VfaW4gaWM7CiAgICBTdHJpbmcuY29uY2F0ICI6IiBsaW5lcwogIGluCiAgbGV0IHAgZm10ID0gUHJpbnRmLmZwcmludGYgb2MgKGZtdCBeXiAiXG4iKSBpbgogIHAgIm9wYW0tdmVyc2lvbjogXCIyLjBcIiI7CiAgcCAidmFyaWFibGVzIHsiOwogIHAgIiAgbmF0aXZlOiAlJWIiCiAgICAoU3lzLmZpbGVfZXhpc3RzIChvY2FtbF4ib3B0Il5zdWZmaXgpKTsKICBwICIgIG5hdGl2ZS10b29sczogJSViIgogICAgKFN5cy5maWxlX2V4aXN0cyAob2NhbWxjXiIub3B0Il5zdWZmaXgpKTsKICBwICIgIG5hdGl2ZS1keW5saW5rOiAlJWIiCiAgICAoU3lzLmZpbGVfZXhpc3RzIChGaWxlbmFtZS5jb25jYXQgbGliZGlyICJkeW5saW5rLmNteGEiKSk7CiAgcCAiICBzdHVic2RpcjogJSVTIgogICAgc3R1YnNkaXI7CiAgcCAiICBwcmVpbnN0YWxsZWQ6ICV7b2NhbWwtc3lzdGVtOmluc3RhbGxlZH0lIjsKICBwICIgIGNvbXBpbGVyOiBcIiV7b2NhbWwtc3lzdGVtOmluc3RhbGxlZD9zeXN0ZW06fSUle29jYW1sLWJhc2UtY29tcGlsZXI6dmVyc2lvbn0lJXtvY2FtbC12YXJpYW50czp2ZXJzaW9ufSUle29jYW1sLW9wdGlvbi0zMmJpdDppbnN0YWxsZWQ/KzMyYml0On0lJXtvY2FtbC1vcHRpb24tYWZsOmluc3RhbGxlZD8rYWZsOn0lJXtvY2FtbC1vcHRpb24tYnl0ZWNvZGUtb25seTppbnN0YWxsZWQ/K2J5dGVjb2RlLW9ubHk6fSUle29jYW1sLW9wdGlvbi1kZWZhdWx0LXVuc2FmZS1zdHJpbmc6aW5zdGFsbGVkPytkZWZhdWx0LXVuc2FmZS1zdHJpbmc6fSUle29jYW1sLW9wdGlvbi1mcDppbnN0YWxsZWQ/K2ZwOn0lJXtvY2FtbC1vcHRpb24tZmxhbWJkYTppbnN0YWxsZWQ/K2ZsYW1iZGE6fSUle29jYW1sLW9wdGlvbi1tdXNsOmluc3RhbGxlZD8rbXVzbDp9JSV7b2NhbWwtb3B0aW9uLW5ucDppbnN0YWxsZWQ/K25ucDp9JSV7b2NhbWwtb3B0aW9uLW5vLWZsYXQtZmxvYXQtYXJyYXk6aW5zdGFsbGVkPytuby1mbGF0LWZsb2F0LWFycmF5On0lJXtvY2FtbC1vcHRpb24tc3BhY2V0aW1lOmluc3RhbGxlZD8rc3BhY2V0aW1lOn0lJXtvY2FtbC1vcHRpb24tc3RhdGljOmluc3RhbGxlZD8rc3RhdGljOn0lXCIiOwogIHAgIn0iOwogIGNsb3NlX291dCBvYwo=" ] ] opam-version: "2.0" installed: [ "astring.0.8.5" "base-bigarray.base" "base-bytes.base" "base-threads.base" "base-unix.base" "cmdliner.1.2.0" "conf-pkg-config.3" "conf-which.1" "fmt.0.9.0" "fpath.0.7.3" "ocaml.4.14.1" "ocaml-base-compiler.4.14.1" "ocaml-config.2" "ocaml-options-vanilla.1" "ocaml-solo5.0.8.2" "ocaml-src.4.14.1" "ocamlbuild.0.14.3" "ocamlfind.1.9.6" "rresult.0.7.0" "solo5.0.8.0" "topkg.1.0.7" "uutf.1.0.3" ] package "astring" { opam-version: "2.0" version: "0.8.5" synopsis: "Alternative String module for OCaml" description: """\ Astring exposes an alternative `String` module for OCaml. This module tries to balance minimality and expressiveness for basic, index-free, string processing and provides types and functions for substrings, string sets and string maps. Remaining compatible with the OCaml `String` module is a non-goal. The `String` module exposed by Astring has exception safe functions, removes deprecated and rarely used functions, alters some signatures and names, adds a few missing functions and fully exploits OCaml's newfound string immutability. Astring depends only on the OCaml standard library. It is distributed under the ISC license.""" maintainer: "Daniel Bünzli " authors: "The astring programmers" license: "ISC" tags: ["string" "org:erratique"] homepage: "https://erratique.ch/software/astring" doc: "https://erratique.ch/software/astring/doc" bug-reports: "https://github.com/dbuenzli/astring/issues" depends: [ "ocaml" {>= "4.05.0"} "ocamlfind" {build} "ocamlbuild" {build} "topkg" {build} ] build: ["ocaml" "pkg/pkg.ml" "build" "--pinned" "%{pinned}%"] dev-repo: "git+http://erratique.ch/repos/astring.git" url { src: "https://erratique.ch/software/astring/releases/astring-0.8.5.tbz" checksum: "md5=e148907c24157d1df43bec89b58b3ec8" } } package "base-bigarray" { opam-version: "2.0" version: "base" synopsis: "" description: "Bigarray library distributed with the OCaml compiler" maintainer: "https://github.com/ocaml/opam-repository/issues" } package "base-bytes" { opam-version: "2.0" version: "base" synopsis: "Bytes library distributed with the OCaml compiler" maintainer: " " authors: " " homepage: " " depends: [ "ocaml" {>= "4.02.0"} "ocamlfind" {>= "1.5.3"} ] } package "base-threads" { opam-version: "2.0" version: "base" synopsis: "" description: "Threads library distributed with the OCaml compiler" maintainer: "https://github.com/ocaml/opam-repository/issues" } package "base-unix" { opam-version: "2.0" version: "base" synopsis: "" description: "Unix library distributed with the OCaml compiler" maintainer: "https://github.com/ocaml/opam-repository/issues" } package "cmdliner" { opam-version: "2.0" version: "1.2.0" synopsis: "Declarative definition of command line interfaces for OCaml" description: """\ Cmdliner allows the declarative definition of command line interfaces for OCaml. It provides a simple and compositional mechanism to convert command line arguments to OCaml values and pass them to your functions. The module automatically handles syntax errors, help messages and UNIX man page generation. It supports programs with single or multiple commands and respects most of the [POSIX][1] and [GNU][2] conventions. Cmdliner has no dependencies and is distributed under the ISC license. [1]: http://pubs.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap12.html [2]: http://www.gnu.org/software/libc/manual/html_node/Argument-Syntax.html Home page: http://erratique.ch/software/cmdliner""" maintainer: "Daniel Bünzli " authors: "The cmdliner programmers" license: "ISC" tags: ["cli" "system" "declarative" "org:erratique"] homepage: "https://erratique.ch/software/cmdliner" doc: "https://erratique.ch/software/cmdliner/doc" bug-reports: "https://github.com/dbuenzli/cmdliner/issues" depends: [ "ocaml" {>= "4.08.0"} ] build: [make "all" "PREFIX=%{prefix}%"] install: [ [make "install" "LIBDIR=%{_:lib}%" "DOCDIR=%{_:doc}%"] [make "install-doc" "LIBDIR=%{_:lib}%" "DOCDIR=%{_:doc}%"] ] dev-repo: "git+https://erratique.ch/repos/cmdliner.git" url { src: "https://erratique.ch/software/cmdliner/releases/cmdliner-1.2.0.tbz" checksum: "sha512=6fcd6a59a6fbc6986b1aecdc3e4ce7a0dc43c65a16b427d6caa5504b10b51384f6b0bc703af646b09f5f1caeb6827b37d4480ce350ca8006204c850785f2810b" } } package "conf-pkg-config" { opam-version: "2.0" version: "3" synopsis: "Check if pkg-config is installed and create an opam switch local pkgconfig folder" description: """\ This package can only install if the pkg-config package is installed on the system.""" maintainer: "unixjunkie@sdf.org" authors: "Francois Berenger" license: "GPL-1.0-or-later" homepage: "http://www.freedesktop.org/wiki/Software/pkg-config/" bug-reports: "https://github.com/ocaml/opam-repository/issues" flags: conf build: ["pkg-config" "--help"] {os != "openbsd"} depexts: [ ["pkg-config"] {os-family = "debian" | os-family = "ubuntu"} ["pkgconf"] {os-distribution = "arch"} ["pkgconf-pkg-config"] {os-distribution = "fedora"} ["pkgconfig"] {os-distribution = "centos" & os-version <= "7"} ["pkgconf-pkg-config"] {os-distribution = "mageia"} ["pkgconfig"] {os-distribution = "rhel" & os-version <= "7"} ["pkgconfig"] {os-distribution = "ol" & os-version <= "7"} ["pkgconf"] {os-distribution = "alpine"} ["pkgconfig"] {os-distribution = "nixos"} ["pkg-config"] {os = "macos" & os-distribution = "homebrew"} ["pkgconfig"] {os = "macos" & os-distribution = "macports"} ["pkgconf"] {os = "freebsd"} ["pkgconf-pkg-config"] {os-distribution = "rhel" & os-version >= "8"} ["pkgconf-pkg-config"] {os-distribution = "centos" & os-version >= "8"} ["pkgconf-pkg-config"] {os-distribution = "ol" & os-version >= "8"} ["system:pkgconf"] {os = "win32" & os-distribution = "cygwinports"} ] } package "conf-which" { opam-version: "2.0" version: "1" synopsis: "Virtual package relying on which" description: "This package can only install if the which program is installed on the system." maintainer: "unixjunkie@sdf.org" authors: "Carlo Wood" license: "GPL-2.0-or-later" homepage: "http://www.gnu.org/software/which/" bug-reports: "https://github.com/ocaml/opam-repository/issues" flags: conf build: ["which" "which"] depexts: [ ["which"] {os-distribution = "centos"} ["which"] {os-distribution = "fedora"} ["which"] {os-distribution = "ol"} ["which"] {os-family = "suse" | os-family = "opensuse"} ["debianutils"] {os-family = "debian"} ["debianutils"] {os-family = "ubuntu"} ["which"] {os-distribution = "nixos"} ["which"] {os-family = "arch"} ] } package "fmt" { opam-version: "2.0" version: "0.9.0" synopsis: "OCaml Format pretty-printer combinators" description: """\ Fmt exposes combinators to devise `Format` pretty-printing functions. Fmt depends only on the OCaml standard library. The optional `Fmt_tty` library that allows to setup formatters for terminal color output depends on the Unix library. The optional `Fmt_cli` library that provides command line support for Fmt depends on [`Cmdliner`][cmdliner]. Fmt is distributed under the ISC license. [cmdliner]: http://erratique.ch/software/cmdliner Home page: http://erratique.ch/software/fmt""" maintainer: "Daniel Bünzli " authors: "The fmt programmers" license: "ISC" tags: ["string" "format" "pretty-print" "org:erratique"] homepage: "https://erratique.ch/software/fmt" doc: "https://erratique.ch/software/fmt/doc/" bug-reports: "https://github.com/dbuenzli/fmt/issues" depends: [ "ocaml" {>= "4.08.0"} "ocamlfind" {build} "ocamlbuild" {build} "topkg" {build & >= "1.0.3"} ] depopts: ["base-unix" "cmdliner"] conflicts: [ "cmdliner" {< "0.9.8"} ] build: [ "ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%" "--with-base-unix" "%{base-unix:installed}%" "--with-cmdliner" "%{cmdliner:installed}%" ] dev-repo: "git+https://erratique.ch/repos/fmt.git" url { src: "https://erratique.ch/software/fmt/releases/fmt-0.9.0.tbz" checksum: "sha512=66cf4b8bb92232a091dfda5e94d1c178486a358cdc34b1eec516d48ea5acb6209c0dfcb416f0c516c50ddbddb3c94549a45e4a6d5c5fd1c81d3374dec823a83b" } } package "fpath" { opam-version: "2.0" version: "0.7.3" synopsis: "File system paths for OCaml" description: """\ Fpath is an OCaml module for handling file system paths with POSIX or Windows conventions. Fpath processes paths without accessing the file system and is independent from any system library. Fpath depends on [Astring][astring] and is distributed under the ISC license. [astring]: http://erratique.ch/software/astring""" maintainer: "Daniel Bünzli " authors: "The fpath programmers" license: "ISC" tags: ["file" "system" "path" "org:erratique"] homepage: "https://erratique.ch/software/fpath" doc: "https://erratique.ch/software/fpath/doc" bug-reports: "https://github.com/dbuenzli/fpath/issues" depends: [ "ocaml" {>= "4.03.0"} "ocamlfind" {build} "ocamlbuild" {build} "topkg" {build & >= "0.9.0"} "astring" ] build: [ "ocaml" "pkg/pkg.ml" "build" "--dev-pkg=true" {dev} ] dev-repo: "git+https://erratique.ch/repos/fpath.git" url { src: "https://erratique.ch/software/fpath/releases/fpath-0.7.3.tbz" checksum: "md5=0740b530e8fed5b0adc5eee8463cfc2f" } } package "ocaml" { opam-version: "2.0" version: "4.14.1" synopsis: "The OCaml compiler (virtual package)" description: """\ This package requires a matching implementation of OCaml, and polls it to initialise specific variables like `ocaml:native-dynlink`""" maintainer: "platform@lists.ocaml.org" authors: [ "Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon" ] license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" homepage: "https://ocaml.org" bug-reports: "https://github.com/ocaml/opam-repository/issues" depends: [ "ocaml-config" {>= "2"} "ocaml-base-compiler" {>= "4.14.1~" & < "4.14.2~"} | "ocaml-variants" {>= "4.14.1~" & < "4.14.2~"} | "ocaml-system" {>= "4.14.1" & < "4.14.2~"} ] flags: conf setenv: [ [CAML_LD_LIBRARY_PATH = "%{_:stubsdir}%"] [CAML_LD_LIBRARY_PATH += "%{lib}%/stublibs"] [OCAML_TOPLEVEL_PATH = "%{toplevel}%"] ] build: [ "ocaml" "%{ocaml-config:share}%/gen_ocaml_config.ml" _:version _:name ] build-env: CAML_LD_LIBRARY_PATH = "" } package "ocaml-base-compiler" { opam-version: "2.0" version: "4.14.1" synopsis: "Official release 4.14.1" maintainer: "platform@lists.ocaml.org" authors: "Xavier Leroy and many contributors" license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" homepage: "https://ocaml.org" bug-reports: "https://github.com/ocaml/opam-repository/issues" depends: [ "ocaml" {= "4.14.1" & post} "base-unix" {post} "base-bigarray" {post} "base-threads" {post} "ocaml-options-vanilla" {post} ] conflict-class: "ocaml-core-compiler" flags: compiler setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs" build: [ [ "./configure" "--prefix=%{prefix}%" "--docdir=%{doc}%/ocaml" "-C" "CC=cc" {os = "openbsd" | os = "macos"} "ASPP=cc -c" {os = "openbsd" | os = "macos"} ] [make "-j%{jobs}%"] ] install: [make "install"] post-messages: [ """\ A failure in the middle of the build may be caused by build parallelism (enabled by default). Please file a bug report at https://github.com/ocaml/opam-repository/issues""" {failure & jobs > "1"} """\ You can try installing again including --jobs=1 to force a sequential build instead.""" {failure & jobs > "1" & opam-version >= "2.0.5"} ] dev-repo: "git+https://github.com/ocaml/ocaml" extra-files: [ "ocaml-base-compiler.install" "md5=3e969b841df1f51ca448e6e6295cb451" ] url { src: "https://github.com/ocaml/ocaml/archive/4.14.1.tar.gz" checksum: "sha256=776006e6f0b9bcfb6d9d74381c588e587432ca85562fde93bb80472a5145b028" } } package "ocaml-config" { opam-version: "2.0" version: "2" synopsis: "OCaml Switch Configuration" description: "This package is used by the OCaml package to set-up its variables." maintainer: "platform@lists.ocaml.org" authors: [ "Louis Gesbert " "David Allsopp " ] homepage: "https://opam.ocaml.org/" bug-reports: "https://github.com/ocaml/opam/issues" depends: [ "ocaml-base-compiler" {>= "4.12.0~"} | "ocaml-variants" {>= "4.12.0~"} | "ocaml-system" {>= "4.12.0~"} ] substs: "gen_ocaml_config.ml" extra-files: [ ["gen_ocaml_config.ml.in" "md5=a4b41e3236593d8271295b84b0969172"] ["ocaml-config.install" "md5=8e50c5e2517d3463b3aad649748cafd7"] ] } package "ocaml-options-vanilla" { opam-version: "2.0" version: "1" synopsis: "Ensure that OCaml is compiled with no special options enabled" maintainer: "platform@lists.ocaml.org" depends: [ "ocaml-base-compiler" {post} | "ocaml-system" {post} | "ocaml-variants" {post & >= "4.12.0~"} ] conflicts: [ "ocaml-option-32bit" "ocaml-option-afl" "ocaml-option-bytecode-only" {arch = "arm64" | arch = "x86_64"} "ocaml-option-default-unsafe-string" "ocaml-option-flambda" "ocaml-option-fp" "ocaml-option-musl" "ocaml-option-no-flat-float-array" "ocaml-option-no-compression" "ocaml-option-spacetime" "ocaml-option-static" "ocaml-option-nnp" "ocaml-option-nnpchecker" "ocaml-option-address-sanitizer" "ocaml-option-leak-sanitizer" "ocaml-option-tsan" ] flags: compiler } package "ocaml-solo5" { opam-version: "2.0" version: "0.8.2" synopsis: "Freestanding OCaml compiler" description: "This package provides a OCaml cross-compiler, suitable for linking with a Solo5 unikernel." maintainer: "Martin Lucina " authors: "Martin Lucina " license: "MIT" tags: "org:mirage" homepage: "https://github.com/mirage/ocaml-solo5" bug-reports: "https://github.com/mirage/ocaml-solo5/issues/" depends: [ "conf-which" {build} "ocamlfind" {build} "ocaml-src" {build} "ocaml" {>= "4.12.1" & < "4.15.0"} "solo5" {>= "0.7.0"} ] conflicts: [ "sexplib" {= "v0.9.0"} "solo5-kernel-ukvm" "solo5-kernel-virtio" "solo5-kernel-muen" ] available: os = "linux" & (arch = "x86_64" | arch = "arm64") | os = "freebsd" & arch = "x86_64" | os = "openbsd" & arch = "x86_64" build: [ [ "./configure.sh" "--prefix=%{prefix}%" "--target=x86_64-solo5-none-static" {arch = "x86_64"} "--target=aarch64-solo5-none-static" {arch = "arm64"} "--ocaml-configure-option=--disable-flat-float-array" {ocaml-option-no-flat-float-array:installed} "--ocaml-configure-option=--enable-flambda" {ocaml-option-flambda:installed} "--ocaml-configure-option=--disable-naked-pointers" {ocaml-option-nnp:installed} ] [make "-j%{jobs}%"] ] install: [make "install"] dev-repo: "git+https://github.com/mirage/ocaml-solo5.git" url { src: "https://github.com/mirage/ocaml-solo5/archive/refs/tags/v0.8.2.tar.gz" checksum: [ "sha256=d143f65fee5d95d056b79e05729a5e4029b07586e96827a449b21584fa2ff12d" "sha512=f38e1f5616938460deb5f36272991f8b3060b04b77d9674051abcc508f0233cf85053e2d19fd3b257638c9e108b65840b97a2dd75cdfac666fd2ea4183d1c62d" ] } } package "ocaml-src" { opam-version: "2.0" version: "4.14.1" synopsis: "Compiler sources" maintainer: "opam-devel@lists.ocaml.org" authors: "OCaml contributors" license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" homepage: "http://ocaml.org/" depends: [ "ocaml" {= "4.14.1"} ] install: ["cp" "-r" "." "%{lib}%/ocaml-src"] extra-files: ["META" "md5=860d7e64cb4b724927ee42483e21e133"] url { src: "https://github.com/ocaml/ocaml/archive/4.14.1.tar.gz" checksum: "sha256=776006e6f0b9bcfb6d9d74381c588e587432ca85562fde93bb80472a5145b028" } } package "ocamlbuild" { opam-version: "2.0" version: "0.14.3" synopsis: "OCamlbuild is a build system with builtin rules to easily build most OCaml projects" maintainer: "Gabriel Scherer " authors: ["Nicolas Pouillard" "Berke Durak"] license: "LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception" homepage: "https://github.com/ocaml/ocamlbuild/" doc: "https://github.com/ocaml/ocamlbuild/blob/master/manual/manual.adoc" bug-reports: "https://github.com/ocaml/ocamlbuild/issues" depends: [ "ocaml" {>= "4.03"} ] conflicts: [ "base-ocamlbuild" "ocamlfind" {< "1.6.2"} ] available: os != "win32" build: [ [ make "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=%{prefix}%" "OCAMLBUILD_BINDIR=%{bin}%" "OCAMLBUILD_LIBDIR=%{lib}%" "OCAMLBUILD_MANDIR=%{man}%" "OCAML_NATIVE=%{ocaml:native}%" "OCAML_NATIVE_TOOLS=%{ocaml:native}%" ] [make "check-if-preinstalled" "all" "opam-install"] ] dev-repo: "git+https://github.com/ocaml/ocamlbuild.git" url { src: "https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.14.3.tar.gz" checksum: [ "md5=220df59060c916e8aac2eb471c870485" "sha512=def8fa1d5488905fda31f72b7f6f0ebdccefa55a8e984a6ea4a7c1e0856e8ea1f7814410202e0f7f7d5e72aca7e8ae0d6623f7f2bade78b0dd82155de76ec4e5" ] } } package "ocamlfind" { opam-version: "2.0" version: "1.9.6" synopsis: "A library manager for OCaml" description: """\ Findlib is a library manager for OCaml. It provides a convention how to store libraries, and a file format ("META") to describe the properties of libraries. There is also a tool (ocamlfind) for interpreting the META files, so that it is very easy to use libraries in programs and scripts.""" maintainer: "Thomas Gazagnaire " authors: "Gerd Stolpmann " license: "MIT" homepage: "http://projects.camlcity.org/projects/findlib.html" bug-reports: "https://github.com/ocaml/ocamlfind/issues" depends: [ "ocaml" {>= "3.08.0"} ] depopts: ["graphics"] available: os != "win32" build: [ [ "./configure" "-bindir" bin "-sitelib" lib "-mandir" man "-config" "%{lib}%/findlib.conf" "-no-custom" "-no-camlp4" {!ocaml:preinstalled & ocaml:version >= "4.02.0"} "-no-topfind" {ocaml:preinstalled} ] [make "all"] [make "opt"] {ocaml:native} ] install: [ [make "install"] ["install" "-m" "0755" "ocaml-stub" "%{bin}%/ocaml"] {ocaml:preinstalled} ] patches: "0001-Harden-test-for-OCaml-5.patch" dev-repo: "git+https://github.com/ocaml/ocamlfind.git" extra-files: [ "0001-Harden-test-for-OCaml-5.patch" "md5=3cddbf72164c29d4e50e077a92a37c6c" ] url { src: "http://download.camlcity.org/download/findlib-1.9.6.tar.gz" checksum: [ "md5=96c6ee50a32cca9ca277321262dbec57" "sha512=cfaf1872d6ccda548f07d32cc6b90c3aafe136d2aa6539e03143702171ee0199add55269bba894c77115535dc46a5835901a5d7c75768999e72db503bfd83027" ] } } package "rresult" { opam-version: "2.0" version: "0.7.0" synopsis: "Result value combinators for OCaml" description: """\ Rresult is an OCaml module for handling computation results and errors in an explicit and declarative manner, without resorting to exceptions. It defines combinators to operate on the `result` type available from OCaml 4.03 in the standard library. OCaml 4.08 provides the `Stdlib.Result` module which you should prefer to Rresult. Rresult is distributed under the ISC license. Home page: http://erratique.ch/software/rresult Contact: Daniel Bünzli ``""" maintainer: "Daniel Bünzli " authors: "The rresult programmers" license: "ISC" tags: ["result" "error" "org:erratique"] homepage: "https://erratique.ch/software/rresult" doc: "https://erratique.ch/software/rresult/doc/Rresult" bug-reports: "https://github.com/dbuenzli/rresult/issues" depends: [ "ocaml" {>= "4.08.0"} "ocamlfind" {build} "ocamlbuild" {build} "topkg" {build & >= "1.0.3"} ] build: ["ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%"] dev-repo: "git+https://erratique.ch/repos/rresult.git" url { src: "https://erratique.ch/software/rresult/releases/rresult-0.7.0.tbz" checksum: "sha512=f1bb631c986996388e9686d49d5ae4d8aaf14034f6865c62a88fb58c48ce19ad2eb785327d69ca27c032f835984e0bd2efd969b415438628a31f3e84ec4551d3" } } package "solo5" { opam-version: "2.0" version: "0.8.0" synopsis: "Solo5 sandboxed execution environment" description: """\ Solo5 is a sandboxed execution environment primarily intended for, but not limited to, running applications built using various unikernels (a.k.a. library operating systems). This package provides the Solo5 components needed to build and run MirageOS unikernels on the host system.""" maintainer: "martin@lucina.net" authors: [ "Dan Williams " "Martin Lucina " "Ricardo Koller " ] license: "ISC" homepage: "https://github.com/solo5/solo5" bug-reports: "https://github.com/solo5/solo5/issues" depends: [ "conf-pkg-config" {build & os = "linux"} "conf-libseccomp" {build & os = "linux"} ] conflicts: [ "ocaml-freestanding" {< "0.7.0"} "solo5-bindings-hvt" "solo5-bindings-spt" "solo5-bindings-virtio" "solo5-bindings-muen" "solo5-bindings-genode" "solo5-bindings-xen" ] available: (arch = "x86_64" | arch = "arm64" | arch = "ppc64") & (os = "linux" | os = "freebsd" | os = "openbsd") build: [ ["./configure.sh" "--prefix=%{prefix}%"] [make "V=1"] ] install: [make "V=1" "install"] depexts: [ ["linux-headers"] {os-distribution = "alpine"} ["kernel-headers"] {os-distribution = "fedora"} ["kernel-headers"] {os-distribution = "rhel"} ["linux-libc-dev"] {os-family = "debian"} ] dev-repo: "git+https://github.com/solo5/solo5.git" url { src: "https://github.com/Solo5/solo5/releases/download/v0.8.0/solo5-v0.8.0.tar.gz" checksum: "sha512=d819d66407b84b56d46b5e534d5424903f15b124aa1c24d546abe1d9adb5a622ceee93cb1303a14ebf7811c7b5dad2d94a490cabbde489245efd66114617c39b" } x-ci-accept-failures: ["centos-7"] } package "topkg" { opam-version: "2.0" version: "1.0.7" synopsis: "The transitory OCaml software packager" description: """\ Topkg is a packager for distributing OCaml software. It provides an API to describe the files a package installs in a given build configuration and to specify information about the package's distribution, creation and publication procedures. The optional topkg-care package provides the `topkg` command line tool which helps with various aspects of a package's life cycle: creating and linting a distribution, releasing it on the WWW, publish its documentation, add it to the OCaml opam repository, etc. Topkg is distributed under the ISC license and has **no** dependencies. This is what your packages will need as a *build* dependency. Topkg-care is distributed under the ISC license it depends on [fmt][fmt], [logs][logs], [bos][bos], [cmdliner][cmdliner], [webbrowser][webbrowser] and `opam-format`. [fmt]: http://erratique.ch/software/fmt [logs]: http://erratique.ch/software/logs [bos]: http://erratique.ch/software/bos [cmdliner]: http://erratique.ch/software/cmdliner [webbrowser]: http://erratique.ch/software/webbrowser Home page: http://erratique.ch/software/topkg""" maintainer: "Daniel Bünzli " authors: "The topkg programmers" license: "ISC" tags: ["packaging" "ocamlbuild" "org:erratique"] homepage: "https://erratique.ch/software/topkg" doc: "https://erratique.ch/software/topkg/doc" bug-reports: "https://github.com/dbuenzli/topkg/issues" depends: [ "ocaml" {>= "4.05.0"} "ocamlfind" {build & >= "1.6.1"} "ocamlbuild" ] build: [ "ocaml" "pkg/pkg.ml" "build" "--pkg-name" name "--dev-pkg" "%{dev}%" ] dev-repo: "git+https://erratique.ch/repos/topkg.git" url { src: "https://erratique.ch/software/topkg/releases/topkg-1.0.7.tbz" checksum: "sha512=09e59f1759bf4db8471f02d0aefd8db602b44932a291c05c312b1423796e7a15d1598d3c62a0cec7f083eff8e410fac09363533dc4bd2120914bb9664efea535" } } package "uutf" { opam-version: "2.0" version: "1.0.3" synopsis: "Non-blocking streaming Unicode codec for OCaml" description: """\ Uutf is a non-blocking streaming codec to decode and encode the UTF-8, UTF-16, UTF-16LE and UTF-16BE encoding schemes. It can efficiently work character by character without blocking on IO. Decoders perform character position tracking and support newline normalization. Functions are also provided to fold over the characters of UTF encoded OCaml string values and to directly encode characters in OCaml Buffer.t values. **Note** that since OCaml 4.14, that functionality can be found in the Stdlib and you are encouraged to migrate to it. Uutf has no dependency and is distributed under the ISC license. Home page: http://erratique.ch/software/uutf Contact: Daniel Bünzli ``""" maintainer: "Daniel Bünzli " authors: "The uutf programmers" license: "ISC" tags: ["unicode" "text" "utf-8" "utf-16" "codec" "org:erratique"] homepage: "https://erratique.ch/software/uutf" doc: "https://erratique.ch/software/uutf/doc/" bug-reports: "https://github.com/dbuenzli/uutf/issues" depends: [ "ocaml" {>= "4.03.0"} "ocamlfind" {build} "ocamlbuild" {build} "topkg" {build & >= "1.0.3"} ] depopts: ["cmdliner"] conflicts: [ "cmdliner" {< "0.9.8"} ] build: [ "ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%" "--with-cmdliner" "%{cmdliner:installed}%" ] dev-repo: "git+https://erratique.ch/repos/uutf.git" url { src: "https://erratique.ch/software/uutf/releases/uutf-1.0.3.tbz" checksum: "sha512=50cc4486021da46fb08156e9daec0d57b4ca469b07309c508d5a9a41e9dbcf1f32dec2ed7be027326544453dcaf9c2534919395fd826dc7768efc6cc4bfcc9f8" } }