Mario Rodas
|
f7ac956a2b
|
buildDunePackage: add support for parallel build
dune allows to specify the number of jobs to build the package.
|
2020-04-29 16:08:52 +02:00 |
|
Vincent Laporte
|
0229936bbe
|
buildDunePackage: add a “useDune2” option
|
2020-03-23 09:12:50 +01:00 |
|
John Ericson
|
bca2e8255e
|
treewide: CAML_LD_LIBRARY_PATH may be undefined
|
2019-11-14 13:44:07 -05:00 |
|
Merlin Göttlinger
|
b1f0e3ebc5
|
Suggested edits
|
2019-08-07 09:50:46 +02:00 |
|
Merlin Göttlinger
|
6e6c1448fa
|
Suggested edits
|
2019-08-07 06:51:36 +02:00 |
|
Merlin Göttlinger
|
961b83a99d
|
Don't use buildOcaml
|
2019-08-06 17:54:09 +02:00 |
|
Merlin Göttlinger
|
6ef367a5e8
|
Suggested changes
|
2019-08-06 06:46:03 +02:00 |
|
Merlin Göttlinger
|
2ea2643b13
|
OCaml build support: add oasis build system
|
2019-08-01 10:44:04 +02:00 |
|
volth
|
f3282c8d1e
|
treewide: remove unused variables (#63177)
* treewide: remove unused variables
* making ofborg happy
|
2019-06-16 19:59:05 +00:00 |
|
Vincent Laporte
|
66efb76c75
|
ocamlPackages.buildDunePackage: fix meta.platforms
|
2018-11-30 16:19:03 +00:00 |
|
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 |
|
Vincent Laporte
|
4168706d4f
|
OCaml modules: make explicit some dependencies to ocamlbuild
|
2016-10-09 11:55:19 +02:00 |
|
Kirill Boltaev
|
3e646865f4
|
treewide: use ocaml.version (#19192)
|
2016-10-05 09:32:30 +02:00 |
|
Nicolas B. Pierron
|
72c6f8a140
|
Ensure that we can evaluate the platform attribute of ocaml packages.
|
2016-03-13 19:08:26 +00:00 |
|
Eric Merritt
|
d814c50505
|
add an ocaml specific builder to the system
|
2015-05-22 10:12:21 -07:00 |
|