From c3b1c1ac0f2182392ef3947a8c092f10791e6fd9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Mon, 10 Feb 2020 11:49:13 +0100 Subject: [PATCH] Removed promote-until-clean because it moves the file out of _build instead of copying it, which causes issues for the gitlab build --- src/stages/adt_generator/dune | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/stages/adt_generator/dune b/src/stages/adt_generator/dune index b47ce3191..1729a9aba 100644 --- a/src/stages/adt_generator/dune +++ b/src/stages/adt_generator/dune @@ -2,7 +2,8 @@ (target fold.ml) (deps generator.py) (action (with-stdout-to fold.ml (run python3 ./generator.py))) - (mode (promote (until-clean)))) +; (mode (promote (until-clean))) ; If this is uncommented, then "dune build -p ligo" can't find the file (but "dune build" can) +) ; (library ; (name adt_generator) ; (public_name ligo.adt_generator)