Skip to content

Commit

Permalink
Debug
Browse files Browse the repository at this point in the history
  • Loading branch information
@LasseBlaauwbroek
LasseBlaauwbroek committed Apr 11, 2024
1 parent a5c274d commit 7d00da2
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions shell_scripts/build.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,10 +34,10 @@ opam config set jobs $COQ_PLATFORM_JOBS
# One can rise it as root on MacOS, but only for a root shell, not for the current shell
ulimit -S -s 65520

if ! $COQ_PLATFORM_TIME opam pin dune 3.15.0; then dump_opam_logs; fi
if ! $COQ_PLATFORM_TIME opam pin coq-tactician-dummy 1.0~beta2+8.17; then dump_opam_logs; fi
if ! $COQ_PLATFORM_TIME opam pin coq-tactician 1.0~beta2.1+8.18; then dump_opam_logs; fi
if ! $COQ_PLATFORM_TIME opam pin coq-core 8.18.0; then dump_opam_logs; fi
if ! $COQ_PLATFORM_TIME opam pin -n dune 3.15.0; then dump_opam_logs; fi
if ! $COQ_PLATFORM_TIME opam pin -n coq-tactician-dummy 1.0~beta2+8.17; then dump_opam_logs; fi
if ! $COQ_PLATFORM_TIME opam pin -n coq-tactician 1.0~beta2.1+8.18; then dump_opam_logs; fi
if ! $COQ_PLATFORM_TIME opam pin -n coq-core 8.18.0; then dump_opam_logs; fi
if ! $COQ_PLATFORM_TIME opam install dune.3.15.0 coq-core.8.18.0 coq-tactician-dummy.1.0~beta2+8.17 coq-tactician.1.0~beta2.1+8.18; then dump_opam_logs; fi

opam switch
Expand Down

0 comments on commit 7d00da2

Please sign in to comment.