From cfabfb06617ccdac93bf17735ae71c89e62300a3 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 30 Nov 2016 14:27:56 +0100
Subject: [PATCH] clean up the pin for coq-lambda-rust when we are done

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 8f2a976c..dedcd0f2 100644
--- a/Makefile
+++ b/Makefile
@@ -33,9 +33,10 @@ Makefile.coq: _CoqProject Makefile
 # Install build-dependencies
 build-dep:
 	build/opam-pins.sh < opam.pins
-	opam pin add coq-lambda-rust "$$(pwd)#HEAD" -k git -n -y
 	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 coq-lambda-rust "$$(pwd)#HEAD" -k git -n -y
 	opam install coq-lambda-rust --deps-only $(YLFAG)
+	opam pin remove coq-lambda-rust
 
 # some fiels that do *not* need to be forwarded to Makefile.coq
 Makefile: ;
-- 
GitLab