Skip to content
Snippets Groups Projects
Commit 44116b68 authored by Ralf Jung's avatar Ralf Jung
Browse files

fix for make build-dep to update changed dependencies

parent 2aca245f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Makefile
+ 8
− 2
View file @ 44116b68
# Process flags
ifeq ($(Y), 1)
YFLAG=-y
endif
# Determine Coq version # Determine Coq version
COQ_VERSION=$(shell coqc --version | egrep -o 'version 8.[0-9]' | egrep -o '8.[0-9]') COQ_VERSION=$(shell coqc --version | egrep -o 'version 8.[0-9]' | egrep -o '8.[0-9]')
COQ_MAKEFILE_FLAGS ?= COQ_MAKEFILE_FLAGS ?=
...@@ -28,8 +33,9 @@ Makefile.coq: _CoqProject Makefile ...@@ -28,8 +33,9 @@ Makefile.coq: _CoqProject Makefile
# Install build-dependencies # Install build-dependencies
build-dep: build-dep:
cat opam.pins | build/opam-pins.sh cat opam.pins | build/opam-pins.sh
opam pin add coq-lambda-rust "$$(pwd)#HEAD" -k git -y -n opam upgrade $(YFLAG)
opam install coq-lambda-rust --deps-only -y 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 # some fiels that do *not* need to be forwarded to Makefile.coq
Makefile: ; Makefile: ;
......
build/opam-ci.sh
+ 1
− 1
View file @ 44116b68
...@@ -27,7 +27,7 @@ done ...@@ -27,7 +27,7 @@ done
# Install/upgrade build-dependencies # Install/upgrade build-dependencies
echo echo
opam upgrade -y opam upgrade -y
make build-dep make build-dep Y=1
# done # done
echo echo
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment