search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

Cogent installation using stack #271

Open zilinc opened 5 years ago

zilinc commented 5 years ago

https://github.com/NICTA/cogent/blob/master/cogent/INSTALL.md#build-with-stack might no longer be true. It might have been fixed. We need to update it with instructions on how to enable/disable cogent build flags.

ajaysusarla commented 5 years ago

Ack. Shall do that. I tested building using stack on both Debian and Arch and it works.