2018-01-16 21:20:13 +00:00
|
|
|
{ stdenv, fetchFromGitHub, unzip, pkgconfig, glib, llvmPackages }:
|
2016-05-05 07:38:50 +01:00
|
|
|
|
2019-08-13 22:52:01 +01:00
|
|
|
stdenv.mkDerivation {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "milu-nightly";
|
2016-05-05 07:38:50 +01:00
|
|
|
version = "2016-05-09";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
sha256 = "14cglw04cliwlpvw7qrs6rfm5sv6qa558d7iby5ng3wdjcwx43nk";
|
|
|
|
rev = "b5f2521859c0319d321ad3c1ad793b826ab5f6e1";
|
|
|
|
repo = "Milu";
|
|
|
|
owner = "yuejia";
|
|
|
|
};
|
|
|
|
|
2016-05-31 13:28:59 +01:00
|
|
|
hardeningDisable = [ "format" ];
|
|
|
|
|
2016-05-05 07:38:50 +01:00
|
|
|
preConfigure = ''
|
|
|
|
sed -i 's#/usr/bin/##g' Makefile
|
|
|
|
'';
|
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
mkdir -p $out/bin
|
|
|
|
cp bin/milu $out/bin
|
|
|
|
'';
|
|
|
|
|
2017-09-14 20:24:37 +01:00
|
|
|
nativeBuildInputs = [ pkgconfig ];
|
2016-05-05 07:38:50 +01:00
|
|
|
buildInputs = [
|
|
|
|
glib
|
|
|
|
unzip
|
2018-01-16 21:20:13 +00:00
|
|
|
llvmPackages.libclang
|
2016-05-05 07:38:50 +01:00
|
|
|
];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "Higher Order Mutation Testing Tool for C and C++ programs";
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://github.com/yuejia/Milu";
|
2016-05-05 07:38:50 +01:00
|
|
|
license = stdenv.lib.licenses.bsd2;
|
2016-05-10 17:39:22 +01:00
|
|
|
platforms = stdenv.lib.platforms.linux;
|
2016-05-05 07:38:50 +01:00
|
|
|
maintainers = [ stdenv.lib.maintainers.vrthra ];
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|