From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 2 Jan 2023 19:42:56 +0000 (+0100)
Subject: Preliminary support for dune
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=712af5b8dc7dab1ebfa6532b73b91c96cb4c6837;hp=712af5b8dc7dab1ebfa6532b73b91c96cb4c6837;p=helm.git

Preliminary support for dune

- dune build matita/matita{,c,clean}.exe works
- dune build fails on components/syntax_extensions where we need
  to add modules to two different libraries. I have found a
  workaround (dune does not allow it!) that works when building
  matita*.exe, but not when doing "dune build"
- the dune files and the Makefiles are not 100% equivalent
  (e.g. some modules not dropped during compilation, the user
  interface not generated by glade yet)
---