mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 13:41:26 +00:00
Code Issues Wiki Activity

comby: 1.5.1 -> 1.7.0

Browse source
This commit is contained in:
happysalada 2021-09-25 19:50:28 +09:00
parent 2fb9f65c0a
commit 54051ba418
1 changed files with 16 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
pkgs/development/tools/comby/default.nix
View file

@ -11,10 +11,10 @@
, stdenv
}:
let
mkCombyPackage = { pname, extraBuildInputs ? [ ], extraNativeInputs ? [ ] }:
mkCombyPackage = { pname, extraBuildInputs ? [ ], extraNativeInputs ? [ ], preBuild ? "" }:
ocamlPackages.buildDunePackage rec {
inherit pname;
version = "1.5.1";
inherit pname preBuild;
version = "1.7.0";
useDune2 = true;
minimumOcamlVersion = "4.08.1";
doCheck = true;
@ -23,7 +23,7 @@ let
owner = "comby-tools";
repo = "comby";
rev = version;
sha256 = "1ipfrr6n1jyyryhm9zpn8wwgzfac1zgbjdjzrm00qcwc17r8x2hf";
sha256 = "sha256-Y2RcYvJOSqppmxxG8IZ5GlFkXCOIQU+1jJZ6j+PBHC4";
};
nativeBuildInputs = [
@ -51,10 +51,21 @@ let
};
combyKernel = mkCombyPackage { pname = "comby-kernel"; };
combySemantic = mkCombyPackage { pname = "comby-semantic"; extraBuildInputs = [ ocamlPackages.cohttp-lwt-unix ]; };
in
mkCombyPackage {
pname = "comby";
# tests have to be removed before building otherwise installPhase will fail
# cli tests expect a path to the built binary
preBuild = ''
substituteInPlace test/common/dune \
--replace "test_cli_list" "" \
--replace "test_cli_helper" "" \
--replace "test_cli" ""
rm test/common/{test_cli_list,test_cli_helper,test_cli}.ml
'';
extraBuildInputs = [
zlib
gmp
@ -86,4 +97,5 @@ mkCombyPackage {
ocamlPackages.ppx_expect
ocamlPackages.dune-configurator
];
}