From 681b43b96a9321b20af38c38d9e237ca68c15cf1 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 16 Sep 2021 11:27:39 +0200
Subject: [PATCH] Use opam pin-depends to use correct why3 version.
---
caisar.opam | 8 +++++---
caisar.opam.template | 3 +++
2 files changed, 8 insertions(+), 3 deletions(-)
create mode 100644 caisar.opam.template
diff --git a/caisar.opam b/caisar.opam
index 7c53587..6fce9b4 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -19,7 +19,7 @@ depends: [
"odoc" {with-doc}
]
build: [
- ["dune" "subst" "--root" "."] {dev}
+ ["dune" "subst"] {dev}
[
"dune"
"build"
@@ -27,11 +27,13 @@ build: [
name
"-j"
jobs
- "--promote-install-files"
- "false"
+ "--promote-install-files=false"
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
["dune" "install" "-p" name "--create-install-files" name]
]
+pin-depends: [
+ [ "why3" "git+https://gitlab.inria.fr/why3/why3.git#autodetection_from_file" ]
+]
diff --git a/caisar.opam.template b/caisar.opam.template
new file mode 100644
index 0000000..10174fe
--- /dev/null
+++ b/caisar.opam.template
@@ -0,0 +1,3 @@
+pin-depends: [
+ [ "why3" "git+https://gitlab.inria.fr/why3/why3.git#autodetection_from_file" ]
+]
--
GitLab