From 57788c1f7530b058d338e7cba231fc89bf665c9e Mon Sep 17 00:00:00 2001 From: Yorick van Pelt Date: Thu, 2 Jun 2022 21:20:47 +0200 Subject: [PATCH 1/2] dune: add (sandbox none) to mina_version, ocaml-rocksdb --- src/external/ocaml-rocksdb/dune | 3 ++- src/lib/mina_version/normal/dune | 5 ++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/src/external/ocaml-rocksdb/dune b/src/external/ocaml-rocksdb/dune index f3309f03eb3..3525e4c342a 100644 --- a/src/external/ocaml-rocksdb/dune +++ b/src/external/ocaml-rocksdb/dune @@ -15,9 +15,10 @@ (libraries dune.configurator) ) +;; todo: fails with sandbox, since the generated flags are opaque to dune (rule (targets flags.sexp) - (deps librocksdb_stubs.a) + (deps librocksdb_stubs.a (sandbox none)) (action (run ./rocks_linker_flags_gen.exe))) (rule diff --git a/src/lib/mina_version/normal/dune b/src/lib/mina_version/normal/dune index b55a72b55a5..753e13d2d05 100644 --- a/src/lib/mina_version/normal/dune +++ b/src/lib/mina_version/normal/dune @@ -8,5 +8,8 @@ (rule (targets mina_version.ml) - (deps (:< gen.sh) (universe)) + (deps + (sandbox none) + (:< gen.sh) + (universe)) (action (run %{<} %{targets}))) From c4fcf29d400cf035dda23555997041e66808718b Mon Sep 17 00:00:00 2001 From: Yorick van Pelt Date: Fri, 3 Jun 2022 14:23:20 +0200 Subject: [PATCH 2/2] dune: add (sandbox none) to zexe_backend_common/version.ml --- src/lib/zexe_backend/zexe_backend_common/dune | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/lib/zexe_backend/zexe_backend_common/dune b/src/lib/zexe_backend/zexe_backend_common/dune index 00e802055a7..ff0836c64d7 100644 --- a/src/lib/zexe_backend/zexe_backend_common/dune +++ b/src/lib/zexe_backend/zexe_backend_common/dune @@ -38,5 +38,8 @@ (rule (targets version.ml) - (deps (:< gen_version.sh) (source_tree src/lib/marlin)) + (deps + (:< gen_version.sh) + (source_tree src/lib/marlin) + (sandbox none)) (action (run %{<} %{targets})))