From 70e0a3ff51c278c8b3db519309aa112bf39bac88 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 21 Sep 2017 15:41:36 +0200
Subject: [PATCH] fix Makefile; fix coq-stdpp dep
---
Makefile | 1 +
opam | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 4a7e64420..cff640c1c 100644
--- a/Makefile
+++ b/Makefile
@@ -41,6 +41,7 @@ build-dep: build-dep/opam phony
Makefile: ;
_CoqProject: ;
awk.Makefile: ;
+opam: ;
# Phony wildcard targets
phony: ;
diff --git a/opam b/opam
index 1f1cc0596..74cfc66fd 100644
--- a/opam
+++ b/opam
@@ -12,5 +12,5 @@ remove: ["sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/iris'"]
depends: [
"coq" { >= "8.6.1" & < "8.8~" }
"coq-mathcomp-ssreflect" { (>= "1.6.1" & < "1.7~") | (= "dev") }
- "coq-stdpp" { (= "2017-09-21.2") | (= "dev") }
+ "coq-stdpp" { (= "dev.2017-09-21.2") | (= "dev") }
]
--
GitLab