Merge pull request #86 from SkyLabsAI/gmalecha/lift-plib

gmalecha-at-skylabs · web-flow · commit eeb251046870 · 2026-06-13T07:50:53.000-04:00
Add dependencies for plib
diff --git a/rocq-brick-libstdcpp/proof/dune b/rocq-brick-libstdcpp/proof/dune
@@ -33,7 +33,7 @@
   skylabs
   ; transitive dependencies
   Flocq elpi.apps.NES.elpi elpi.apps.derive elpi.apps.derive.elpi
-  elpi.apps.locker.elpi
+  elpi.apps.locker.elpi skylabs.plib skylabs.simp
  ))
 (include dune.inc)
 
diff --git a/rocq-brick-libstdcpp/test/dune b/rocq-brick-libstdcpp/test/dune
@@ -33,7 +33,7 @@
   skylabs.brick.libstdcpp
   ; transitive dependencies
   Flocq elpi.apps.NES.elpi elpi.apps.derive elpi.apps.derive.elpi
-  elpi.apps.locker.elpi
+  elpi.apps.locker.elpi skylabs.plib skylabs.simp
  ))
 (include dune.inc)
 
