1 files changed, 5 insertions, 10 deletions
diff --git a/pkgs/applications/science/logic/ssreflect/default.nix b/pkgs/applications/science/logic/ssreflect/default.nix
index c554b5dcea1c..764954f54f8f 100644
--- a/pkgs/applications/science/logic/ssreflect/default.nix
+++ b/pkgs/applications/science/logic/ssreflect/default.nix
@@ -6,7 +6,7 @@
 
 let
   pname = "ssreflect";
-  version = "1.3pl4";
+  version = "1.4";
   name = "${pname}-${version}";
   webpage = http://www.msr-inria.inria.fr/Projects/math-components;
 in
@@ -15,22 +15,16 @@ stdenv.mkDerivation {
   inherit name;
 
   src = fetchurl {
-    url = "${webpage}/${name}.tar.gz";
-    sha256 = "1ha3iiqq79pgll5ra9z0xdi3d3dr3wb9f5vsm4amy884l5anva02";
+    url = "${webpage}/${name}-coq8.4.tar.gz";
+    sha256 = "1ysx29xw09i86lq0d92z9cnyx133jfgq4qddy3501000fn7xwi7h";
   };
 
   buildInputs = [ ocaml camlp5 coq makeWrapper ];
 
   patches = [ ./static.patch ];
 
-  postBuild = ''
-    cd src
-    coqmktop -ide -opt ssreflect.cmx -o ../bin/ssrcoqide
-    cd ..
-  '';
-
   installPhase = ''
-    COQLIB=$out/lib/coq make -f Makefile.coq install -e
+    COQLIB=$out/lib/coq/ make -f Makefile.coq install -e
     mkdir -p $out/bin
     cp bin/* $out/bin
     for i in $out/bin/*; do
@@ -39,6 +33,7 @@ stdenv.mkDerivation {
         --add-flags "$out/lib/coq/user-contrib/Ssreflect" \
         --add-flags "Ssreflect"
     done
+    makeWrapper "${coq}/bin/coqide" "$out/bin/ssrcoqide" --add-flags "-coqtop" --add-flags "$out/bin/ssrcoq"
   '';
 
   meta = {