From ae5c1612c750d40f5c177bdee6d97d522e6762a9 Mon Sep 17 00:00:00 2001 From: "Paolo G. Giarrusso" Date: Mon, 26 Oct 2026 09:24:11 +0000 Subject: [PATCH] rocq-brick-libstdcpp: declare rocq-skylabs-brick-cpp-prog dependency The `skylabs.brick.libstdcpp` theory depends on `skylabs.lang.cpp.parser.plugin` (package `rocq-skylabs-brick-cpp-prog`), but the opam package did not declare that dependency, so the nightly "Opam Install (paranoid = high)" job failed with Theory "skylabs.lang.cpp.parser.plugin" has not been found. which also broke rocq-brick-libgtest, which depends on this package. Co-Authored-By: Claude Fable 5.1 --- rocq-brick-libstdcpp/dune-project | 1 + rocq-brick-libstdcpp/rocq-brick-libstdcpp.opam | 1 + 2 files changed, 2 insertions(+) diff --git a/rocq-brick-libstdcpp/dune-project b/rocq-brick-libstdcpp/dune-project index fb0b17fd..8bdc7451 100644 --- a/rocq-brick-libstdcpp/dune-project +++ b/rocq-brick-libstdcpp/dune-project @@ -21,6 +21,7 @@ (synopsis "SkyLabs AI BRiCk: C++ standard library (libstdc++)") (depends (rocq-skylabs-cpp2v (= dev)) + rocq-skylabs-brick-cpp-prog elpi-cpp rocq-skylabs-auto-core rocq-skylabs-auto-cpp)) diff --git a/rocq-brick-libstdcpp/rocq-brick-libstdcpp.opam b/rocq-brick-libstdcpp/rocq-brick-libstdcpp.opam index 4852bcf6..b637c489 100644 --- a/rocq-brick-libstdcpp/rocq-brick-libstdcpp.opam +++ b/rocq-brick-libstdcpp/rocq-brick-libstdcpp.opam @@ -15,6 +15,7 @@ bug-reports: "https://github.com/SkyLabsAI/brick-libcpp/issues" depends: [ "dune" {>= "3.22"} "rocq-skylabs-cpp2v" {= "dev"} + "rocq-skylabs-brick-cpp-prog" "elpi-cpp" "rocq-skylabs-auto-core" "rocq-skylabs-auto-cpp"