[new release] dune (15 packages) (3.14.1)

CHANGES: ### Fixed - When a directory is changed to a file, correctly remove it in subsequent `dune build` runs. (ocaml/dune#9327, fix ocaml/dune#6575, @emillon) - Fix a problem with the doc-new target where transitive dependencies were missed during compile. This leads to missing expansions in the output docs. (ocaml/dune#9955, @jonludlam) - coq: fix performance regression in coqdep unescaping (ocaml/dune#10115, fixes ocaml/dune#10088, @ejgallego, thanks to Dan Christensen for the report) - coq: memoize coqdep parsing, this will reduce build times for Coq users, in particular for those with many .v files (ocaml/dune#10116, @ejgallego, see also ocaml/dune#10088) - on Windows, use an unicode-aware version of `CreateProcess` to avoid crashes when paths contains non-ascii characters. (ocaml/dune#10212, fixes ocaml/dune#10180, @emillon)
Leonidas-from-XIV · Mar 11, 2024 · 8ea501e · 8ea501e
1 parent acef553
commit 8ea501e
Show file tree

Hide file tree

Showing 15 changed files with 674 additions and 0 deletions.
diff --git a/packages/chrome-trace/chrome-trace.3.14.1/opam b/packages/chrome-trace/chrome-trace.3.14.1/opam
@@ -0,0 +1,40 @@
+opam-version: "2.0"
+synopsis: "Chrome trace event generation library"
+description:
+  "This library offers no backwards compatibility guarantees. Use at your own risk."
+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.12"}
+  "ocaml" {>= "4.08.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.14.1/dune-3.14.1.tbz"
+  checksum: [
+    "sha256=ea83f9ab24455248ec65288d0f3c4272a5716b61c78f13a87de3d0ac45aed136"
+    "sha512=92f97b1927fa964cac95b83ecef1e855dd411aea28607c1777b9795d857e32ca1ae43ec06cd9901bceb59cb6f1ee63d72cc17a87233bf9cdbd8a5d7c2d32bcd2"
+  ]
+}
+x-commit-hash: "3f4cdafa7a0e37183a8521f7baa4eceb2547665b"
diff --git a/packages/dune-action-plugin/dune-action-plugin.3.14.1/opam b/packages/dune-action-plugin/dune-action-plugin.3.14.1/opam
@@ -0,0 +1,53 @@
+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.12"}
+  "dune-glob" {= version}
+  "csexp" {>= "1.5.0"}
+  "ppx_expect" {with-test}
+  "stdune" {= version}
+  "dune-private-libs" {= version}
+  "dune-rpc" {= version}
+  "base-unix"
+  "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.14.1/dune-3.14.1.tbz"
+  checksum: [
+    "sha256=ea83f9ab24455248ec65288d0f3c4272a5716b61c78f13a87de3d0ac45aed136"
+    "sha512=92f97b1927fa964cac95b83ecef1e855dd411aea28607c1777b9795d857e32ca1ae43ec06cd9901bceb59cb6f1ee63d72cc17a87233bf9cdbd8a5d7c2d32bcd2"
+  ]
+}
+x-commit-hash: "3f4cdafa7a0e37183a8521f7baa4eceb2547665b"
diff --git a/packages/dune-build-info/dune-build-info.3.14.1/opam b/packages/dune-build-info/dune-build-info.3.14.1/opam
@@ -0,0 +1,46 @@
+opam-version: "2.0"
+synopsis: "Embed build information 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.12"}
+  "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.14.1/dune-3.14.1.tbz"
+  checksum: [
+    "sha256=ea83f9ab24455248ec65288d0f3c4272a5716b61c78f13a87de3d0ac45aed136"
+    "sha512=92f97b1927fa964cac95b83ecef1e855dd411aea28607c1777b9795d857e32ca1ae43ec06cd9901bceb59cb6f1ee63d72cc17a87233bf9cdbd8a5d7c2d32bcd2"
+  ]
+}
+x-commit-hash: "3f4cdafa7a0e37183a8521f7baa4eceb2547665b"
diff --git a/packages/dune-configurator/dune-configurator.3.14.1/opam b/packages/dune-configurator/dune-configurator.3.14.1/opam
@@ -0,0 +1,50 @@
+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.12"}
+  "ocaml" {>= "4.04.0"}
+  "base-unix"
+  "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.14.1/dune-3.14.1.tbz"
+  checksum: [
+    "sha256=ea83f9ab24455248ec65288d0f3c4272a5716b61c78f13a87de3d0ac45aed136"
+    "sha512=92f97b1927fa964cac95b83ecef1e855dd411aea28607c1777b9795d857e32ca1ae43ec06cd9901bceb59cb6f1ee63d72cc17a87233bf9cdbd8a5d7c2d32bcd2"
+  ]
+}
+x-commit-hash: "3f4cdafa7a0e37183a8521f7baa4eceb2547665b"
diff --git a/packages/dune-glob/dune-glob.3.14.1/opam b/packages/dune-glob/dune-glob.3.14.1/opam
@@ -0,0 +1,43 @@
+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.12"}
+  "stdune" {= version}
+  "dyn"
+  "ordering"
+  "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.14.1/dune-3.14.1.tbz"
+  checksum: [
+    "sha256=ea83f9ab24455248ec65288d0f3c4272a5716b61c78f13a87de3d0ac45aed136"
+    "sha512=92f97b1927fa964cac95b83ecef1e855dd411aea28607c1777b9795d857e32ca1ae43ec06cd9901bceb59cb6f1ee63d72cc17a87233bf9cdbd8a5d7c2d32bcd2"
+  ]
+}
+x-commit-hash: "3f4cdafa7a0e37183a8521f7baa4eceb2547665b"
diff --git a/packages/dune-private-libs/dune-private-libs.3.14.1/opam b/packages/dune-private-libs/dune-private-libs.3.14.1/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.12"}
+  "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.14.1/dune-3.14.1.tbz"
+  checksum: [
+    "sha256=ea83f9ab24455248ec65288d0f3c4272a5716b61c78f13a87de3d0ac45aed136"
+    "sha512=92f97b1927fa964cac95b83ecef1e855dd411aea28607c1777b9795d857e32ca1ae43ec06cd9901bceb59cb6f1ee63d72cc17a87233bf9cdbd8a5d7c2d32bcd2"
+  ]
+}
+x-commit-hash: "3f4cdafa7a0e37183a8521f7baa4eceb2547665b"
diff --git a/packages/dune-rpc-lwt/dune-rpc-lwt.3.14.1/opam b/packages/dune-rpc-lwt/dune-rpc-lwt.3.14.1/opam
@@ -0,0 +1,43 @@
+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.12"}
+  "dune-rpc" {= version}
+  "result" {>= "1.5"}
+  "csexp" {>= "1.5.0"}
+  "lwt" {>= "5.3.0"}
+  "base-unix"
+  "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.14.1/dune-3.14.1.tbz"
+  checksum: [
+    "sha256=ea83f9ab24455248ec65288d0f3c4272a5716b61c78f13a87de3d0ac45aed136"
+    "sha512=92f97b1927fa964cac95b83ecef1e855dd411aea28607c1777b9795d857e32ca1ae43ec06cd9901bceb59cb6f1ee63d72cc17a87233bf9cdbd8a5d7c2d32bcd2"
+  ]
+}
+x-commit-hash: "3f4cdafa7a0e37183a8521f7baa4eceb2547665b"
diff --git a/packages/dune-rpc/dune-rpc.3.14.1/opam b/packages/dune-rpc/dune-rpc.3.14.1/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.12"}
+  "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.14.1/dune-3.14.1.tbz"
+  checksum: [
+    "sha256=ea83f9ab24455248ec65288d0f3c4272a5716b61c78f13a87de3d0ac45aed136"
+    "sha512=92f97b1927fa964cac95b83ecef1e855dd411aea28607c1777b9795d857e32ca1ae43ec06cd9901bceb59cb6f1ee63d72cc17a87233bf9cdbd8a5d7c2d32bcd2"
+  ]
+}
+x-commit-hash: "3f4cdafa7a0e37183a8521f7baa4eceb2547665b"