From f8ed2cd3f2bd769dad3d4f20582b161a0af17021 Mon Sep 17 00:00:00 2001
From: erwan <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 8 Jul 2021 10:12:08 +0200
Subject: [PATCH] Chore: fix the opam file
---
lutils.opam | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/lutils.opam b/lutils.opam
index e284bf4..bb1ac0f 100644
--- a/lutils.opam
+++ b/lutils.opam
@@ -10,7 +10,7 @@ doc: "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6"
depends: [
"ocaml" {>= "4.02"}
- "dune" {>= "1.2"}
+ "dune" {>= "2.0"}
"base-unix"
"ocamlfind"
"num"
@@ -18,7 +18,6 @@ depends: [
build: [
["dune" "build" "-p" name "-j" jobs]
]
-install: [make "install"]
post-messages:
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
dev-repo:
--
GitLab