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: Jun 03 2023 at 15:31 UTC