search

coq-community / topology

General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
Other
47 stars 10 forks source link

Metadata fixes #20

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

Unfortunately, make install (i.e., installation without Dune) will not work unless we add a bunch more boilerplate. Make this explicit in the README.

Zimmi48 commented 3 years ago

You could also recommend using Dune to manually build / install. IIUC the reason to keep putting make forward is that it's simpler to use when you want to edit the project and have correct editor support...

palmskog commented 3 years ago

In its current state, with a naked dune build failing due to limitations in handling of dependencies, I don't think it's a good idea to talk much about building with Dune. However, we can address this when 1.0 support for Coq in Dune is out.