Stream: Dune devs & users

Topic: Building CoqHammer with Dune


view this post on Zulip Karl Palmskog (Aug 14 2020 at 15:23):

I did a translation of the CoqHammer makefile build(s) to Dune: https://github.com/lukaszcz/coqhammer/pull/82/files -- any comments welcome if this is reasonable/idiomatic.


Last updated: Mar 29 2024 at 09:02 UTC