Add Coq Nix Toolbox-based CI to test CoqEAL.

Open Zimmi48 opened this issue 4 years ago • 1 comments

Closes #74.

Sep 01 '21 12:09 Zimmi48

@CohenCyril This is currently failing with:

installing
install flags: SHELL=/nix/store/dpjnjrqbgbm8a5wvi1hya01vd8wyvsq4-bash-4.4-p23/bin/bash COQLIB=\$\(out\)/lib/coq/dev/ install
/nix/store/5bfimzyrfrzyki78s7hbh6q5a2w48h5a-coq-dev/bin/coq_makefile  -f _CoqProject -o Makefile.coq
Error: cannot find CoqMakefile.in in /nix/store/kjymk7mgj78mfsxaaclw0zydwnw3gh1v-coqdev-mathcompdev-finmap-dev/lib/coq/dev/../coq-core/tools/CoqMakefile.in

I don't understand what this means, especially given that the master version of finmap is not virtually identical to the latest release.

Sep 01 '21 14:09 Zimmi48