diff options
| author | Rahul Gopinath <rahul@gopinath.org> | 2016-05-04 23:38:50 -0700 |
|---|---|---|
| committer | Joachim Fasting <joachifm@fastmail.fm> | 2016-05-10 10:28:45 +0200 |
| commit | 4700db89b1672c11c6d4bb0485c118864ac1ec1b (patch) | |
| tree | 0e17a81f28ef186279e788b48c96781a81e6f158 /pkgs/applications/misc/milu | |
| parent | 516f2ec30973385ea00069397a877a12f6e3b70d (diff) | |
milu: init at 2016-05-09
Milu is a mutation testing tool for C and C++ programs
Closes #15341
Diffstat (limited to 'pkgs/applications/misc/milu')
| -rw-r--r-- | pkgs/applications/misc/milu/default.nix | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/pkgs/applications/misc/milu/default.nix b/pkgs/applications/misc/milu/default.nix new file mode 100644 index 000000000000..721a101fbcec --- /dev/null +++ b/pkgs/applications/misc/milu/default.nix @@ -0,0 +1,40 @@ +{ stdenv, fetchFromGitHub, unzip, pkgconfig, glib, clang }: + +stdenv.mkDerivation rec { + name = "milu-nightly-${version}"; + version = "2016-05-09"; + + src = fetchFromGitHub { + sha256 = "14cglw04cliwlpvw7qrs6rfm5sv6qa558d7iby5ng3wdjcwx43nk"; + rev = "b5f2521859c0319d321ad3c1ad793b826ab5f6e1"; + repo = "Milu"; + owner = "yuejia"; + }; + + preConfigure = '' + sed -i 's#/usr/bin/##g' Makefile + sed -i "s#-lclang#-L$(clang --print-search-dirs | + sed -ne '/libraries:/{s/libraries: =//; s/:/ -L/gp}') -lclang#g" Makefile + ''; + + installPhase = '' + mkdir -p $out/bin + cp bin/milu $out/bin + ''; + + buildInputs = [ + pkgconfig + glib + unzip + clang + ]; + + meta = { + description = "Higher Order Mutation Testing Tool for C and C++ programs"; + homepage = http://github.com/yuejia/Milu; + license = stdenv.lib.licenses.bsd2; + platforms = stdenv.lib.platforms.unix; + maintainers = [ stdenv.lib.maintainers.vrthra ]; + }; +} + |