From e0cf8ff143bd85381f3e3cbf4d8c0d1d9b2b76f0 Mon Sep 17 00:00:00 2001 From: Hai Dang <dhhai.uns@gmail.com> Date: Wed, 28 Jun 2017 21:58:52 +0200 Subject: [PATCH] turn opam pins on --- coq/ra/Makefile | 4 ++-- opam.pins | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/coq/ra/Makefile b/coq/ra/Makefile index b8a6a2d0..5971295f 100644 --- a/coq/ra/Makefile +++ b/coq/ra/Makefile @@ -22,8 +22,8 @@ Makefile.coq: _CoqProject Makefile awk.Makefile # Install build-dependencies build-dep: - # ../build/opam-pins.sh < ../../opam.pins - # opam upgrade $(YFLAG) # it is not nice that we upgrade *all* packages here, but I found no nice way to upgrade only those that we pinned + ../build/opam-pins.sh < ../../opam.pins + opam upgrade $(YFLAG) # it is not nice that we upgrade *all* packages here, but I found no nice way to upgrade only those that we pinned opam pin add opam-builddep-temp "$$(pwd)/../..#HEAD" -k git -n -y opam install opam-builddep-temp --deps-only $(YFLAG) opam pin remove opam-builddep-temp diff --git a/opam.pins b/opam.pins index 37b24384..ea8fd234 100644 --- a/opam.pins +++ b/opam.pins @@ -1 +1,2 @@ -coq-iris https://gitlab.mpi-sws.org/FP/iris-coq bfe7dd4c44d609088acadf40e1be500f76388a73 \ No newline at end of file +coq-iris https://gitlab.mpi-sws.org/FP/iris-coq bfe7dd4c44d609088acadf40e1be500f76388a73 +coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp a0ce0937cfabe16a184af2d92c0466ebacecbca2 \ No newline at end of file -- GitLab