]> 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, 3 Jan 2023 02:39:55 +0000 (03:39 +0100)
commit162823937d69dd36cb600535a83bc09f30d0a545
tree530f4c11b6d7b94488621c0d62cd9f3be4b5d800
parent6fbaee3701f116f9db60bfd3998dff63ddb68704
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