···

       
5
       
 
       
  unzip,

     

       
6
       
 
       
  pkg-config,

     

       
7
       
 
       
  glib,

     

       
0
       
 
       

     

       
8
       
 
       
  llvmPackages,

     

       
9
       
 
       
}:

     

       
10
       
 
       


     
···

       
13
       
 
       
  version = "2016-05-09";

     

       
14
       
 
       


     

       
15
       
 
       
  src = fetchFromGitHub {

     

       
16
       
-
       
    sha256 = "14cglw04cliwlpvw7qrs6rfm5sv6qa558d7iby5ng3wdjcwx43nk";

     

       
17
       
-
       
    rev = "b5f2521859c0319d321ad3c1ad793b826ab5f6e1";

     

       
18
       
-
       
    repo = "Milu";

     

       
19
       
 
       
    owner = "yuejia";

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
20
       
 
       
  };

     

       
21
       
 
       


     

       
22
       
 
       
  hardeningDisable = [ "format" ];

     

       
23
       
 
       


     

       
24
       
 
       
  preConfigure = ''

     

       
25
       
-
       
    sed -i 's#/usr/bin/##g' Makefile

     

       
26
       
-
       
  '';

     

       
27
       
-
       


     

       
28
       
-
       
  installPhase = ''

     

       
29
       
-
       
    mkdir -p $out/bin

     

       
30
       
-
       
    cp bin/milu $out/bin

     

       
31
       
 
       
  '';

     

       
32
       
 
       


     

       
33
       
 
       
  nativeBuildInputs = [

     

       
34
       
 
       
    pkg-config

     

       
35
       
 
       
    unzip

     

       
36
       
 
       
  ];

     

       
0
       
 
       

     

       
37
       
 
       
  buildInputs = [

     

       
38
       
 
       
    glib

     

       
0
       
 
       

     

       
39
       
 
       
    llvmPackages.libclang

     

       
40
       
 
       
  ];

     

       
41
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
42
       
 
       
  env.NIX_CFLAGS_COMPILE = toString [

     

       
43
       
 
       
    "-Wno-incompatible-pointer-types"

     

       
44
       
 
       
    "-Wno-implicit-function-declaration"

     

       
45
       
 
       
    "-Wno-error=int-conversion"

     

       
46
       
 
       
  ];

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
47
       
 
       


     

       
48
       
 
       
  meta = {

     

       
49
       
 
       
    description = "Higher Order Mutation Testing Tool for C and C++ programs";

     

···

       
5
       
 
       
  unzip,

     

       
6
       
 
       
  pkg-config,

     

       
7
       
 
       
  glib,

     

       
8
       
+
       
  llvm,

     

       
9
       
 
       
  llvmPackages,

     

       
10
       
 
       
}:

     

       
11
       
 
       


     
···

       
14
       
 
       
  version = "2016-05-09";

     

       
15
       
 
       


     

       
16
       
 
       
  src = fetchFromGitHub {

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
17
       
 
       
    owner = "yuejia";

     

       
18
       
+
       
    repo = "Milu";

     

       
19
       
+
       
    rev = "b5f2521859c0319d321ad3c1ad793b826ab5f6e1";

     

       
20
       
+
       
    hash = "sha256-0w7SOZONj2eLX/E0VIrCZutSXTY648P3pTxSRgCnj5E=";

     

       
21
       
 
       
  };

     

       
22
       
 
       


     

       
23
       
 
       
  hardeningDisable = [ "format" ];

     

       
24
       
 
       


     

       
25
       
 
       
  preConfigure = ''

     

       
26
       
+
       
    substituteInPlace Makefile \

     

       
27
       
+
       
      --replace-fail /usr/bin/ "" \

     

       
28
       
+
       
      --replace-fail bin/milu $out/bin/milu

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
29
       
 
       
  '';

     

       
30
       
 
       


     

       
31
       
 
       
  nativeBuildInputs = [

     

       
32
       
 
       
    pkg-config

     

       
33
       
 
       
    unzip

     

       
34
       
 
       
  ];

     

       
35
       
+
       


     

       
36
       
 
       
  buildInputs = [

     

       
37
       
 
       
    glib

     

       
38
       
+
       
    llvm.dev

     

       
39
       
 
       
    llvmPackages.libclang

     

       
40
       
 
       
  ];

     

       
41
       
 
       


     

       
42
       
+
       
  preBuild = ''

     

       
43
       
+
       
    mkdir -p $out/bin

     

       
44
       
+
       
  '';

     

       
45
       
+
       


     

       
46
       
 
       
  env.NIX_CFLAGS_COMPILE = toString [

     

       
47
       
 
       
    "-Wno-incompatible-pointer-types"

     

       
48
       
 
       
    "-Wno-implicit-function-declaration"

     

       
49
       
 
       
    "-Wno-error=int-conversion"

     

       
50
       
 
       
  ];

     

       
51
       
+
       


     

       
52
       
+
       
  # `make all` already installs the binaries

     

       
53
       
+
       
  dontInstall = true;

     

       
54
       
 
       


     

       
55
       
 
       
  meta = {

     

       
56
       
 
       
    description = "Higher Order Mutation Testing Tool for C and C++ programs";