From 247f6e06ba189e66884e60f00bc6c3c045525138 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 5 Sep 2022 11:08:25 +0200
Subject: [PATCH] feat: add a Salut opam package
---
salut.opam | 26 ++++++++++++++++++++++++++
sasa.opam | 1 -
2 files changed, 26 insertions(+), 1 deletion(-)
create mode 100644 salut.opam
diff --git a/salut.opam b/salut.opam
new file mode 100644
index 00000000..adf3a646
--- /dev/null
+++ b/salut.opam
@@ -0,0 +1,26 @@
+opam-version: "2.0"
+synopsis: "A Lustre API for SASA"
+description: """\
+SASA is a *Self-stabilizing Algorithms SimulAtor*. Algorithms in SASA
+are provided in OCaml.
+
+With Salut, one can provide them in lustre and perform model-checking
+(with lesar or kind2).
+"""
+maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
+authors: "Erwan Jahier and Gabriel B. Sant'Anna"
+license: "CeCILL-2.1"
+homepage:
+ "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa"
+bug-reports:
+ "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
+depends: [
+ "sasa"
+ "kind2" { < "1.6" }
+]
+build: ["dune" "build"]
+install: ["dune" "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:
+ "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"
diff --git a/sasa.opam b/sasa.opam
index cef9b73a..f3337cce 100644
--- a/sasa.opam
+++ b/sasa.opam
@@ -26,7 +26,6 @@ depends: [
"rdbg" { >= "1.194" }
"lustre-v6"
"lutin"
- "kind2" { < "1.6" }
]
build: [make "build"]
install: ["dune" "install"]
--
GitLab