mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-24 07:53:19 +00:00
1461dbbee3
If we're inheriting src from eio to use the same source tree, it makes sense to inherit patches as well. Currently we don't apply patches to eio, but this is useful for overlays, and will help avoid a potential oversight if we do need a patch in future.
23 lines
306 B
Nix
23 lines
306 B
Nix
{ lib
|
|
, stdenv
|
|
, buildDunePackage
|
|
, eio
|
|
, eio_posix
|
|
, eio_linux
|
|
}:
|
|
|
|
buildDunePackage {
|
|
pname = "eio_main";
|
|
inherit (eio) meta src patches version;
|
|
|
|
minimalOCamlVersion = "5.0";
|
|
|
|
dontStrip = true;
|
|
|
|
propagatedBuildInputs = [
|
|
eio_posix
|
|
] ++ lib.optionals stdenv.isLinux [
|
|
eio_linux
|
|
];
|
|
}
|