diff --git a/packages/.keep_me b/packages/.keep_me new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/packages/asetmap/asetmap.0.8.1+dune/opam b/packages/asetmap/asetmap.0.8.1+dune/opam new file mode 100644 index 000000000000..f987221a9ad0 --- /dev/null +++ b/packages/asetmap/asetmap.0.8.1+dune/opam @@ -0,0 +1,25 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/asetmap" +doc: "http://erratique.ch/software/asetmap/doc" +license: "ISC" +dev-repo: "git+https://github.com/dune-universe/asetmap.git" +bug-reports: "https://github.com/dbuenzli/asetmap/issues" +tags: [ "org:erratique" "set" "map" "stdlib" ] +depends: [ + "dune" {build} + "ocaml" {>= "4.01.0"} +] +synopsis: "Alternative, compatible, OCaml standard library Sets and Maps" +description: """ +asetmap provides slightly tweaked OCaml standard library Set and Map +functors. asetmap tries to maximize compatibility with the standard +library. It essentially gets rid of `Not_found` exceptions and provide +pretty-printers for the data types. + +asetmap has no dependency is distributed under the ISC license.""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/asetmap.git#duniverse-v0.8.1" +} diff --git a/packages/astring/astring.0.8.3+dune/opam b/packages/astring/astring.0.8.3+dune/opam new file mode 100644 index 000000000000..806ee0c7db69 --- /dev/null +++ b/packages/astring/astring.0.8.3+dune/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/astring" +doc: "http://erratique.ch/software/astring/doc" +dev-repo: "git+https://github.com/dune-universe/astring.git" +bug-reports: "https://github.com/dbuenzli/astring/issues" +tags: [ "string" "org:erratique" ] +license: "ISC" +depends: [ + "dune" + "ocaml" {>= "4.01.0"} + "base-bytes" +] +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.""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/astring.git#duniverse-v0.8.3" +} diff --git a/packages/bheap/bheap.1.0.0+dune/opam b/packages/bheap/bheap.1.0.0+dune/opam new file mode 100644 index 000000000000..fcf3fb52619f --- /dev/null +++ b/packages/bheap/bheap.1.0.0+dune/opam @@ -0,0 +1,20 @@ +opam-version: "2.0" +maintainer: "Jean-Christophe.Filliatre@lri.fr" +authors: "Jean-Christophe Filliâtre" +license: "LGPL-2.1" +homepage: "https://www.lri.fr/~filliatr/software.en.html" +bug-reports: "https://github.com/UnixJunkie/bheap/issues" +depends: [ + "ocaml" + "dune" +] +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name] +] +dev-repo: "git+https://github.com/dune-universe/bheap.git" +url { + src: + "git://github.com/dune-universe/bheap.git#to-dune" +} + diff --git a/packages/bos/bos.0.2.0+dune/opam b/packages/bos/bos.0.2.0+dune/opam new file mode 100644 index 000000000000..ad58ed6b08b7 --- /dev/null +++ b/packages/bos/bos.0.2.0+dune/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/bos" +doc: "http://erratique.ch/software/bos/doc" +dev-repo: "git+https://github.com/dune-universe/bos.git" +bug-reports: "https://github.com/dbuenzli/bos/issues" +tags: [ "os" "system" "cli" "command" "file" "path" "log" "unix" "org:erratique" ] +license: "ISC" +depends: [ + "dune" + "ocaml" {>= "4.01.0"} + "base-unix" + "rresult" {>= "0.4.0"} + "astring" + "fpath" + "fmt" {>= "0.8.0"} + "logs" + "mtime" {with-test} +] +synopsis: "Basic OS interaction for OCaml" +description: """ +Bos provides support for basic and robust interaction with the +operating system in OCaml. It has functions to access the process +environment, parse command line arguments, interact with the file +system and run command line programs. + +Bos works equally well on POSIX and Windows operating systems. + +Bos depends on [Rresult][rresult], [Astring][astring], [Fmt][fmt], +[Fpath][fpath] and [Logs][logs] and the OCaml Unix library. It is +distributed under the ISC license. + +[rresult]: http://erratique.ch/software/rresult +[astring]: http://erratique.ch/software/astring +[fmt]: http://erratique.ch/software/fmt +[fpath]: http://erratique.ch/software/fpath +[logs]: http://erratique.ch/software/logs""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/bos.git#duniverse-v0.2.0" +} diff --git a/packages/charInfo_width/charInfo_width.1.1.0+dune/opam b/packages/charInfo_width/charInfo_width.1.1.0+dune/opam new file mode 100644 index 000000000000..834af76f945b --- /dev/null +++ b/packages/charInfo_width/charInfo_width.1.1.0+dune/opam @@ -0,0 +1,26 @@ +opam-version: "2.0" +maintainer: "zandoye@gmail.com" +authors: [ "ZAN DoYe" ] +homepage: "https://bitbucket.org/zandoye/charinfo_width/" +bug-reports: "https://bitbucket.org/zandoye/charinfo_width/issues" +license: "MIT" +dev-repo: "https://github.com/dune-universe/charinfo_width" +build: [ + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test & (ocaml:version >= "4.04.0")} +] +depends: [ + "ocaml" {>= "4.02.3"} + "result" + "camomile" {>= "1.0.0" & < "2.0~"} + "dune" + "ppx_expect" {with-test} +] + +synopsis: "Determine column width for a character" +description: """ +This module is implemented purely in OCaml and the width function follows the prototype of POSIX's wcwidth.""" + +url { + src: "git://github.com/dune-universe/charinfo_width.git#duniverse-1.1.0" +} diff --git a/packages/cmdliner/cmdliner.1.0.4+dune/opam b/packages/cmdliner/cmdliner.1.0.4+dune/opam new file mode 100644 index 000000000000..cb958e70d245 --- /dev/null +++ b/packages/cmdliner/cmdliner.1.0.4+dune/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/cmdliner" +doc: "http://erratique.ch/software/cmdliner/doc/Cmdliner" +dev-repo: "git+https://github.com/dune-universe/cmdliner.git" +bug-reports: "https://github.com/dbuenzli/cmdliner/issues" +tags: [ "cli" "system" "declarative" "org:erratique" ] +license: "ISC" +depends: [ + "dune" "ocaml" {>= "4.03.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 +""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/cmdliner.git#duniverse-v1.0.4" +} diff --git a/packages/ctypes-foreign/ctypes-foreign.0.17.1+dune/opam b/packages/ctypes-foreign/ctypes-foreign.0.17.1+dune/opam new file mode 100644 index 000000000000..d16c4834f0a1 --- /dev/null +++ b/packages/ctypes-foreign/ctypes-foreign.0.17.1+dune/opam @@ -0,0 +1,55 @@ +opam-version: "2.0" +maintainer: "yallop@gmail.com" +authors: "yallop@gmail.com" +tags: ["org:ocamllabs" "org:mirage"] +homepage: "https://github.com/ocamllabs/ocaml-ctypes" +bug-reports: "http://github.com/ocamllabs/ocaml-ctypes/issues" +post-messages: "This package requires libffi on your system" {failure} +synopsis: "Dynamic access to foreign C libraries using Ctypes" +description: """ +ctypes is a library for binding to C libraries using pure OCaml. The primary +aim is to make writing C extensions as straightforward as possible. +The core of ctypes is a set of combinators for describing the structure of C +types -- numeric types, arrays, pointers, structs, unions and functions. You +can use these combinators to describe the types of the functions that you want +to call, then bind directly to those functions -- all without writing or +generating any C! + +To install the optional `ctypes.foreign` interface (which uses `libffi` to +provide dynamic access to foreign libraries), you will need to also install +the `ctypes-foreign` package. + + opam install ctypes-foreign + +This will make the `ctypes-foreign` ocamlfind subpackage available. +""" +depexts: [ + ["libffi-dev"] {os-distribution = "debian"} + ["libffi-dev"] {os-distribution = "ubuntu"} + ["libffi"] {os = "macos" & os-distribution = "homebrew"} + ["libffi-devel"] {os-distribution = "centos"} + ["libffi-devel"] {os-distribution = "oraclelinux"} + ["libffi-devel"] {os-distribution = "fedora"} + ["libffi-dev"] {os-distribution = "alpine"} + ["libffi-devel"] {os-distribution = "opensuse"} +] +depends: [ + "ocaml" {>= "4.02.3"} + "dune" + "ctypes" {=version} + "conf-pkg-config" {build} + "lwt" {with-test} + "ounit" {with-test} + "conf-ncurses" {with-test} + "stdlib-shims" {with-test} +] +build: [ + ["dune" "subst"] + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] +dev-repo: "git+https://github.com/avsm/ocaml-ctypes.git" +url { + src: "git+https://github.com/avsm/ocaml-ctypes.git#dune-port" +} + diff --git a/packages/ctypes/ctypes.0.17.1+dune/opam b/packages/ctypes/ctypes.0.17.1+dune/opam new file mode 100644 index 000000000000..b96edfe3e803 --- /dev/null +++ b/packages/ctypes/ctypes.0.17.1+dune/opam @@ -0,0 +1,44 @@ +opam-version: "2.0" +version: "dev" +maintainer: "yallop@gmail.com" +authors: "yallop@gmail.com" +license: "MIT" +tags: ["org:ocamllabs" "org:mirage"] +homepage: "https://github.com/ocamllabs/ocaml-ctypes" +bug-reports: "http://github.com/ocamllabs/ocaml-ctypes/issues" +synopsis: "Combinators for binding to C libraries without writing any C" +description: """ +ctypes is a library for binding to C libraries using pure OCaml. The primary +aim is to make writing C extensions as straightforward as possible. +The core of ctypes is a set of combinators for describing the structure of C +types -- numeric types, arrays, pointers, structs, unions and functions. You +can use these combinators to describe the types of the functions that you want +to call, then bind directly to those functions -- all without writing or +generating any C! + +To install the optional `ctypes.foreign` interface (which uses `libffi` to +provide dynamic access to foreign libraries), you will need to also install +the `ctypes-foreign` package. + + opam install ctypes-foreign + +This will make the `ctypes-foreign` ocamlfind subpackage available. +""" + +depends: [ + "ocaml" {>= "4.02.3"} + "dune" {>="1.7"} + "integers" + "bisect_ppx" +] +depopts: [ + "ocveralls" {with-test} +] +build: [ + ["dune" "subst"] + ["dune" "build" "-p" name "-j" jobs] +] +dev-repo: "git+https://github.com/avsm/ocaml-ctypes.git" +url { + src: "git+https://github.com/avsm/ocaml-ctypes.git#dune-port" +} diff --git a/packages/cudf/cudf.0.9+dune/opam b/packages/cudf/cudf.0.9+dune/opam new file mode 100644 index 000000000000..f4a7005422e8 --- /dev/null +++ b/packages/cudf/cudf.0.9+dune/opam @@ -0,0 +1,21 @@ +opam-version: "2.0" +maintainer: "roberto@dicosmo.org" +authors: ["Roberto di Cosmo " "Stefano Zacchiroli" "Pietro Abate"] +homepage: "http://www.mancoosi.org/cudf/" +bug-reports: "https://gforge.inria.fr/tracker/?atid=13811&group_id=4385&func=browse" +dev-repo: "git+https://github.com/dune-universe/cudf.git" +depends: [ + "dune" + "ocaml" + "conf-perl" {build} + ("extlib" | "extlib-compat") +] +synopsis: "CUDF library (part of the Mancoosi tools)" +description: """ +CUDF (for Common Upgradeability Description Format) is a format for +describing upgrade scenarios in package-based Free and Open Source +Software distribution.""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/cudf.git#duniverse-0.9" +} diff --git a/packages/dose3/dose3.5.0.1+dune/opam b/packages/dose3/dose3.5.0.1+dune/opam new file mode 100644 index 000000000000..de73e2b651db --- /dev/null +++ b/packages/dose3/dose3.5.0.1+dune/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +maintainer: "pietro.abate@inria.fr" +authors: [ + "Pietro Abate" + "Jaap Boender" + "Roberto Di Cosmo" + "Johannes Schauer" + "Ralf Treinen" + "Stefano Zacchiroli" + "Jakub Zwolakowski" + "Olivier Rosello" +] +homepage: "http://www.mancoosi.org/software/" +bug-reports: "https://gforge.inria.fr/tracker/?group_id=4395" +license: "LGPL-v3+ with OCaml linking exception" +dev-repo: "git+https://github.com/dune-universe/dose3.git" +depends: [ + "dune" + "ocaml" + "ocamlgraph" {>= "1.8.6"} + "cudf" {>= "0.7"} + "conf-perl" {build} + ("extlib" {>= "1.7.0"} | "extlib-compat" {>= "1.7.0"}) + "re" {>= "1.2.2"} + "cppo" {build & >= "1.1.2"} +] +conflicts: "dose" +synopsis: "Dose library (part of Mancoosi tools)" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/dose3.git#duniverse-5.0.1" +} diff --git a/packages/extlib/extlib.1.7.6+dune/opam b/packages/extlib/extlib.1.7.6+dune/opam new file mode 100644 index 000000000000..e35406977339 --- /dev/null +++ b/packages/extlib/extlib.1.7.6+dune/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +maintainer: "ygrek@autistici.org" +homepage: "https://github.com/ygrek/ocaml-extlib" +dev-repo: "git+https://github.com/dune-universe/ocaml-extlib.git" +bug-reports: "https://github.com/ygrek/ocaml-extlib/issues" +doc: ["http://ygrek.org.ua/p/extlib/doc/"] +license: "LGPL-2.1 with OCaml linking exception" +authors: [ + "Nicolas Cannasse" + "Brian Hurt" + "Yamagata Yoriyuki" + "Markus Mottl" + "Jesse Guardiani" + "John Skaller" + "Bardur Arantsson" + "Janne Hellsten" + "Richard W.M. Jones" + "ygrek" + "Gabriel Scherer" + "Pietro Abate" +] +depends: [ + "dune" + "ocaml" + "cppo" {build} + "base-bytes" +] +synopsis: + "A complete yet small extension for OCaml standard library (reduced, recommended)" +description: """ +The purpose of this library is to add new functions to OCaml standard library +modules, to modify some functions in order to get better performances or +safety (tail-recursive) and also to provide new modules which should be useful +for day to day programming.""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/ocaml-extlib.git#duniverse-1.7.6" +} diff --git a/packages/findlib/findlib.1.8.1+dune/opam b/packages/findlib/findlib.1.8.1+dune/opam new file mode 100644 index 000000000000..f6e77fac3521 --- /dev/null +++ b/packages/findlib/findlib.1.8.1+dune/opam @@ -0,0 +1,25 @@ +opam-version: "2.0" +maintainer: "Anil Madhavapeddy " +homepage: "http://projects.camlcity.org/projects/findlib.html" +bug-reports: "https://gitlab.camlcity.org/gerd/lib-findlib/issues" +dev-repo: "git+https://github.com/dune-universe/lib-findlib.git" +build: [ + [ "env" "FINDLIB_PREFIX=%{lib}%" "dune" "build" "-p" name "-j" jobs ] +] +depends: [ + "ocaml" {>= "4.06.0"} + "dune" + "dune-configurator" +] +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. +""" +authors: "Gerd Stolpmann " +url { + src: "git+https://github.com/dune-universe/lib-findlib#duniverse-1.8.1" +} diff --git a/packages/fmt/fmt.0.8.8+dune/opam b/packages/fmt/fmt.0.8.8+dune/opam new file mode 100644 index 000000000000..2cce5b713638 --- /dev/null +++ b/packages/fmt/fmt.0.8.8+dune/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: [ "The fmt programmers" ] +homepage: "https://erratique.ch/software/fmt" +doc: "https://erratique.ch/software/fmt" +dev-repo: "git+https://github.com/dune-universe/fmt.git" +bug-reports: "https://github.com/dbuenzli/fmt/issues" +tags: [ "string" "format" "pretty-print" "org:erratique" ] +license: "ISC" +build: [ + [ "dune" "build" "-p" name "-j" jobs ] +] +run-test: [ + [ "dune" "runtest" "-p" name "-j" jobs ] +] +depends: [ + "dune" + "ocaml" {>= "4.07.0"} + "stdlib-shims" +] +depopts: [ "base-unix" "cmdliner" ] +conflicts: [ "cmdliner" {< "0.9.8"} ] +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 +""" +url { + src: "git+https://github.com/dune-universe/fmt#duniverse-v0.8.8" +} diff --git a/packages/fpath/fpath.0.7.2+dune/opam b/packages/fpath/fpath.0.7.2+dune/opam new file mode 100644 index 000000000000..43b62f1e4ac2 --- /dev/null +++ b/packages/fpath/fpath.0.7.2+dune/opam @@ -0,0 +1,29 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/fpath" +doc: "http://erratique.ch/software/fpath/doc" +dev-repo: "git+https://github.com/dune-universe/fpath.git" +bug-reports: "https://github.com/dbuenzli/fpath/issues" +tags: [ "file" "system" "path" "org:erratique" ] +license: "ISC" +depends: [ + "dune" + "ocaml" {>= "4.01.0"} + "result" + "astring" +] +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""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/fpath.git#duniverse-v0.7.2" +} diff --git a/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/files/gmp-freestanding.pc b/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/files/gmp-freestanding.pc new file mode 100644 index 000000000000..bf852be2d9f0 --- /dev/null +++ b/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/files/gmp-freestanding.pc @@ -0,0 +1,9 @@ +libdir=${pcfiledir}/../gmp-freestanding +includedir=${libdir}/include + +Name: gmp-freestanding +Version: 6.1.2 +URL: https://gmplib.org +Description: The GNU Multiple Precision Arithmetic Library +Cflags: -I${includedir} +Libs: -L${libdir} -lgmp-freestanding diff --git a/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/files/mirage-build.sh b/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/files/mirage-build.sh new file mode 100644 index 000000000000..c6b20af3902e --- /dev/null +++ b/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/files/mirage-build.sh @@ -0,0 +1,43 @@ +#!/bin/sh -ex +if [ -z "$PREFIX" ]; then + PREFIX="`opam config var prefix`/lib/gmp-freestanding" +fi + +PKG_CONFIG_DEPS="ocaml-freestanding" +check_deps () { + pkg-config --print-errors --exists ${PKG_CONFIG_DEPS} +} + +if ! check_deps 2>/dev/null; then + # rely on `opam` if deps are unavailable + export PKG_CONFIG_PATH="`opam config var prefix`/lib/pkgconfig" +fi +check_deps || exit 1 + +# +# ocaml-freestanding does not provide a real cross compiler, so we fake it: +# +# - set CC to stop configure trying to find a host compiler +# - set CPPFLAGS to ocaml-freestanding CFLAGS, this prevents inclusion of +# system headers +# - manually override tests for missing functions +# - manually trim the components (SUBDIRS) of libgmp we build to the subset +# actually used by zarith-freestanding (our sole dependency) +# - set -Werror=implicit-function-declaration at *build* time to catch any +# undefined symbols +# +# Further, with the introduction of -fstack-protector-strong in Solo5, override +# this during './configure' to prevent it complaining that the compiler does not +# work, and reinstate it again during 'make'. +# +FREESTANDING_CFLAGS="$(pkg-config --cflags ${PKG_CONFIG_DEPS})" +ac_cv_func_obstack_vprintf=no \ +ac_cv_func_localeconv=no \ +./configure \ + --host=$(uname -m)-unknown-none --enable-fat --disable-shared --with-pic=no \ + CC=cc "CPPFLAGS=${FREESTANDING_CFLAGS} -fno-stack-protector" + +make SUBDIRS="mpn mpz mpq mpf" \ + PRINTF_OBJECTS= SCANF_OBJECTS= \ + CPPFLAGS="${FREESTANDING_CFLAGS}" \ + CFLAGS+=-Werror=implicit-function-declaration diff --git a/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/files/mirage-install.sh b/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/files/mirage-install.sh new file mode 100644 index 000000000000..a09b15bfb25a --- /dev/null +++ b/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/files/mirage-install.sh @@ -0,0 +1,14 @@ +#!/bin/sh -ex +if [ -z "$PREFIX" ]; then + PREFIX=`opam config var prefix` +fi +PKG_CONFIG_PATH=${PREFIX}/lib/pkgconfig +LIBDIR=${PREFIX}/lib/gmp-freestanding + +mkdir -p ${PKG_CONFIG_PATH} +cp gmp-freestanding.pc ${PKG_CONFIG_PATH} +mkdir -p ${LIBDIR} +cp .libs/libgmp.a ${LIBDIR}/libgmp-freestanding.a +touch ${LIBDIR}/META +mkdir -p ${LIBDIR}/include +cp gmp.h ${LIBDIR}/include diff --git a/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/opam b/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/opam new file mode 100644 index 000000000000..db4b470758b7 --- /dev/null +++ b/packages/gmp-freestanding/gmp-freestanding.6.1.2-2+dune/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +maintainer: "Martin Lucina " +homepage: "https://gmplib.org/" +license: "GNU LGPL v3 and GNU GPL v2" +authors: "Torbjörn Granlund and contributors" +bug-reports: "mirageos-devel@lists.xenproject.org" + +dev-repo: "git+https://gmplib.org/repo/" +build: ["sh" "-ex" "./mirage-build.sh"] +install: ["sh" "-ex" "./mirage-install.sh"] +remove: [ + "rm" "-rf" + "%{prefix}%/lib/pkgconfig/gmp-freestanding.pc" + "%{prefix}%/lib/gmp-freestanding" +] +depends: [ + "ocaml" + "ocaml-freestanding" {>= "0.4.1"} +] +synopsis: "The GNU Multiple Precision Arithmetic Library" +description: "Freestanding build of GNU GMP." +flags: light-uninstall +extra-files: [ + ["mirage-install.sh" "md5=aca9a1c985326f95daa51aedef55b318"] + ["mirage-build.sh" "md5=c4b411f29867c13595470011d3b77f6c"] + ["gmp-freestanding.pc" "md5=391473dd7c6957fed3e9e485e456fb6c"] +] +url { + src: "https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz" + checksum: "md5=f58fa8001d60c4c77595fbbb62b63c1d" +} diff --git a/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/gmp-6a.diff b/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/gmp-6a.diff new file mode 100644 index 000000000000..6c54c67c543e --- /dev/null +++ b/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/gmp-6a.diff @@ -0,0 +1,20 @@ +--- gmp-6.0.0.orig.orig/config.guess 2014-03-25 14:37:55.000000000 +0000 ++++ gmp-6.0.0.orig/config.guess 2014-09-16 15:46:57.457485087 +0000 +@@ -173,7 +173,7 @@ + ;; + + arm*-*-*) +- cpu_code=`sed -n 's/^CPU part.*\(0x.*\)$/\1/p' /proc/cpuinfo 2>/dev/null` ++ cpu_code=`sed -n 's/^CPU part.*\(0x.*\)$/\1/p' /proc/cpuinfo | head -1 2>/dev/null` + case "$cpu_code" in + 0xa10 | 0xa11 | 0xb11) # v4 strongarm/sa1100 + exact_cpu="armsa1";; +@@ -200,7 +200,7 @@ + 0xc15) exact_cpu="armcortexr5";; # v7r + 0xc23) exact_cpu="armcortexm3";; # v7m + esac +- exact_cpu="${exact_cpu}`sed -n 's;^Features.*\(neon\).*;\1;p' /proc/cpuinfo 2>/dev/null`" ++ exact_cpu="${exact_cpu}`sed -n 's;^Features.*\(neon\).*;\1;p' /proc/cpuinfo | head -1 2>/dev/null`" + ;; + + ia64*-*-*) diff --git a/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/gmp-xen.pc b/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/gmp-xen.pc new file mode 100644 index 000000000000..f1c77838b6f8 --- /dev/null +++ b/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/gmp-xen.pc @@ -0,0 +1,9 @@ +libdir=${pcfiledir}/../gmp-xen +includedir=${libdir}/include + +Name: gmp-xen +Version: 6.0.0 +URL: https://gmplib.org +Description: The GNU Multiple Precision Arithmetic Library +Cflags: -I${includedir} +Libs: -L${libdir} -lgmp-xen diff --git a/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/mirage-build.sh b/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/mirage-build.sh new file mode 100644 index 000000000000..12471bf20785 --- /dev/null +++ b/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/mirage-build.sh @@ -0,0 +1,31 @@ +#!/bin/sh -ex +if [ -z "$PREFIX" ]; then + PREFIX="`opam config var prefix`/lib/gmp-xen" +fi + +PKG_CONFIG_DEPS="mirage-xen-posix" +check_deps () { + pkg-config --print-errors --exists ${PKG_CONFIG_DEPS} +} + +if ! check_deps 2>/dev/null; then + # rely on `opam` if deps are unavailable + export PKG_CONFIG_PATH="`opam config var prefix`/lib/pkgconfig" +fi +check_deps || exit 1 + +CPPFLAGS="$CPPFLAGS `pkg-config $PKG_CONFIG_DEPS --cflags` -O2 -pedantic -fomit-frame-pointer -fno-builtin -D_FORTIFY_SOURCE=0 -Wmissing-prototypes --std=gnu99" +# Use different --host and --build to trigger cross-compilation mode (don't try to test binaries during configure) +# Set CC to stop it trying to find a separate compiler for HOST. +# Pass CPPFLAGS (not just CFLAGS) to stop it finding the Linux headers (just generates warnings). +# Use -Werror=missing-prototypes because we're not running the tests due to cross-compiling. +HOST="`uname -m`-unknown-none" +BUILD=`./config.guess` +./configure --host="$HOST" --build="$BUILD" --enable-fat CC=gcc --prefix="$PREFIX" --disable-shared CPPFLAGS="$CPPFLAGS" --with-pic +# Because we're cross-compiling, configurate can't tell whether a function +# actually exists and just assumes they all do. For localeconv, this is wrong. +sed -e '/HAVE_LOCALECONV/d' \ + -e '/HAVE_OBSTACK_VPRINTF/d'\ + -i config.status +./config.status +make diff --git a/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/mirage-install.sh b/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/mirage-install.sh new file mode 100644 index 000000000000..56b3d7a35bcd --- /dev/null +++ b/packages/gmp-xen/gmp-xen.6.0.0-1+dune/files/mirage-install.sh @@ -0,0 +1,13 @@ +#!/bin/sh -ex +if [ -z "$PREFIX" ]; then + PREFIX=`opam config var prefix` +fi +LIBDIR="$PREFIX/lib/gmp-xen" +PKG_CONFIG_PATH="$PREFIX/lib/pkgconfig" +export PKG_CONFIG_PATH + +make install +mkdir -p "$PKG_CONFIG_PATH" +cp gmp-xen.pc "$PKG_CONFIG_PATH/" +mkdir -p "$LIBDIR" +cp .libs/libgmp.a "$LIBDIR/libgmp-xen.a" diff --git a/packages/gmp-xen/gmp-xen.6.0.0-1+dune/opam b/packages/gmp-xen/gmp-xen.6.0.0-1+dune/opam new file mode 100644 index 000000000000..c3415aa67b85 --- /dev/null +++ b/packages/gmp-xen/gmp-xen.6.0.0-1+dune/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +maintainer: "Thomas Leonard " +homepage: "https://gmplib.org/" +license: "GNU LGPL v3 and GNU GPL v2" +authors: "Torbjörn Granlund and contributors" + +dev-repo: "git+https://gmplib.org/repo/" +patches: ["gmp-6a.diff"] +build: ["sh" "-ex" "./mirage-build.sh"] +install: ["sh" "-ex" "./mirage-install.sh"] +remove: [ + "rm" "-rf" + "%{prefix}%/lib/pkgconfig/gmp-xen.pc" + "%{prefix}%/lib/gmp-xen" +] +depends: [ + "ocaml" + "mirage-xen-posix" + "conf-m4" {build} +] +synopsis: "The GNU Multiple Precision Arithmetic Library" +flags: light-uninstall +extra-files: [ + ["mirage-install.sh" "md5=208756962625681926dba3d6a2ec8a55"] + ["mirage-build.sh" "md5=7dff6a4104bcdf01be7f0be0a6d71afc"] + ["gmp-xen.pc" "md5=4fd6b2b151153a75bf651502b38c84c3"] + ["gmp-6a.diff" "md5=ef379d00b52fd8138627e8d13606736c"] +] +url { + src: "https://gmplib.org/download/gmp/gmp-6.0.0a.tar.xz" + checksum: "md5=1e6da4e434553d2811437aa42c7f7c76" +} diff --git a/packages/hashcons/hashcons.1.3+dune/opam b/packages/hashcons/hashcons.1.3+dune/opam new file mode 100644 index 000000000000..56ead51fe1ca --- /dev/null +++ b/packages/hashcons/hashcons.1.3+dune/opam @@ -0,0 +1,23 @@ +opam-version: "2.0" +maintainer: "sheets@alum.mit.edu" +homepage: "https://github.com/backtracking/ocaml-hashcons" +dev-repo: "git+https://github.com/dune-universe/ocaml-hashcons.git" +bug-reports: "https://github.com/backtracking/ocaml-hashcons/issues" +authors: [ "Jean-Christophe Filliatre" ] +license: "LGPL-2.1 with OCaml linking exception" +depends: [ + "dune" + "ocaml" +] +synopsis: "OCaml hash-consing library" +description: """ +The technique is described in this paper: + +*Sylvain Conchon and Jean-Christophe Filliâtre.* Type-Safe Modular Hash-Consing. +In ACM SIGPLAN Workshop on ML, Portland, Oregon, September 2006. +The PDF is available at +""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/ocaml-hashcons.git#duniverse-1.3" +} diff --git a/packages/io-page/io-page.2.3.0+dune/opam b/packages/io-page/io-page.2.3.0+dune/opam new file mode 100644 index 000000000000..1125ad78f4a3 --- /dev/null +++ b/packages/io-page/io-page.2.3.0+dune/opam @@ -0,0 +1,27 @@ +opam-version: "2.0" +maintainer: "anil@recoil.org" +authors: ["Anil Madhavapeddy" "Dave Scott" "Thomas Gazagnaire"] +license: "ISC" +tags: "org:mirage" +homepage: "https://github.com/mirage/io-page" +bug-reports: "https://github.com/mirage/io-page/issues" +doc: "https://mirage.github.io/io-page/" +depends: [ + "ocaml" {>= "4.02.3"} + "dune" + "cstruct" {>= "2.0.0"} + "bigarray-compat" {>= "1.0.0"} +] +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] +] +dev-repo: "git+https://github.com/mirage/io-page.git" +synopsis: "Support for efficient handling of I/O memory pages" +description: """ +IO pages are page-aligned, and wrapped in the `Cstruct` library to avoid +copying the data contained within the page. +""" +url { + src: "git://github.com/mirage/io-page.git" +} diff --git a/packages/jsonm/jsonm.1.0.1+dune/opam b/packages/jsonm/jsonm.1.0.1+dune/opam new file mode 100644 index 000000000000..58b8670cfc2e --- /dev/null +++ b/packages/jsonm/jsonm.1.0.1+dune/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/jsonm" +doc: "http://erratique.ch/software/jsonm/doc/Jsonm" +dev-repo: "git+https://github.com/dune-universe/jsonm.git" +bug-reports: "https://github.com/dbuenzli/jsonm/issues" +tags: [ "json" "codec" "org:erratique" ] +license: "ISC" +depends: [ + "dune" + "ocaml" {>= "4.03.0"} + "uutf" {>= "1.0.0"} +] +synopsis: "Non-blocking streaming JSON codec for OCaml" +description: """ +Jsonm is a non-blocking streaming codec to decode and encode the JSON +data format. It can process JSON text without blocking on IO and +without a complete in-memory representation of the data. + +The alternative "uncut" codec also processes whitespace and +(non-standard) JSON with JavaScript comments. + +Jsonm is made of a single module and depends on [Uutf][uutf]. It is distributed +under the ISC license. + +[uutf]: http://erratique.ch/software/uutf""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/jsonm.git#duniverse-v1.0.1" +} diff --git a/packages/logs/logs.0.7.0+dune/opam b/packages/logs/logs.0.7.0+dune/opam new file mode 100644 index 000000000000..4a02fbb08a89 --- /dev/null +++ b/packages/logs/logs.0.7.0+dune/opam @@ -0,0 +1,52 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["The logs programmers"] +homepage: "https://erratique.ch/software/logs" +doc: "https://erratique.ch/software/logs/doc" +bug-reports: "https://github.com/dbuenzli/logs/issues" +tags: [ "log" "system" "org:erratique" ] +license: "ISC" +depends: [ + "ocaml" {>= "4.03.0"} + "lwt" + "fmt" + "cmdliner" + "dune" + "mtime" {with-test} ] +depopts: [ + "js_of_ocaml" +] +conflicts: [ + "js_of_ocaml" { < "3.3.0" } ] + +synopsis: """Logging infrastructure for OCaml""" +description: """\ + +Logs provides a logging infrastructure for OCaml. Logging is performed +on sources whose reporting level can be set independently. Log message +report is decoupled from logging and is handled by a reporter. + +A few optional log reporters are distributed with the base library and +the API easily allows to implement your own. + +`Logs` has no dependencies. The optional `Logs_fmt` reporter on OCaml +formatters depends on [Fmt][fmt]. The optional `Logs_browser` +reporter that reports to the web browser console depends on +[js_of_ocaml][jsoo]. The optional `Logs_cli` library that provides +command line support for controlling Logs depends on +[`Cmdliner`][cmdliner]. The optional `Logs_lwt` library that provides +Lwt logging functions depends on [`Lwt`][lwt] + +Logs and its reporters are distributed under the ISC license. + +[fmt]: http://erratique.ch/software/fmt +[jsoo]: http://ocsigen.org/js_of_ocaml/ +[cmdliner]: http://erratique.ch/software/cmdliner +[lwt]: http://ocsigen.org/lwt/ +""" + +build: [[ "dune" "build" "-p" name ]] +dev-repo: "git+https://github.com/dune-universe/logs.git" +url { + src: "git://github.com/dune-universe/logs.git#duniverse-v0.7.0" +} diff --git a/packages/mirage-clock-freestanding/mirage-clock-freestanding.3.0.1+dune/opam b/packages/mirage-clock-freestanding/mirage-clock-freestanding.3.0.1+dune/opam new file mode 100644 index 000000000000..b3b7cd725212 --- /dev/null +++ b/packages/mirage-clock-freestanding/mirage-clock-freestanding.3.0.1+dune/opam @@ -0,0 +1,30 @@ +opam-version: "2.0" +maintainer: "anil@recoil.org" +authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray"] +license: "ISC" +tags: "org:mirage" +homepage: "https://github.com/mirage/mirage-clock" +bug-reports: "https://github.com/mirage/mirage-clock/issues" +synopsis: "Paravirtual implementation of the MirageOS Clock interface" +description: """ +This 'freestanding' implementation of the MirageOS CLOCK interface +is designed to be linked against an embedded runtime that provides +a concrete implementation of the clock source. Example implementations +include the [Solo5](https://github.com/solo5/solo5) backend of +MirageOS. +""" +depends: [ + "ocaml" {>= "4.04.2"} + "dune" + "mirage-clock" {>= "1.2.0"} + "lwt" +] +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] +] +dev-repo: "git+https://github.com/mirage/mirage-clock.git" +url { + src: + "git+https://github.com/mirage/mirage-clock.git" +} diff --git a/packages/mirage-clock-unix/mirage-clock-unix.3.0.1+dune/opam b/packages/mirage-clock-unix/mirage-clock-unix.3.0.1+dune/opam new file mode 100644 index 000000000000..e7b21f810f2b --- /dev/null +++ b/packages/mirage-clock-unix/mirage-clock-unix.3.0.1+dune/opam @@ -0,0 +1,30 @@ +opam-version: "2.0" +maintainer: "anil@recoil.org" +authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray"] +license: "ISC" +tags: "org:mirage" +homepage: "https://github.com/mirage/mirage-clock" +doc: "https://mirage.github.io/mirage-clock/" +bug-reports: "https://github.com/mirage/mirage-clock/issues" +synopsis: "Unix-based implementation for the MirageOS Clock interface" +description: """ +The Unix implementation of the MirageOS Clock interface uses +`gettimeofday` or `clock_gettime`, depending on +which OS is in use (see [clock_stubs.c](https://github.com/mirage/mirage-clock/blob/master/unix/clock_stubs.c)). +""" +depends: [ + "ocaml" {>= "4.04.2"} + "dune" {build} + "mirage-clock" {>= "1.2.0"} + "lwt" +] +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name] {with-test} +] +dev-repo: "git+https://github.com/mirage/mirage-clock.git" +url { + src: + "git+https://github.com/mirage/mirage-clock.git" +} diff --git a/packages/mirage-clock/mirage-clock.3.0.1+dune/opam b/packages/mirage-clock/mirage-clock.3.0.1+dune/opam new file mode 100644 index 000000000000..2c0de3ab7c1a --- /dev/null +++ b/packages/mirage-clock/mirage-clock.3.0.1+dune/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +maintainer: "anil@recoil.org" +authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray"] +license: "ISC" +tags: "org:mirage" +homepage: "https://github.com/mirage/mirage-clock" +doc: "https://mirage.github.io/mirage-clock/" +bug-reports: "https://github.com/mirage/mirage-clock/issues" +synopsis: "Libraries and module types for portable clocks" +description: """ +This library implements portable support for an operating system timesource +that is compatible with the [MirageOS](https://mirage.io) library interfaces +found in: + +It implements an `MCLOCK` module that represents a monotonic timesource +since an arbitrary point, and `PCLOCK` which counts time since the Unix +epoch. +""" +depends: [ + "ocaml" {>= "4.04.2"} + "dune" {build} + "mirage-device" {>= "1.0.0"} +] +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] +] +dev-repo: "git+https://github.com/mirage/mirage-clock.git" +url { + src: + "git+https://github.com/mirage/mirage-clock.git" +} diff --git a/packages/mirage-runtime/mirage-runtime.4.0.0+dev/opam b/packages/mirage-runtime/mirage-runtime.4.0.0+dev/opam new file mode 100644 index 000000000000..faa71efffaa0 --- /dev/null +++ b/packages/mirage-runtime/mirage-runtime.4.0.0+dev/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +maintainer: ["anil@recoil.org" "thomas@gazagnaire.org"] +authors: ["Thomas Gazagnaire" "Anil Madhavapeddy" "Gabriel Radanne" + "Mindy Preston" "Thomas Leonard" "Nicolas Ojeda Bar" + "Dave Scott" "David Kaloper" "Hannes Mehnert" "Richard Mortier"] +homepage: "https://github.com/mirage/mirage" +bug-reports: "https://github.com/mirage/mirage/issues/" +dev-repo: "git+https://github.com/dune-universe/mirage.git" +license: "ISC" +tags: ["org:mirage" "org:xapi-project"] +doc: "https://mirage.github.io/mirage/" + +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] + +depends: [ + "ocaml" {>= "4.04.2"} + "dune" {>= "1.11.0"} + "ipaddr" {>= "3.0.0"} + "functoria-runtime" {>= "2.2.2"} + "fmt" + "logs" +] +synopsis: "The base MirageOS runtime library, part of every MirageOS unikernel" +description: """ +A bundle of useful runtime functions for applications built with MirageOS +""" +url { + src: + "git+https://github.com/dune-universe/mirage.git#duniverse-master" +} diff --git a/packages/mirage-types/mirage-types.4.0.0+dev/opam b/packages/mirage-types/mirage-types.4.0.0+dev/opam new file mode 100644 index 000000000000..0b20e7d30c39 --- /dev/null +++ b/packages/mirage-types/mirage-types.4.0.0+dev/opam @@ -0,0 +1,43 @@ +opam-version: "2.0" +maintainer: ["anil@recoil.org" "thomas@gazagnaire.org"] +authors: ["Thomas Gazagnaire" "Anil Madhavapeddy" "Gabriel Radanne" + "Mindy Preston" "Thomas Leonard" "Nicolas Ojeda Bar" + "Dave Scott" "David Kaloper" "Hannes Mehnert" "Richard Mortier"] +homepage: "https://github.com/mirage/mirage" +bug-reports: "https://github.com/mirage/mirage/issues/" +dev-repo: "git+https://github.com/dune-universe/mirage.git" +license: "ISC" +tags: ["org:mirage" "org:xapi-project"] + + +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] + +depends: [ + "ocaml" {>= "4.04.2"} + "dune" {build & >= "1.1.0"} + "mirage-device" {>= "1.1.0"} + "mirage-time" {>= "1.1.0"} + "mirage-clock" {>= "2.0.0"} + "mirage-random" {>= "1.2.0"} + "mirage-flow" {>= "1.5.0"} + "mirage-console" {>= "2.3.5"} + "mirage-protocols" {>= "2.0.0"} + "mirage-stack" {>= "1.3.0"} + "mirage-block" {>= "1.1.0"} + "mirage-net" {>= "2.0.0"} + "mirage-fs" {>= "2.0.0"} + "mirage-kv" {>= "2.0.0"} + "mirage-channel" {>= "3.1.0"} +] +synopsis: "Module type definitions for MirageOS applications" +description: """ +Module type definitions for MirageOS applications +""" +url { + src: + "git+https://github.com/dune-universe/mirage.git#duniverse-master" +} diff --git a/packages/mirage/mirage.4.0.0+dev/opam b/packages/mirage/mirage.4.0.0+dev/opam new file mode 100644 index 000000000000..7466e3063d77 --- /dev/null +++ b/packages/mirage/mirage.4.0.0+dev/opam @@ -0,0 +1,46 @@ +opam-version: "2.0" +maintainer: ["anil@recoil.org" "thomas@gazagnaire.org"] +authors: ["Thomas Gazagnaire" "Anil Madhavapeddy" "Gabriel Radanne" + "Mindy Preston" "Thomas Leonard" "Nicolas Ojeda Bar" + "Dave Scott" "David Kaloper" "Hannes Mehnert" "Richard Mortier"] +homepage: "https://github.com/mirage/mirage" +bug-reports: "https://github.com/mirage/mirage/issues/" +dev-repo: "git+https://github.com/dune-universe/mirage.git" +license: "ISC" +tags: ["org:mirage" "org:xapi-project"] +doc: "https://mirage.github.io/mirage/" + +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] + +depends: [ + "ocaml" {>= "4.04.2"} + "dune" {>= "1.11.0"} + "ipaddr" {>= "3.0.0"} + "functoria" {>= "3.0.0"} + "bos" + "astring" + "logs" + "sexplib" + "mirage-runtime" {>= "3.4.0"} +] +synopsis: "The MirageOS library operating system" +description: """ +MirageOS is a library operating system that constructs unikernels for +secure, high-performance network applications across a variety of +cloud computing and mobile platforms. Code can be developed on a +normal OS such as Linux or MacOS X, and then compiled into a +fully-standalone, specialised unikernel that runs under the Xen +hypervisor. + +Since Xen powers most public cloud computing infrastructure such as +Amazon EC2 or Rackspace, this lets your servers run more cheaply, +securely and with finer control than with a full software stack. +""" +url { + src: + "git+https://github.com/dune-universe/mirage.git#duniverse-master" +} diff --git a/packages/mtime/mtime.1.2.0+dune/opam b/packages/mtime/mtime.1.2.0+dune/opam new file mode 100644 index 000000000000..3114f9e1d6e5 --- /dev/null +++ b/packages/mtime/mtime.1.2.0+dune/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: [ "Daniel Bünzli " ] +homepage: "http://erratique.ch/software/mtime" +doc: "http://erratique.ch/software/mtime" +dev-repo: "git+https://github.com/dune-universe/mtime.git" +bug-reports: "https://github.com/dbuenzli/mtime/issues" +tags: [ "time" "monotonic" "system" "org:erratique" ] +license: "ISC" +depends: [ + "dune" + "ocaml" {>= "4.03.0"} +] +depopts: [ "js_of_ocaml" ] +synopsis: "Monotonic wall-clock time for OCaml" +description: """ +Mtime has platform independent support for monotonic wall-clock time +in pure OCaml. This time increases monotonically and is not subject to +operating system calendar time adjustments. The library has types to +represent nanosecond precision timestamps and time spans. + +The additional Mtime_clock library provide access to a system +monotonic clock. + +Mtime has a no dependency. Mtime_clock depends on your system library. +The optional JavaScript support depends on [js_of_ocaml][jsoo]. Mtime +and its libraries are distributed under the ISC license. + +[jsoo]: http://ocsigen.org/js_of_ocaml/""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/mtime.git#duniverse-v1.2.0" +} diff --git a/packages/num/num.1.3+dune/opam b/packages/num/num.1.3+dune/opam new file mode 100644 index 000000000000..477129fae928 --- /dev/null +++ b/packages/num/num.1.3+dune/opam @@ -0,0 +1,27 @@ +opam-version: "2.0" +maintainer: "Xavier Leroy " +authors: [ + "Valérie Ménissier-Morain" + "Pierre Weis" + "Xavier Leroy" +] +license: "LGPL 2.1 with OCaml linking exception" +homepage: "https://github.com/ocaml/num/" +bug-reports: "https://github.com/ocaml/num/issues" +dev-repo: "git+https://github.com/dune-universe/num.git" +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] +depends: [ + "ocaml" {>= "4.06.0"} + "dune" + "dune-configurator" +] +conflicts: [ "base-num" ] +synopsis: + "The legacy Num library for arbitrary-precision integer and rational arithmetic" +url { + src: "git://github.com/dune-universe/num.git#duniverse-v1.3" +} diff --git a/packages/ocaml-freestanding/ocaml-freestanding.0.5.0+dune/opam b/packages/ocaml-freestanding/ocaml-freestanding.0.5.0+dune/opam new file mode 100644 index 000000000000..b2e1f64668a8 --- /dev/null +++ b/packages/ocaml-freestanding/ocaml-freestanding.0.5.0+dune/opam @@ -0,0 +1,40 @@ +opam-version: "2.0" +maintainer: "Martin Lucina " +authors: "Martin Lucina " +homepage: "https://github.com/mirage/ocaml-freestanding" +bug-reports: "https://github.com/mirage/ocaml-freestanding/issues/" +license: "MIT" +tags: "org:mirage" +dev-repo: "git+https://github.com/mirage/ocaml-freestanding.git" +build: [make] +install: [make "install" "PREFIX=%{prefix}%"] +remove: [make "uninstall" "PREFIX=%{prefix}%"] +depends: [ + "conf-pkg-config" + "ocamlfind" {build} + "ocaml-src" {build} + ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode") + "ocaml" {>= "4.06.0" & < "4.11.0"} +] +substs: [ + "flags/cflags.tmp" + "flags/libs.tmp" +] +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")) +] +synopsis: "Freestanding OCaml runtime" +description: + "This package provides a freestanding OCaml runtime (asmrun), suitable for linking with a unikernel base layer." +url { + src: "git+https://github.com/dune-universe/ocaml-freestanding.git#duniverse-master" +} + diff --git a/packages/ocaml-print-intf/ocaml-print-intf.1.1.0/opam b/packages/ocaml-print-intf/ocaml-print-intf.1.1.0/opam new file mode 100644 index 000000000000..17d22d03c43d --- /dev/null +++ b/packages/ocaml-print-intf/ocaml-print-intf.1.1.0/opam @@ -0,0 +1,41 @@ +opam-version: "2.0" +synopsis: "Display human-readable OCaml interface from a compiled .cmi" +description: """ +This tool parses a compiled .cmi interface file and outputs +the corresponding textual .mli file. This can be useful to quickly generate +a skeleton interface file to then annotate with comments or add abstraction.""" +maintainer: ["anil@recoil.org"] +authors: ["Anil Madhavapeddy" "Nathan Rebours"] +license: "ISC" +homepage: "https://github.com/avsm/ocaml-print-intf" +doc: "https://avsm.github.io/ocaml-print-intf/" +bug-reports: "https://github.com/avsm/ocaml-print-intf/issues" +depends: [ + "dune" {>= "2.0"} + "ocaml" {>= "4.06"} + "bos" + "dune-build-info" +] +build: [ + ["dune" "subst"] {pinned} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/avsm/ocaml-print-intf.git" +url { + src: + "https://github.com/avsm/ocaml-print-intf/releases/download/v1.1.0/ocaml-print-intf-v1.1.0.tbz" + checksum: [ + "sha256=d7a0d427b5c5569975efcdb111face78ed12f07955c83bd5eb01bbfd2f778bca" + "sha512=66447665aa699fb17b646630c21a774c61fdd73fddbb22dcd50505e672491cce905a36493020ca1db54ef7301aaf229985f82b7a4fedd41a023f2387d234a717" + ] +} diff --git a/packages/ocamlfind/ocamlfind.1.8.1+dune/opam b/packages/ocamlfind/ocamlfind.1.8.1+dune/opam new file mode 100644 index 000000000000..e47207219791 --- /dev/null +++ b/packages/ocamlfind/ocamlfind.1.8.1+dune/opam @@ -0,0 +1,33 @@ +opam-version: "2.0" +maintainer: "Thomas Gazagnaire " +homepage: "http://projects.camlcity.org/projects/findlib.html" +bug-reports: "https://gitlab.camlcity.org/gerd/lib-findlib/issues" +dev-repo: "git+https://github.com/dune-universe/lib-findlib.git" +build: [ + [ "env" "FINDLIB_PREFIX=%{lib}%" "dune" "build" "-p" name "-j" jobs ] +] +install: [ + ["install" "-m" "0755" "ocaml-stub" "%{bin}%/ocaml"] {ocaml:preinstalled} + ["cp" "%{lib}%/toplevel/topfind" "%{lib}%/ocaml/topfind"] {!ocaml:preinstalled} +] +remove: [ + ["rm" "-f" "%{bin}%/ocaml"] {ocaml:preinstalled} + ["rm" "-f" "%{lib}%/ocaml/topfind"] {!ocaml:preinstalled} +] +depends: [ + "ocaml" {>= "4.06.0"} + "dune" + "findlib" +] +setenv: OCAMLPATH = "%{lib}%" +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.""" +authors: "Gerd Stolpmann " +url { + src: "git+https://github.com/dune-universe/lib-findlib#duniverse-1.8.1" +} diff --git a/packages/ocamlgraph/ocamlgraph.1.8.8+dune/opam b/packages/ocamlgraph/ocamlgraph.1.8.8+dune/opam new file mode 100644 index 000000000000..8443db4ef0a7 --- /dev/null +++ b/packages/ocamlgraph/ocamlgraph.1.8.8+dune/opam @@ -0,0 +1,36 @@ +opam-version: "2.0" +maintainer: "filliatr@lri.fr" +authors: [ + "Sylvain Conchon" + "Jean-Christophe Filliâtre" + "Julien Signoles" +] +homepage: "http://ocamlgraph.lri.fr/" +license: "GNU Library General Public License version 2.1" +doc: ["http://ocamlgraph.lri.fr/doc"] +dev-repo: "git+https://github.com/dune-universe/ocamlgraph.git" +bug-reports: "https://github.com/backtracking/ocamlgraph/issues" + +tags: [ + "graph" + "library" + "algorithms" + "directed graph" + "vertice" + "edge" + "persistent" + "imperative" +] +depends: [ + "dune" + "ocaml" +] +depopts: [ + "lablgtk" + "conf-gnomecanvas" +] +synopsis: "A generic graph library for OCaml" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/ocamlgraph.git#duniverse-v1.8.8" +} diff --git a/packages/ocplib-endian/ocplib-endian.1.0+dune/opam b/packages/ocplib-endian/ocplib-endian.1.0+dune/opam new file mode 100644 index 000000000000..3af6e4d95065 --- /dev/null +++ b/packages/ocplib-endian/ocplib-endian.1.0+dune/opam @@ -0,0 +1,24 @@ +opam-version: "2.0" +authors: "Pierre Chambart" +maintainer: "pierre.chambart@ocamlpro.com" +homepage: "https://github.com/OCamlPro/ocplib-endian" +depends: [ + "dune" + "ocaml" + "base-bytes" + "bigarray-compat" + "cppo" {>= "1.1.0"} +] +dev-repo: "git+https://github.com/dune-universe/ocplib-endian.git" +bug-reports: "https://github.com/OCamlPro/ocplib-endian/issues" +synopsis: + "Optimised functions to read and write int16/32/64 from strings and bigarrays, based on new primitives added in version 4.01." +description: """ +The library implements three modules: +* [EndianString](https://github.com/OCamlPro/ocplib-endian/blob/master/src/endianString.cppo.mli) works directly on strings, and provides submodules BigEndian and LittleEndian, with their unsafe counter-parts; +* [EndianBytes](https://github.com/OCamlPro/ocplib-endian/blob/master/src/endianBytes.cppo.mli) works directly on bytes, and provides submodules BigEndian and LittleEndian, with their unsafe counter-parts; +* [EndianBigstring](https://github.com/OCamlPro/ocplib-endian/blob/master/src/endianBigstring.cppo.mli) works on bigstrings (Bigarrays of chars), and provides submodules BigEndian and LittleEndian, with their unsafe counter-parts;""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/ocplib-endian.git#duniverse-1.0" +} diff --git a/packages/opam-client/opam-client.2.0.6+dune/opam b/packages/opam-client/opam-client.2.0.6+dune/opam new file mode 100644 index 000000000000..edeeb6dc6880 --- /dev/null +++ b/packages/opam-client/opam-client.2.0.6+dune/opam @@ -0,0 +1,37 @@ +opam-version: "2.0" +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +homepage: "https://opam.ocaml.org/" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-state" {=version} + "opam-solver" {=version} + "re" {>= "1.7.2"} + "cmdliner" {>= "0.9.8"} + "dune" {>="1.2.1"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + [make "%{name}%.install"] +] +dev-repo: "git+https://github.com/dune-universe/opam.git" +url { + src: "git://github.com/dune-universe/opam.git#duniverse-2.0.6" +} +description:""" +opam 2.0 development libraries + +Actions on the opam root, switches, installations, and front-end. +""" diff --git a/packages/opam-core/opam-core.2.0.6+dune/opam b/packages/opam-core/opam-core.2.0.6+dune/opam new file mode 100644 index 000000000000..0d9ec6f0097c --- /dev/null +++ b/packages/opam-core/opam-core.2.0.6+dune/opam @@ -0,0 +1,40 @@ +opam-version: "2.0" +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +homepage: "https://opam.ocaml.org/" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "base-unix" + "base-bigarray" + "ocamlgraph" + "re" {>= "1.5.0"} + "dune" {>= "1.2.1"} + "cppo" {build} +] +conflicts: ["extlib-compat"] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + [make "%{name}%.install"] +] +dev-repo: "git+https://github.com/dune-universe/opam.git" +url { + src: "git://github.com/dune-universe/opam.git#duniverse-2.0.6" +} +description:""" +opam 2.0 development libraries + +Small standard library extensions, and generic system interaction modules used +by opam. +""" diff --git a/packages/opam-devel/opam-devel.2.0.6+dune/opam b/packages/opam-devel/opam-devel.2.0.6+dune/opam new file mode 100644 index 000000000000..c0377c0f307c --- /dev/null +++ b/packages/opam-devel/opam-devel.2.0.6+dune/opam @@ -0,0 +1,46 @@ +opam-version: "2.0" +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +homepage: "https://opam.ocaml.org" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-client" {=version} + "cmdliner" {>= "0.9.8"} + "dune" {>= "1.2.1"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + [make "%{name}%.install"] + [make "tests"] {with-test} +] +post-messages: + """ +The development version of opam has been successfully compiled into %{lib}%/%{name}%. You should not run it from there, please install the binaries to your PATH, e.g. with + sudo cp %{lib}%/%{name}%/* /usr/local/bin + +If you just want to give it a try without altering your current installation, you could use instead: + alias opam2="OPAMROOT=~/.opam2 %{lib}%/%{name}%/opam\"""" + {success} +dev-repo: "git+https://github.com/dune-universe/opam.git" +url { + src: "git://github.com/dune-universe/opam.git#duniverse-2.0.6" +} +description:""" +opam 2.0.0 development version + +This package compiles (bootstraps) opam 2.0.0. For consistency and safety of the +installation, the binaries are not installed into the PATH, but into +lib/opam-devel, from where the user can manually install them system-wide. +""" diff --git a/packages/opam-file-format/opam-file-format.2.0.0+dune/opam b/packages/opam-file-format/opam-file-format.2.0.0+dune/opam new file mode 100644 index 000000000000..eaec4f5e2e41 --- /dev/null +++ b/packages/opam-file-format/opam-file-format.2.0.0+dune/opam @@ -0,0 +1,15 @@ +opam-version: "2.0" +maintainer: "Louis Gesbert " +authors: "Louis Gesbert " +homepage: "https://opam.ocaml.org" +bug-reports: "https://github.com/ocaml/opam-file-format/issues" +license: "LGPL-2.1 with OCaml linking exception" +dev-repo: "git+https://github.com/dune-universe/opam-file-format.git" +synopsis: "Parser and printer for the opam file syntax" +depends: [ + "dune" + "ocaml"] +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/opam-file-format.git#duniverse-2.0.0" +} diff --git a/packages/opam-format/opam-format.2.0.6+dune/opam b/packages/opam-format/opam-format.2.0.6+dune/opam new file mode 100644 index 000000000000..5e997b3ae668 --- /dev/null +++ b/packages/opam-format/opam-format.2.0.6+dune/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +homepage: "https://opam.ocaml.org/" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-core" {=version} + "opam-file-format" {>= "2.0.0"} + "dune" {>= "1.2.1"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + [make "%{name}%.install"] +] +dev-repo: "git+https://github.com/dune-universe/opam.git" +url { + src: "git://github.com/dune-universe/opam.git#duniverse-2.0.6" +} +description:""" +opam 2.0 development libraries + +Definition of opam datastructures and its file interface. +""" diff --git a/packages/opam-installer/opam-installer.2.0.6+dune/opam b/packages/opam-installer/opam-installer.2.0.6+dune/opam new file mode 100644 index 000000000000..472847575cba --- /dev/null +++ b/packages/opam-installer/opam-installer.2.0.6+dune/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +homepage: "https://opam.ocaml.org/" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-format" {=version} + "cmdliner" {>= "0.9.8"} + "dune" {>= "1.2.1"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + [make "%{name}%.install"] +] +dev-repo: "git+https://github.com/dune-universe/opam.git" +url { + src: "git://github.com/dune-universe/opam.git#duniverse-2.0.6" +} +description:""" +Installation of files to a prefix, following opam conventions + +opam-installer is a small tool that can read *.install files, as defined by +opam [1], and execute them to install or remove package files without going +through opam. + +[1] http://opam.ocaml.org/doc/2.0/Manual.html#lt-pkgname-gt-install +""" diff --git a/packages/opam-repository/opam-repository.2.0.6+dune/opam b/packages/opam-repository/opam-repository.2.0.6+dune/opam new file mode 100644 index 000000000000..383521c0d10e --- /dev/null +++ b/packages/opam-repository/opam-repository.2.0.6+dune/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +homepage: "https://opam.ocaml.org/" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-format" {=version} + "dune" {>= "1.2.1"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + [make "%{name}%.install"] +] +dev-repo: "git+https://github.com/dune-universe/opam.git" +url { + src: "git://github.com/dune-universe/opam.git#duniverse-2.0.6" +} +description:""" +opam 2.0 development libraries + +This library includes repository and remote sources handling, including +curl/wget, rsync, git, mercurial, darcs backends. +""" diff --git a/packages/opam-solver/opam-solver.2.0.6+dune/opam b/packages/opam-solver/opam-solver.2.0.6+dune/opam new file mode 100644 index 000000000000..6d1eb797d0b8 --- /dev/null +++ b/packages/opam-solver/opam-solver.2.0.6+dune/opam @@ -0,0 +1,38 @@ +opam-version: "2.0" +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +homepage: "https://opam.ocaml.org/" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-format" {=version} + "mccs" {>= "1.1+9"} + "dose3" {>= "5"} + "cudf" {>= "0.7"} + "dune" {>= "1.2.1"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + [make "%{name}%.install"] +] +dev-repo: "git+https://github.com/dune-universe/opam.git" +url { + src: "git://github.com/dune-universe/opam.git#duniverse-2.0.6" +} +description:""" +opam 2.0 development libraries + +Solver and Cudf interaction. This library is based on the Cudf and Dose +libraries, and handles calls to the external solver from opam. +""" diff --git a/packages/opam-state/opam-state.2.0.6+dune/opam b/packages/opam-state/opam-state.2.0.6+dune/opam new file mode 100644 index 000000000000..1280db2cfb3b --- /dev/null +++ b/packages/opam-state/opam-state.2.0.6+dune/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +maintainer: "opam-devel@lists.ocaml.org" +authors: [ + "Vincent Bernardoff " + "Raja Boujbel " + "Roberto Di Cosmo " + "Thomas Gazagnaire " + "Louis Gesbert " + "Fabrice Le Fessant " + "Anil Madhavapeddy " + "Guillem Rieu " + "Ralf Treinen " + "Frederic Tuong " +] +homepage: "https://opam.ocaml.org/" +bug-reports: "https://github.com/ocaml/opam/issues" +depends: [ + "ocaml" {>= "4.02.3"} + "opam-repository" {=version} + "dune" {>= "1.2.1"} +] +build: [ + ["./configure" "--disable-checks" "--prefix" prefix] + [make "%{name}%.install"] +] +dev-repo: "git+https://github.com/dune-universe/opam.git" +url { + src: "git://github.com/dune-universe/opam.git#duniverse-2.0.6" +} +description:""" +opam 2.0 development libraries + +Handling of the ~/.opam hierarchy, repository and switch states. +""" diff --git a/packages/ppx_deriving/ppx_deriving.5.0.0+dune/opam b/packages/ppx_deriving/ppx_deriving.5.0.0+dune/opam new file mode 100644 index 000000000000..039da5e65e48 --- /dev/null +++ b/packages/ppx_deriving/ppx_deriving.5.0.0+dune/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +maintainer: "whitequark " +authors: [ "whitequark " ] +license: "MIT" +homepage: "https://github.com/whitequark/ppx_deriving" +doc: "https://whitequark.github.io/ppx_deriving" +bug-reports: "https://github.com/whitequark/ppx_deriving/issues" +dev-repo: "git+https://github.com/whitequark/ppx_deriving.git" +tags: [ "syntax" ] +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} +] +depends: [ + "dune" + "cppo" {build} + "ppxfind" {build} + "ocaml-migrate-parsetree" + "ppx_derivers" + "ppx_tools" {>= "4.02.3"} + "result" + "ounit" {with-test} + "ocaml" {>= "4.02"} +] +synopsis: "Type-driven code generation for OCaml >=4.02" +description: """ +ppx_deriving provides common infrastructure for generating +code based on type definitions, and a set of useful plugins +for common tasks. +""" +url { + src: "git://github.com/ocaml-ppx/ppx_deriving.git" +} diff --git a/packages/ppx_tools/ppx_tools.5.3+dune/opam b/packages/ppx_tools/ppx_tools.5.3+dune/opam new file mode 100644 index 000000000000..3c3c13d60a5f --- /dev/null +++ b/packages/ppx_tools/ppx_tools.5.3+dune/opam @@ -0,0 +1,26 @@ +opam-version: "2.0" +name: "ppx_tools" +maintainer: "alain.frisch@lexifi.com" +authors: "Alain Frisch " +license: "MIT" +tags: "syntax" +homepage: "https://github.com/ocaml-ppx/ppx_tools" +bug-reports: "https://github.com/ocaml-ppx/ppx_tools/issues" +depends: [ + "ocaml" {>= "4.08.0"} + "dune" +] +build: [ + [ "dune" "subst" ] + [ "dune" "build" "-p" name "-j" jobs] ] +dev-repo: "git://github.com/dune-universe/ppx_tools.git" +synopsis: "Tools for authors of syntactic tools (such as ppx rewriters)" +description: """ +The tools are installed as a findlib package called 'ppx_tools'. +Executables are thus accessible through the ocamlfind driver (e.g.: +ocamlfind ppx_tools/dumpast). +""" +url { + src: "git://github.com/dune-universe/ppx_tools.git#to-dune-4.08" +} + diff --git a/packages/ptime/ptime.0.8.5+dune/opam b/packages/ptime/ptime.0.8.5+dune/opam new file mode 100644 index 000000000000..f80d5e4fd229 --- /dev/null +++ b/packages/ptime/ptime.0.8.5+dune/opam @@ -0,0 +1,39 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["The ptime programmers"] +homepage: "http://erratique.ch/software/ptime" +doc: "http://erratique.ch/software/ptime/doc" +dev-repo: "git+https://github.com/dune-universe/ptime.git" +bug-reports: "https://github.com/dbuenzli/ptime/issues" +tags: [ "time" "posix" "system" "org:erratique" ] +license: "ISC" +depends: [ + "dune" + "ocaml" {>= "4.01.0"} + "result" +] +depopts: [ "js_of_ocaml" ] +synopsis: "POSIX time for OCaml" +description: """ +Ptime has platform independent POSIX time support in pure OCaml. It +provides a type to represent a well-defined range of POSIX timestamps +with picosecond precision, conversion with date-time values, +conversion with [RFC 3339 timestamps][rfc3339] and pretty printing to a +human-readable, locale-independent representation. + +The additional Ptime_clock library provides access to a system POSIX +clock and to the system's current time zone offset. + +Ptime is not a calendar library. + +Ptime depends on the `result` compatibility package. Ptime_clock +depends on your system library. Ptime_clock's optional JavaScript +support depends on [js_of_ocaml][jsoo]. Ptime and its libraries are +distributed under the ISC license. + +[rfc3339]: http://tools.ietf.org/html/rfc3339 +[jsoo]: http://ocsigen.org/js_of_ocaml/""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/ptime.git#duniverse-v0.8.5" +} diff --git a/packages/react/react.1.2.1+dune/opam b/packages/react/react.1.2.1+dune/opam new file mode 100644 index 000000000000..c34b2668d37a --- /dev/null +++ b/packages/react/react.1.2.1+dune/opam @@ -0,0 +1,28 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +homepage: "http://erratique.ch/software/react" +authors: ["Daniel Bünzli "] +doc: "http://erratique.ch/software/react/doc/React" +dev-repo: "git+https://github.com/dune-universe/react.git" +bug-reports: "https://github.com/dbuenzli/react/issues" +tags: [ "reactive" "declarative" "signal" "event" "frp" "org:erratique" ] +license: "ISC" +depends: [ + "dune" + "ocaml" {>= "4.01.0"} +] +synopsis: "Declarative events and signals for OCaml" +description: """ +Release %%VERSION%% + +React is an OCaml module for functional reactive programming (FRP). It +provides support to program with time varying values : declarative +events and signals. React doesn't define any primitive event or +signal, it lets the client chooses the concrete timeline. + +React is made of a single, independent, module and distributed under +the ISC license.""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/react.git#duniverse-v1.2.1" +} diff --git a/packages/reactiveData/reactiveData.0.2.2+dune/opam b/packages/reactiveData/reactiveData.0.2.2+dune/opam new file mode 100644 index 000000000000..05f3456e67e4 --- /dev/null +++ b/packages/reactiveData/reactiveData.0.2.2+dune/opam @@ -0,0 +1,24 @@ +opam-version: "2.0" +synopsis: "Declarative events and signals for OCaml" +description: "React is an OCaml module for functional reactive programming (FRP). It provides support to program with time varying values : declarative events and signals. React doesn't define any primitive event or signal, it lets the client chooses the concrete timeline." +maintainer: "dev@ocsigen.org" +authors: ["Hugo Heuzard "] +homepage: "https://github.com/ocsigen/reactiveData" +dev-repo: "git+https://github.com/ocsigen/reactiveData.git" +bug-reports: "https://github.com/ocsigen/reactiveData/issues" + +doc:"http://ocsigen.github.io/reactiveData/dev/" + +tags: [ "reactive" "declarative" "signal" "event" "frp" ] +license: "LGPL-3.0 with OCaml linking exception" + +depends: [ + "dune" + "ocaml" {>= "4.06.1"} + "react" {>= "1.2.1" < "1.3"} +] + +build: [[ "dune" "build" "-p" name ]] +url { + src: "git+https://github.com/ocsigen/reactiveData.git#master" +} diff --git a/packages/rresult/rresult.0.6.0+dune/opam b/packages/rresult/rresult.0.6.0+dune/opam new file mode 100644 index 000000000000..c303f2ceac12 --- /dev/null +++ b/packages/rresult/rresult.0.6.0+dune/opam @@ -0,0 +1,29 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/rresult" +doc: "http://erratique.ch/software/rresult" +dev-repo: "git+https://github.com/dune-universe/rresult.git" +bug-reports: "https://github.com/dbuenzli/rresult/issues" +tags: [ "result" "error" "declarative" "org:erratique" ] +license: "ISC" +depends: [ + "dune" + "ocaml" {>= "4.01.0"} + "result" +] +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. + +Rresult depends on the compatibility `result` package and is +distributed under the ISC license. +""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/rresult.git#duniverse-v0.6.0" +} diff --git a/packages/seq/seq.base+dune/opam b/packages/seq/seq.base+dune/opam new file mode 100644 index 000000000000..49f5f4e8644f --- /dev/null +++ b/packages/seq/seq.base+dune/opam @@ -0,0 +1,22 @@ +opam-version: "2.0" +synopsis: + "Compatibility package for OCaml's standard iterator type starting from 4.07" +maintainer: "simon.cruanes.2007@m4x.org" +authors: "Simon Cruanes" +license: "LGPL2.1" +tags: ["iterator" "seq" "pure" "list" "compatibility" "cascade"] +homepage: "https://github.com/c-cube/seq/" +bug-reports: "https://github.com/c-cube/seq/issues" +depends: [ + "dune" {>= "1.1.0"} + "ocaml" +] +build: ["dune" "build" "-p" name "-j" jobs] +dev-repo: "git+https://github.com/c-cube/seq.git" +url { + src: "https://github.com/c-cube/seq/archive/0.2.2.tar.gz" + checksum: [ + "md5=9033e02283aa3bde9f97f24e632902e3" + "sha512=cab0eb4cb6d9788b7cbd7acbefefc15689d706c97ff7f75dd97faf3c21e466af4d0ff110541a24729db587e7172b1a30a3c2967e17ec2e49cbd923360052c07c" + ] + } diff --git a/packages/sexplib/sexplib.v0.13.0+dune/opam b/packages/sexplib/sexplib.v0.13.0+dune/opam new file mode 100644 index 000000000000..254685158eae --- /dev/null +++ b/packages/sexplib/sexplib.v0.13.0+dune/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +version: "v0.13.0" +maintainer: "opensource@janestreet.com" +authors: ["Jane Street Group, LLC "] +homepage: "https://github.com/janestreet/sexplib" +bug-reports: "https://github.com/janestreet/sexplib/issues" +dev-repo: "git+https://github.com/janestreet/sexplib.git" +doc: "https://ocaml.janestreet.com/ocaml-core/latest/doc/sexplib/index.html" +license: "MIT" +build: [ + ["dune" "build" "-p" name "-j" jobs] +] +depends: [ + "ocaml" {>= "4.04.2"} + "parsexp" + "sexplib0" + "dune" {>= "1.5.1"} + "bigarray-compat" + "num" +] +synopsis: "Library for serializing OCaml values to and from S-expressions" +description: " +Part of Jane Street's Core library +The Core suite of libraries is an industrial strength alternative to +OCaml's standard library that was developed by Jane Street, the +largest industrial user of OCaml. +" +url { + src: "git+https://github.com/dune-universe/sexplib.git#duniverse-v0.13" +} + diff --git a/packages/textwrap/textwrap.0.2+dune/opam b/packages/textwrap/textwrap.0.2+dune/opam new file mode 100644 index 000000000000..74ff127fb5aa --- /dev/null +++ b/packages/textwrap/textwrap.0.2+dune/opam @@ -0,0 +1,17 @@ +opam-version: "2.0" +maintainer: "Sergei Lebedev " +authors: "Sergei Lebedev " +homepage: "https://github.com/superbobry/ocaml-textwrap" +bug-reports: "https://github.com/superbobry/ocaml-textwrap/issues" +dev-repo: "git+https://github.com/dune-universe/ocaml-textwrap.git" +license: "MIT" +depends: [ + "dune" + "ocaml" +] +synopsis: "Text wrapping and filling library" +description: "An almost complete port of Python's textwrap library to OCaml." +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/ocaml-textwrap.git#duniverse-0.2" +} diff --git a/packages/topkg/topkg.1.0.1+dune/opam b/packages/topkg/topkg.1.0.1+dune/opam new file mode 100644 index 000000000000..8c164a5a41ab --- /dev/null +++ b/packages/topkg/topkg.1.0.1+dune/opam @@ -0,0 +1,43 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/topkg" +doc: "http://erratique.ch/software/topkg/doc" +license: "ISC" +dev-repo: "git+https://github.com/dune-universe/topkg.git" +bug-reports: "https://github.com/dbuenzli/topkg/issues" +depends: [ + "dune" + "ocaml" {>= "4.01.0"} + "result" ] +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 +""" +build: [[ "dune" "build" "-p" name "-j" jobs ]] +url { + src: "git://github.com/dune-universe/topkg.git#duniverse-v1.0.1" +} diff --git a/packages/uchar/uchar.0.0.2+dune/opam b/packages/uchar/uchar.0.0.2+dune/opam new file mode 100644 index 000000000000..41177b31d5fe --- /dev/null +++ b/packages/uchar/uchar.0.0.2+dune/opam @@ -0,0 +1,16 @@ +opam-version: "2.0" +maintainer: "Anil Madhavapeddy " +homepage: "http://ocaml.org" +authors: ["The OCaml authors"] +doc: "https://ocaml.github.io/uchar/" +bug-reports: "https://github.com/ocaml/uchar/issues" +tags: [ "text" "character" "unicode" "compatibility" "org:ocaml.org" ] +license: "typeof OCaml system" +depends: [ + "ocaml" {>= "4.03.0"} +] +synopsis: "Dummy package for OCaml's Uchar module" +description: """ +This package is just a dummy package since UChar is included +with OCaml 4.03.0 and higher. +""" diff --git a/packages/uucp/uucp.13.0.0+dune/opam b/packages/uucp/uucp.13.0.0+dune/opam new file mode 100644 index 000000000000..7b01d2fa43c2 --- /dev/null +++ b/packages/uucp/uucp.13.0.0+dune/opam @@ -0,0 +1,23 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: [ "The uucp programmers" ] +homepage: "https://erratique.ch/software/uucp" +doc: "https://erratique.ch/software/uucp/doc/Uucp" +dev-repo: "git+https://github.com/dune-universe/uucp.git" +bug-reports: "https://github.com/dbuenzli/uucp/issues" +tags: [ "unicode" "text" "character" "org:erratique" ] +license: "ISC" +depends: [ + "uchar" + "ocaml" {>= "4.03.0"} + "dune" {>="1.3"} + ] +conflicts: [ "uutf" {< "1.0.1"} + "cmdliner" {< "1.0.0"} ] +build: [ + [ "dune" "subst" ] {pinned} + [ "dune" "build" "-p" name "-j" jobs] +] +url { + src: "git://github.com/dune-universe/uucp.git#duniverse-v13.0.0" +} diff --git a/packages/uuidm/uuidm.0.9.7+dune/opam b/packages/uuidm/uuidm.0.9.7+dune/opam new file mode 100644 index 000000000000..479d6e3139d4 --- /dev/null +++ b/packages/uuidm/uuidm.0.9.7+dune/opam @@ -0,0 +1,29 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/uuidm" +doc: "http://erratique.ch/software/uuidm/doc/Uuidm" +dev-repo: "git+https://github.com/dune-universe/uuidm.git" +bug-reports: "https://github.com/dbuenzli/uuidm/issues" +tags: [ "uuid" "codec" "org:erratique" ] +license: "ISC" +depends: [ + "dune" {build} + "ocaml" {>= "4.01.0"} + "base-bytes" + "cmdliner" +] +conflicts: [ "cmdliner" {< "0.9.8"} ] +synopsis: "Universally unique identifiers (UUIDs) for OCaml" +description: """ +Uuidm is an OCaml module implementing 128 bits universally unique +identifiers version 3, 5 (named based with MD5, SHA-1 hashing) and 4 +(random based) according to [RFC 4122][rfc4122]. + +Uuidm has no dependency and is distributed under the ISC license. + +[rfc4122]: http://tools.ietf.org/html/rfc4122""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/uuidm.git#duniverse-v0.9.7" +} diff --git a/packages/uuidm/uuidm.0.9.7+dune/opam-e b/packages/uuidm/uuidm.0.9.7+dune/opam-e new file mode 100644 index 000000000000..fa68666fdd2c --- /dev/null +++ b/packages/uuidm/uuidm.0.9.7+dune/opam-e @@ -0,0 +1,31 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/uuidm" +doc: "http://erratique.ch/software/uuidm/doc/Uuidm" +dev-repo: "git+https://github.com/dune-universe/uuidm.git" +bug-reports: "https://github.com/dbuenzli/uuidm/issues" +tags: [ "uuid" "codec" "org:erratique" ] +license: "ISC" +depends: [ + "dune" {build} + "ocaml" {>= "4.01.0"} + "base-bytes" +] +depopts: [ + "cmdliner" +] +conflicts: [ "cmdliner" {< "0.9.8"} ] +synopsis: "Universally unique identifiers (UUIDs) for OCaml" +description: """ +Uuidm is an OCaml module implementing 128 bits universally unique +identifiers version 3, 5 (named based with MD5, SHA-1 hashing) and 4 +(random based) according to [RFC 4122][rfc4122]. + +Uuidm has no dependency and is distributed under the ISC license. + +[rfc4122]: http://tools.ietf.org/html/rfc4122""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/uuidm.git#duniverse-v0.9.6" +} diff --git a/packages/uuseg/uuseg.13.0.0+dune/opam b/packages/uuseg/uuseg.13.0.0+dune/opam new file mode 100644 index 000000000000..68bb1fa1a99b --- /dev/null +++ b/packages/uuseg/uuseg.13.0.0+dune/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "https://erratique.ch/software/uuseg" +doc: "https://erratique.ch/software/uuseg" +dev-repo: "git+https://github.com/dune-universe/uuseg.git" +bug-reports: "https://github.com/dbuenzli/uuseg/issues" +tags: [ "segmentation" "text" "unicode" "org:erratique" ] +license: "ISC" +depends: [ "ocaml" {>= "4.01.0"} + "dune" + "uchar" + "uucp" {>= "13.0.0" & < "14.0.0"} + "uutf" +] +conflicts: [ "uutf" {< "1.0.0"} ] +build: [ + [ "dune" "subst" ] {pinned} + [ "dune" "build" "-p" name "-j" jobs ] +] +synopsis: "Unicode text segmentation for OCaml" +description: """ +Uuseg is an OCaml library for segmenting Unicode text. It implements +the locale independent [Unicode text segmentation algorithms][1] to +detect grapheme cluster, word and sentence boundaries and the +[Unicode line breaking algorithm][2] to detect line break +opportunities. +""" +url { + src: "git://github.com/dune-universe/uuseg.git#duniverse-v13.0.0" +} diff --git a/packages/uutf/uutf.1.0.2+dune/opam b/packages/uutf/uutf.1.0.2+dune/opam new file mode 100644 index 000000000000..af454a41026b --- /dev/null +++ b/packages/uutf/uutf.1.0.2+dune/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/uutf" +doc: "http://erratique.ch/software/uutf/doc/Uutf" +dev-repo: "git+https://github.com/dune-universe/uutf.git" +bug-reports: "https://github.com/dbuenzli/uutf/issues" +tags: [ "unicode" "text" "utf-8" "utf-16" "codec" "org:erratique" ] +license: "ISC" +depends: [ + "dune" + "ocaml" {>= "4.01.0"} + "uchar" +] +depopts: ["cmdliner"] +conflicts: ["cmdliner" { < "0.9.6"} ] +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. + +Uutf has no dependency and is distributed under the ISC license. +""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/uutf.git#duniverse-v1.0.2" +} diff --git a/packages/webbrowser/webbrowser.0.6.1+dune/opam b/packages/webbrowser/webbrowser.0.6.1+dune/opam new file mode 100644 index 000000000000..f41b4bb4b09f --- /dev/null +++ b/packages/webbrowser/webbrowser.0.6.1+dune/opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/webbrowser" +doc: "http://erratique.ch/software/webbrowser/doc" +license: "ISC" +dev-repo: "git+https://github.com/dune-universe/webbrowser.git" +bug-reports: "https://github.com/dbuenzli/webbrowser/issues" +tags: [ "web" "http" "uri" "browser" "cli" "org:erratique"] +depends: [ + "dune" + "ocaml" {>= "4.01.0"} + "rresult" + "astring" + "bos" +] +depopts: [ + "cmdliner" +] +synopsis: "Open and reload URIs in browsers from OCaml" +description: """ +Webbrowser is a library to open and reload URIs in web browsers from +OCaml. + +Webbrowser depends on [bos][bos]. The optional command line support +provided by the Webbrowser_cli library depends on [cmdliner][cmdliner]. + +Webbrowser is distributed under the ISC license. + +[bos]: http://erratique.ch/software/bos +[cmdliner]: http://erratique.ch/software/cmdliner""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/webbrowser.git#duniverse-v0.6.1" +} diff --git a/packages/xmlm/xmlm.1.3.0+dune/opam b/packages/xmlm/xmlm.1.3.0+dune/opam new file mode 100644 index 000000000000..d24812ed6da5 --- /dev/null +++ b/packages/xmlm/xmlm.1.3.0+dune/opam @@ -0,0 +1,25 @@ +opam-version: "2.0" +maintainer: "Daniel Bünzli " +authors: ["Daniel Bünzli "] +homepage: "http://erratique.ch/software/xmlm" +dev-repo: "git+https://github.com/dune-universe/xmlm.git" +bug-reports: "https://github.com/dbuenzli/xmlm/issues" +doc: "http://erratique.ch/software/xmlm/doc/Xmlm" +tags: [ "xml" "codec" "org:erratique" ] +license: "ISC" +depends: [ + "dune" + "ocaml" {>= "4.02.0"} +] +synopsis: "Streaming XML codec for OCaml" +description: """ +Xmlm is a streaming codec to decode and encode the XML data format. It +can process XML documents without a complete in-memory representation of the +data. + +Xmlm is made of a single independent module and distributed +under the ISC license.""" +build: [[ "dune" "build" "-p" name ]] +url { + src: "git://github.com/dune-universe/xmlm.git#duniverse-v1.3.0" +} diff --git a/packages/zarith/zarith.1.9.1+dune/opam b/packages/zarith/zarith.1.9.1+dune/opam new file mode 100644 index 000000000000..7dc83062fb35 --- /dev/null +++ b/packages/zarith/zarith.1.9.1+dune/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +maintainer: "Xavier Leroy " +authors: [ + "Antoine Miné" + "Xavier Leroy" + "Pascal Cuoq" +] +homepage: "https://github.com/ocaml/Zarith" +bug-reports: "https://github.com/ocaml/Zarith/issues" +dev-repo: "git+https://github.com/dune-universe/Zarith.git" +doc: "https://ocaml.github.io/Zairth/" +build: [ + [ "dune" "subst" ] {pinned} + [ "dune" "build" "-p" name "-j" jobs ] + [ "dune" "runtest" "-p" name "-j" jobs ] +] +depends: [ + "ocaml" {>="4.05.0"} + "dune" {>="1.3"} + "dune-configurator" + "conf-gmp" + "mirage-no-xen" | ("mirage-xen" & "gmp-xen") + "mirage-no-solo5" | ("mirage-solo5" & "gmp-freestanding") +] +synopsis: + "Implements arithmetic and logical operations over arbitrary-precision integers" +description: """ +The Zarith library implements arithmetic and logical operations over +arbitrary-precision integers. It uses GMP to efficiently implement +arithmetic over big integers. Small integers are represented as Caml +unboxed integers, for speed and space economy.""" +url { + src: "git://github.com/dune-universe/Zarith.git#duniverse-1.9.1" +}