From 827ca16362c089648410c785c221dab1e520ac55 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Thu, 14 Apr 2022 13:47:56 +0200
Subject: [PATCH] [SAVer] Fixed ovo.opam
---
ovo.opam | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/ovo.opam b/ovo.opam
index 443011b..6adaf24 100644
--- a/ovo.opam
+++ b/ovo.opam
@@ -9,7 +9,7 @@ depends: [
"odoc" {with-doc}
]
build: [
- ["dune" "subst" "--root" "."] {dev}
+ ["dune" "subst"] {dev}
[
"dune"
"build"
@@ -17,8 +17,7 @@ build: [
name
"-j"
jobs
- "--promote-install-files"
- "false"
+ "--promote-install-files=false"
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
--
GitLab