···

       
1
       
1
       
-
       
{ stdenv, fetchurl, perl, mlton }:

     

       
1
       
1
       
+
       
{ stdenv, fetchFromGitHub, perl, mlton }:

     

       
2
       
2
       
 
       


     

       
3
       
3
       
 
       
stdenv.mkDerivation rec {

     

       
4
       
4
       
 
       
  name = "metis-prover-${version}";

     

       
5
       
5
       
-
       
  version = "2.3.20160102";

     

       
5
       
5
       
+
       
  version = "2.3.20160713";

     

       
6
       
6
       
 
       


     

       
7
       
7
       
-
       
  src = fetchurl {

     

       
8
       
8
       
-
       
    url = "http://www.gilith.com/software/metis/metis.tar.gz";

     

       
9
       
9
       
-
       
    sha256 = "13csr90i9lsxdyzxqiwgi98pa7phfl28drjcv4qdjhzi71wcdc66";

     

       
7
       
7
       
+
       
  src = fetchFromGitHub {

     

       
8
       
8
       
+
       
    owner = "gilith";

     

       
9
       
9
       
+
       
    repo = "metis";

     

       
10
       
10
       
+
       
    rev = "f0b1a17cd57eb098077e963ab092477aee9fb340";

     

       
11
       
11
       
+
       
    sha256 = "1i7paax7b4byk8110f5zk4071mh5603r82bq7hbprqzljvsiipk7";

     

       
10
       
12
       
 
       
  };

     

       
11
       
13
       
 
       


     

       
12
       
14
       
 
       
  nativeBuildInputs = [ perl ];

     

       
13
       
15
       
 
       
  buildInputs = [ mlton ];

     

       
14
       
16
       
 
       


     

       
15
       
15
       
-
       
  patchPhase = "patchShebangs scripts/mlpp";

     

       
17
       
17
       
+
       
  patchPhase = "patchShebangs .";

     

       
16
       
18
       
 
       


     

       
17
       
19
       
 
       
  buildPhase = "make mlton";

     

       
18
       
20