Make GNUmakefile more customizable.

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory

https://arxiv.org/abs/1611.02108

MIT License

567 stars 76 forks source link

Closed favonia closed 6 years ago

mortberg commented 6 years ago

Thanks!

favonia commented 6 years ago

@mortberg BTW this should be backported to the master branch, I think.

mortberg commented 6 years ago

Sure, I'll cherry pick it