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