[PATCH 03/10] gnu: Add omake.

2017-01-27 Thread Julien Lepiller
* gnu/packages/ocaml.scm (omake): New variable. * gnu/packages/patches/ocaml-omake-fix-non-determinism.patch: New file. * gnu/local.mk (dist_patch_DATA): New patch. --- gnu/local.mk | 1 + gnu/packages/ocaml.scm | 44 ++

Re: [PATCH 03/10] gnu: Add omake.

2017-01-18 Thread Marius Bakke
Julien Lepiller writes: > * gnu/packages/ocaml.scm (omake): New variable. > * gnu/packages/patches/ocaml-omake-fix-non-determinism.patch: New file. > * gnu/local.mk (dist_patch_DATA): New patch. > --- > gnu/local.mk | 1 + > gnu/packages/ocaml.scm

[PATCH 03/10] gnu: Add omake.

2017-01-18 Thread Julien Lepiller
* gnu/packages/ocaml.scm (omake): New variable. * gnu/packages/patches/ocaml-omake-fix-non-determinism.patch: New file. * gnu/local.mk (dist_patch_DATA): New patch. --- gnu/local.mk | 1 + gnu/packages/ocaml.scm | 41 ++