Install bootstrap alex and happy for older travis builds

GaloisInc / ivory

The Ivory EDSL

http://ivorylang.org

BSD 3-Clause "New" or "Revised" License

393 stars 28 forks source link

Install bootstrap alex and happy for older travis builds #125

Closed dpwiz closed 4 years ago

dpwiz commented 4 years ago

Something went wrong and master got unbuildable due to alex and happy bootstrapping issues. This installs the build-tools to bring in the versions required by the snapshots.

dpwiz commented 4 years ago

ping @glguy