From 8f6bf6ff782c51a782f3f717504cfdf9d553d548 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 5 Dec 2022 08:43:23 +0100
Subject: [PATCH] build: fix some opam warnings
---
algo.opam | 3 +--
sasa.opam | 2 +-
sasacore.opam | 3 +--
3 files changed, 3 insertions(+), 5 deletions(-)
diff --git a/algo.opam b/algo.opam
index 99a01bba..c26b0455 100644
--- a/algo.opam
+++ b/algo.opam
@@ -11,8 +11,7 @@ dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sa
bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
build: ["dune" "build" ]
depends: [
- "ocaml"
+ "ocaml" { >= "4.02" }
"ocamlfind"
"dune" { build }
]
-available: [ ocaml-version >= "4.02" ]
diff --git a/sasa.opam b/sasa.opam
index f3337cce..f387df3e 100644
--- a/sasa.opam
+++ b/sasa.opam
@@ -11,7 +11,7 @@ Basically, one needs to provide:
2. the algorithms attached to nodes (via Ocaml programs)
"""
authors: [ "Erwan Jahier" ]
-license: "CeCILL"
+license: "CECILL-2.1"
homepage: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa"
dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"
bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
diff --git a/sasacore.opam b/sasacore.opam
index 7ed46e06..7b34ab03 100644
--- a/sasacore.opam
+++ b/sasacore.opam
@@ -9,13 +9,12 @@ homepage:
bug-reports:
"https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
depends: [
- "ocaml"
+ "ocaml" { >= "4.02" }
"ocamlfind"
"dune" {build}
"ocamlgraph"
"lutils" {>= "1.51"}
]
-available: ocaml-version >= "4.02"
build: ["dune" "build"]
dev-repo:
"git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"
--
GitLab