diff --git a/Makefile b/Makefile
index c09b64ca57544979288526d4223827e633379a6a..aac8887311c5376819f5cb3613cb2d9ee006774b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,8 @@
+# Process flags
+ifeq ($(Y), 1)
+	YFLAG=-y
+endif
+
 # Determine Coq version
 COQ_VERSION=$(shell coqc --version | egrep -o 'version 8.[0-9]' | egrep -o '8.[0-9]')
 COQ_MAKEFILE_FLAGS ?=
@@ -28,8 +33,9 @@ Makefile.coq: _CoqProject Makefile
 # Install build-dependencies
 build-dep:
 	cat opam.pins | build/opam-pins.sh
-	opam pin add coq-lambda-rust "$$(pwd)#HEAD" -k git -y -n
-	opam install coq-lambda-rust --deps-only -y
+	opam upgrade $(YFLAG)
+	opam pin add coq-lambda-rust "$$(pwd)#HEAD" -k git -n -y
+	opam install coq-lambda-rust --deps-only $(YFLAG)
 
 # some fiels that do *not* need to be forwarded to Makefile.coq
 Makefile: ;
diff --git a/build/opam-ci.sh b/build/opam-ci.sh
index dadba5da3ce0ea63313edbf030505c2fa9bb9d29..95f19e830600f704f17fe22a8d470c17fff43364 100755
--- a/build/opam-ci.sh
+++ b/build/opam-ci.sh
@@ -27,7 +27,7 @@ done
 # Install/upgrade build-dependencies
 echo
 opam upgrade -y
-make build-dep
+make build-dep Y=1
 
 # done
 echo