]> matita.cs.unibo.it Git - helm.git/commit
Dune sites used to locate the standard library
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Jan 2023 02:39:55 +0000 (03:39 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:23:41 +0000 (15:23 +0100)
commit2009d9e5625804a61007c65faf982e376252be79
tree6e74c06cf294e3443a1c853aee5a2d2d86770e77
parent49ba026556fb44d5f2730d43a3e819d224fdc10c
Dune sites used to locate the standard library

- it works both before and after installation
- it definitely breaks the Makefiles
matita/dune-project
matita/matita.install
matita/matita.opam
matita/matita/buildTimeConf.ml
matita/matita/dune
matita/matita/matitaGui.ml