diff options
| author | happysalada <raphael@megzari.com> | 2021-09-25 18:04:30 +0900 |
|---|---|---|
| committer | happysalada <raphael@megzari.com> | 2021-09-25 18:04:30 +0900 |
| commit | 2fb9f65c0a1c9d6624b5c0a237b3eaa9d14b8dcd (patch) | |
| tree | e6a4e5db181f63d6d078569b60cb55cac65abc19 /pkgs/development/tools/comby | |
| parent | c92f96b079bc9710234cfd7054c605a9d2c2bd2c (diff) | |
comby: nixpkgs-fmt
Diffstat (limited to 'pkgs/development/tools/comby')
| -rw-r--r-- | pkgs/development/tools/comby/default.nix | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/pkgs/development/tools/comby/default.nix b/pkgs/development/tools/comby/default.nix index ca0a24133045b..6023d55ec128f 100644 --- a/pkgs/development/tools/comby/default.nix +++ b/pkgs/development/tools/comby/default.nix @@ -1,5 +1,15 @@ -{ ocamlPackages, fetchFromGitHub, lib, zlib, pkg-config, cacert, gmp, libev -, autoconf, sqlite, stdenv }: +{ ocamlPackages +, fetchFromGitHub +, lib +, zlib +, pkg-config +, cacert +, gmp +, libev +, autoconf +, sqlite +, stdenv +}: let mkCombyPackage = { pname, extraBuildInputs ? [ ], extraNativeInputs ? [ ] }: ocamlPackages.buildDunePackage rec { @@ -41,7 +51,8 @@ let }; combyKernel = mkCombyPackage { pname = "comby-kernel"; }; -in mkCombyPackage { +in +mkCombyPackage { pname = "comby"; extraBuildInputs = [ @@ -62,6 +73,7 @@ in mkCombyPackage { ocamlPackages.lwt_react ocamlPackages.tls combyKernel + combySemantic ] ++ (if !stdenv.isAarch32 && !stdenv.isAarch64 then [ ocamlPackages.hack_parallel ] else |