[new release] xdg, stdune, ordering, ocamlc-loc, fiber, dyn, dune, du…

…ne-site, dune-rpc, dune-rpc-lwt, dune-private-libs, dune-glob, dune-configurator, dune-build-info and dune-action-plugin (3.1.0) CHANGES: - Add `sourcehut` as an option for defining project sources in dune-project files. For example, `(source (sourcehut user/repo))`. (ocaml/dune#5564, @rgrinberg) - Add `dune coq top` command for running a Coq toplevel (ocaml/dune#5457, @rlepigre) - Fix dune exec dumping database in wrong directory (ocaml/dune#5544, @bobot) - Always output absolute paths for locations in RPC reported diagnostics (ocaml/dune#5539, @rgrinberg) - Add `(deps <deps>)` in ctype field (ocaml/dune#5346, @bobot) - Add `(include <file>)` constructor to dependency specifications. This can be used to introduce dynamic dependencies (ocaml/dune#5442, @anmonteiro) - Ensure that `dune describe` computes a transitively closed set of libraries (ocaml/dune#5395, @esope) - Add direct dependencies to $ dune describe output (ocaml/dune#5412, @esope) - Show auto-detected concurrency on Windows too (ocaml/dune#5502, @MisterDA) - Fix operations that remove folders with absolute path. This happens when using esy (ocaml/dune#5507, @EduardoRFS) - Dune will not fail if some directories are non-empty when uninstalling. (ocaml/dune#5543, fixes ocaml/dune#5542, @nojb) - `coqdep` now depends only on the filesystem layout of the .v files, and not on their contents (ocaml/dune#5547, helps with ocaml/dune#5100, @ejgallego) - The mdx stanza 0.2 can now be used with `(implicit_transitive_deps false)` (ocaml/dune#5558, fixes ocaml/dune#5499, @emillon) - Fix missing parenthesis in printing of corresponding terminal command for `(with-outputs-to )` (ocaml/dune#5551, fixes ocaml/dune#5546, @Alizter)
rgrinberg · Apr 15, 2022 · ba3c1b9 · ba3c1b9
1 parent 5269af2
commit ba3c1b9
Show file tree

Hide file tree

Showing 15 changed files with 666 additions and 0 deletions.
diff --git a/packages/dune-action-plugin/dune-action-plugin.3.1.0/opam b/packages/dune-action-plugin/dune-action-plugin.3.1.0/opam
@@ -0,0 +1,51 @@
+opam-version: "2.0"
+synopsis: "[experimental] API for writing dynamic Dune actions"
+description: """
+
+This library is experimental. No backwards compatibility is implied.
+
+dune-action-plugin provides an API for writing dynamic Dune actions.
+Dynamic dune actions do not need to declare their dependencies
+upfront; they are instead discovered automatically during the
+execution of the action.
+"""
+maintainer: ["Jane Street Group, LLC <[email protected]>"]
+authors: ["Jane Street Group, LLC <[email protected]>"]
+license: "MIT"
+homepage: "https://github.com/ocaml/dune"
+doc: "https://dune.readthedocs.io/"
+bug-reports: "https://github.com/ocaml/dune/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "dune-glob" {= version}
+  "csexp" {>= "1.5.0"}
+  "ppx_expect" {with-test}
+  "stdune" {= version}
+  "dune-private-libs" {= version}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/ocaml/dune.git"
+build: [
+  ["dune" "subst"] {dev}
+  ["rm" "-rf" "vendor/csexp"]
+  ["rm" "-rf" "vendor/pp"]
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@doc" {with-doc}
+  ]
+]
+url {
+  src:
+    "https://github.com/ocaml/dune/releases/download/3.1.0/fiber-3.1.0.tbz"
+  checksum: [
+    "sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
+    "sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
+  ]
+}
+x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
diff --git a/packages/dune-build-info/dune-build-info.3.1.0/opam b/packages/dune-build-info/dune-build-info.3.1.0/opam
@@ -0,0 +1,46 @@
+opam-version: "2.0"
+synopsis: "Embed build informations inside executable"
+description: """
+The build-info library allows to access information about how the
+executable was built, such as the version of the project at which it
+was built or the list of statically linked libraries with their
+versions.  It supports reporting the version from the version control
+system during development to get an precise reference of when the
+executable was built.
+"""
+maintainer: ["Jane Street Group, LLC <[email protected]>"]
+authors: ["Jane Street Group, LLC <[email protected]>"]
+license: "MIT"
+homepage: "https://github.com/ocaml/dune"
+doc: "https://dune.readthedocs.io/"
+bug-reports: "https://github.com/ocaml/dune/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "ocaml" {>= "4.08"}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/ocaml/dune.git"
+build: [
+  ["dune" "subst"] {dev}
+  ["rm" "-rf" "vendor/csexp"]
+  ["rm" "-rf" "vendor/pp"]
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@doc" {with-doc}
+  ]
+]
+url {
+  src:
+    "https://github.com/ocaml/dune/releases/download/3.1.0/fiber-3.1.0.tbz"
+  checksum: [
+    "sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
+    "sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
+  ]
+}
+x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
diff --git a/packages/dune-configurator/dune-configurator.3.1.0/opam b/packages/dune-configurator/dune-configurator.3.1.0/opam
@@ -0,0 +1,49 @@
+opam-version: "2.0"
+synopsis: "Helper library for gathering system configuration"
+description: """
+dune-configurator is a small library that helps writing OCaml scripts that
+test features available on the system, in order to generate config.h
+files for instance.
+Among other things, dune-configurator allows one to:
+- test if a C program compiles
+- query pkg-config
+- import #define from OCaml header files
+- generate config.h file
+"""
+maintainer: ["Jane Street Group, LLC <[email protected]>"]
+authors: ["Jane Street Group, LLC <[email protected]>"]
+license: "MIT"
+homepage: "https://github.com/ocaml/dune"
+doc: "https://dune.readthedocs.io/"
+bug-reports: "https://github.com/ocaml/dune/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "ocaml" {>= "4.04.0"}
+  "csexp" {>= "1.5.0"}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/ocaml/dune.git"
+build: [
+  ["dune" "subst"] {dev}
+  ["rm" "-rf" "vendor/csexp"]
+  ["rm" "-rf" "vendor/pp"]
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@doc" {with-doc}
+  ]
+]
+url {
+  src:
+    "https://github.com/ocaml/dune/releases/download/3.1.0/fiber-3.1.0.tbz"
+  checksum: [
+    "sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
+    "sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
+  ]
+}
+x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
diff --git a/packages/dune-glob/dune-glob.3.1.0/opam b/packages/dune-glob/dune-glob.3.1.0/opam
@@ -0,0 +1,41 @@
+opam-version: "2.0"
+synopsis: "Glob string matching language supported by dune"
+description:
+  "dune-glob provides a parser and interpreter for globs as understood by dune language."
+maintainer: ["Jane Street Group, LLC <[email protected]>"]
+authors: ["Jane Street Group, LLC <[email protected]>"]
+license: "MIT"
+homepage: "https://github.com/ocaml/dune"
+doc: "https://dune.readthedocs.io/"
+bug-reports: "https://github.com/ocaml/dune/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "stdune" {= version}
+  "dune-private-libs" {= version}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/ocaml/dune.git"
+build: [
+  ["dune" "subst"] {dev}
+  ["rm" "-rf" "vendor/csexp"]
+  ["rm" "-rf" "vendor/pp"]
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@doc" {with-doc}
+  ]
+]
+url {
+  src:
+    "https://github.com/ocaml/dune/releases/download/3.1.0/fiber-3.1.0.tbz"
+  checksum: [
+    "sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
+    "sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
+  ]
+}
+x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
diff --git a/packages/dune-private-libs/dune-private-libs.3.1.0/opam b/packages/dune-private-libs/dune-private-libs.3.1.0/opam
@@ -0,0 +1,51 @@
+opam-version: "2.0"
+synopsis: "Private libraries of Dune"
+description: """
+!!!!!!!!!!!!!!!!!!!!!!
+!!!!! DO NOT USE !!!!!
+!!!!!!!!!!!!!!!!!!!!!!
+
+This package contains code that is shared between various dune-xxx
+packages. However, it is not meant for public consumption and provides
+no stability guarantee.
+"""
+maintainer: ["Jane Street Group, LLC <[email protected]>"]
+authors: ["Jane Street Group, LLC <[email protected]>"]
+license: "MIT"
+homepage: "https://github.com/ocaml/dune"
+doc: "https://dune.readthedocs.io/"
+bug-reports: "https://github.com/ocaml/dune/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "csexp" {>= "1.5.0"}
+  "pp" {>= "1.1.0"}
+  "dyn" {= version}
+  "stdune" {= version}
+  "ocaml" {>= "4.08"}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/ocaml/dune.git"
+build: [
+  ["dune" "subst"] {dev}
+  ["rm" "-rf" "vendor/csexp"]
+  ["rm" "-rf" "vendor/pp"]
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@doc" {with-doc}
+  ]
+]
+url {
+  src:
+    "https://github.com/ocaml/dune/releases/download/3.1.0/fiber-3.1.0.tbz"
+  checksum: [
+    "sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
+    "sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
+  ]
+}
+x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
diff --git a/packages/dune-rpc-lwt/dune-rpc-lwt.3.1.0/opam b/packages/dune-rpc-lwt/dune-rpc-lwt.3.1.0/opam
@@ -0,0 +1,42 @@
+opam-version: "2.0"
+synopsis: "Communicate with dune using rpc and Lwt"
+description: "Specialization of dune-rpc to Lwt"
+maintainer: ["Jane Street Group, LLC <[email protected]>"]
+authors: ["Jane Street Group, LLC <[email protected]>"]
+license: "MIT"
+homepage: "https://github.com/ocaml/dune"
+doc: "https://dune.readthedocs.io/"
+bug-reports: "https://github.com/ocaml/dune/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "dune-rpc" {= version}
+  "result" {>= "1.5"}
+  "csexp" {>= "1.5.0"}
+  "lwt" {>= "5.3.0"}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/ocaml/dune.git"
+build: [
+  ["dune" "subst"] {dev}
+  ["rm" "-rf" "vendor/csexp"]
+  ["rm" "-rf" "vendor/pp"]
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@doc" {with-doc}
+  ]
+]
+url {
+  src:
+    "https://github.com/ocaml/dune/releases/download/3.1.0/fiber-3.1.0.tbz"
+  checksum: [
+    "sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
+    "sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
+  ]
+}
+x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
diff --git a/packages/dune-rpc/dune-rpc.3.1.0/opam b/packages/dune-rpc/dune-rpc.3.1.0/opam
@@ -0,0 +1,44 @@
+opam-version: "2.0"
+synopsis: "Communicate with dune using rpc"
+description: "Library to connect and control a running dune instance"
+maintainer: ["Jane Street Group, LLC <[email protected]>"]
+authors: ["Jane Street Group, LLC <[email protected]>"]
+license: "MIT"
+homepage: "https://github.com/ocaml/dune"
+doc: "https://dune.readthedocs.io/"
+bug-reports: "https://github.com/ocaml/dune/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "csexp"
+  "ordering"
+  "dyn"
+  "xdg"
+  "stdune" {= version}
+  "pp" {>= "1.1.0"}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/ocaml/dune.git"
+build: [
+  ["dune" "subst"] {dev}
+  ["rm" "-rf" "vendor/csexp"]
+  ["rm" "-rf" "vendor/pp"]
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@doc" {with-doc}
+  ]
+]
+url {
+  src:
+    "https://github.com/ocaml/dune/releases/download/3.1.0/fiber-3.1.0.tbz"
+  checksum: [
+    "sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
+    "sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
+  ]
+}
+x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
diff --git a/packages/dune-site/dune-site.3.1.0/opam b/packages/dune-site/dune-site.3.1.0/opam
@@ -0,0 +1,38 @@
+opam-version: "2.0"
+synopsis: "Embed locations informations inside executable and libraries"
+maintainer: ["Jane Street Group, LLC <[email protected]>"]
+authors: ["Jane Street Group, LLC <[email protected]>"]
+license: "MIT"
+homepage: "https://github.com/ocaml/dune"
+doc: "https://dune.readthedocs.io/"
+bug-reports: "https://github.com/ocaml/dune/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "dune-private-libs" {= version}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/ocaml/dune.git"
+build: [
+  ["dune" "subst"] {dev}
+  ["rm" "-rf" "vendor/csexp"]
+  ["rm" "-rf" "vendor/pp"]
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@doc" {with-doc}
+  ]
+]
+url {
+  src:
+    "https://github.com/ocaml/dune/releases/download/3.1.0/fiber-3.1.0.tbz"
+  checksum: [
+    "sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
+    "sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
+  ]
+}
+x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"