tip-org / benchmarks

Tons of Inductive Problems: The Benchmarks
http://tip-org.github.io/
BSD 3-Clause "New" or "Revised" License
24 stars 6 forks source link

tip-lib-0.1 doesn't compile because alex isn't listed as a build-tool #1

Closed peti closed 9 years ago

peti commented 9 years ago

Citing from http://hydra.cryp.to/build/926186/log/raw:

Building tip-lib-0.1...
Preprocessing library tip-lib-0.1...
Setup: The program 'alex' is required but it could not be found

It would be great if a build-tools stanza listing alex could be added to the Cabal file.

danr commented 9 years ago

Thanks. I was unaware that cabal sdist bundled the alex and happy files instead of the generated haskell files. This shold now be fixed in version 0.1.1.