depend on autosubst

322cef94 · Ralf Jung · e45c694b · 322cef94 · 322cef94
Commit 322cef94 authored Nov 14, 2017 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

README.md README.md +1 -0

opam opam +1 -0

No files found.
--- a/README.md
+++ b/README.md
@@ -9,6 +9,7 @@ This version is known to compile with:
 - Coq 8.6.1 / 8.7.0
 - Ssreflect 1.6.4
 - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
+ - The coq86-devel branch of [Autosubst](https://github.com/uds-psl/autosubst)

 The easiest way to install the correct versions of the dependencies is through
 opam.  Once you got opam set up, just run `make build-dep` to install the right

--- a/opam
+++ b/opam
@@ -10,4 +10,5 @@ install: [make "install"]
 remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/iris_examples"]
 depends: [
  "coq-iris" { (= "dev.2017-10-28.10") | (= "dev") }
+  "coq-autosubst" { = "dev.coq86" }
 ]