From c689063661ab1412385b232c86ffa90a16c21e52 Mon Sep 17 00:00:00 2001 From: Yorick van Pelt Date: Fri, 3 Jun 2022 15:26:18 +0200 Subject: [PATCH] dune: add (sandbox dune) to kimchi_backend/common/version.ml --- src/lib/crypto/kimchi_backend/common/dune | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/lib/crypto/kimchi_backend/common/dune b/src/lib/crypto/kimchi_backend/common/dune index 4e397502afd..d20eaf337c1 100644 --- a/src/lib/crypto/kimchi_backend/common/dune +++ b/src/lib/crypto/kimchi_backend/common/dune @@ -45,6 +45,7 @@ (targets version.ml) (deps (:< gen_version.sh) - (source_tree ../../proof-systems)) + (source_tree ../../proof-systems) + (sandbox none)) (action (run %{<} %{targets})))