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

I am officially too stupid to use git

parent e2c2f8fa
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
build/opam-ci.sh
+ 2
− 2
View file @ f204c9c8
...@@ -16,12 +16,12 @@ test -d "$OPAMROOT/repo/coq-released" || opam repo add coq-released https://coq. ...@@ -16,12 +16,12 @@ test -d "$OPAMROOT/repo/coq-released" || opam repo add coq-released https://coq.
opam update opam update
opam install ocamlfind -y # Remove this once the Coq crew fixed their package... opam install ocamlfind -y # Remove this once the Coq crew fixed their package...
# Fix versions of some dependencies # Install fixed versions of some dependencies
echo echo
for PIN in "${@}" for PIN in "${@}"
do do
echo "Applying pin: $PIN" echo "Applying pin: $PIN"
opam pin add $PIN -k version -y -n opam pin add $PIN -k version -y
done done
# Install build-dependencies # Install build-dependencies
......
opam.pins
+ 1
− 1
View file @ f204c9c8
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 86315b423a2bf8826a6d63a90630a239ad3d1823 coq-iris https://gitlab.mpi-sws.org/FP/iris-coq fd42adfe6236b6bebacb963e8fed3f7d1f935e26
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment