CI breaks because of the wc example

[lastland]

Issue by lastland
Thursday Feb 20, 2020 at 19:38 GMT
Originally opened as antalsz/hs-to-coq#147

---

It looks like that my wc example would sometimes break the CI. The relevant log message says:

0.95s$ make -j2 -C examples/wc
make: Entering directory '/home/travis/build/antalsz/hs-to-coq/examples/wc'
stack exec hs-to-coq -- -e module-edits/Simple/edits \
              \
              \
	     -i wc/src -e ../../base/edits -e ../containers/edits -e ../transformers/edits -e edits --iface-dir ../../base --iface-dir ../containers/lib --iface-dir ../transformers/lib --iface-dir lib --dependency-dir deps -N  -o lib wc/src/Simple.hs
stack exec hs-to-coq -- -e module-edits/MultiCore/edits \
             -p module-edits/MultiCore/preamble.v \
              \
	     -i wc/src -e ../../base/edits -e ../containers/edits -e ../transformers/edits -e edits --iface-dir ../../base --iface-dir ../containers/lib --iface-dir ../transformers/lib --iface-dir lib --dependency-dir deps -N  -o lib drop-in/MultiCore.hs
deps/Simple.mk: openFile: does not exist (No such file or directory)
Makefile:99: recipe for target 'lib/Simple.v' failed
make: *** [lib/Simple.v] Error 1
make: *** Waiting for unfinished jobs....
deps/MultiCore.mk: openFile: does not exist (No such file or directory)
Makefile:113: recipe for target 'lib/MultiCore.v' failed
make: *** [lib/MultiCore.v] Error 1
make: Leaving directory '/home/travis/build/antalsz/hs-to-coq/examples/wc'

The bizarre part of this error is that it only occurs sometimes. 🤔