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

fix Makefile

parent 5f783157
No related branches found
No related tags found
No related merge requests found
......@@ -39,7 +39,7 @@ 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
opam pin add coq-lambda-rust "$$(pwd)#HEAD" -k git -n -y
opam install coq-lambda-rust --deps-only $(YLFAG)
opam install coq-lambda-rust --deps-only $(YFLAG)
opam pin remove coq-lambda-rust
# some fiels that do *not* need to be forwarded to Makefile.coq
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment