Théo Zimmermann
|
742bce7793
|
buildDunePackage: inline dune.installPhase for easier overriding
Co-authored-by: Jörg Thalheim <Mic92@users.noreply.github.com>
|
2018-11-07 10:08:08 +01:00 |
|
Théo Zimmermann
|
406405d8bd
|
buildDunePackage: add support for pre and post phase hooks
Co-authored-by: Jörg Thalheim <Mic92@users.noreply.github.com>
|
2018-11-07 10:08:08 +01:00 |
|
Théo Zimmermann
|
794158fcd5
|
buildDunePackage: new support function; use it to refactor some OCaml derivations
|
2018-11-07 10:08:03 +01:00 |
|