search

au-ts / cogent

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

libgum with cabal-3.0 #368

Open zilinc opened 4 years ago

zilinc commented 4 years ago

Need to check whether cabal-3.0+ installs libgum correctly.

zilinc commented 4 years ago

It generates them to the default store, with a hash for each time it's run. But I still haven't worked out how to tell it to install to a specific location. Also due to the lack of a v2-copy, it has to be done as part of the new-install command.