cubicle: 1.0.2 -> 1.1.1

NixOS · Oct 11, 2017 · 1529938 · 1529938
1 parent 29f4775
commit 1529938
Showing 1 changed file with 9 additions and 5 deletions.
diff --git a/pkgs/applications/science/logic/cubicle/default.nix b/pkgs/applications/science/logic/cubicle/default.nix
@@ -1,20 +1,24 @@
-{ stdenv, fetchurl, ocaml, ocamlPackages }:
+{ stdenv, fetchurl, ocamlPackages }:
 
 stdenv.mkDerivation rec {
   name = "cubicle-${version}";
-  version = "1.0.2";
+  version = "1.1.1";
   src = fetchurl {
     url = "http://cubicle.lri.fr/cubicle-${version}.tar.gz";
-    sha256 = "1fg39vlr2d5067512df32hkw6g8vglxj1m47md5mw3pn3ij6dpsx";
+    sha256 = "1sny9c4fm14k014pk62ibpwbrjjirkx8xmhs9jg7q1hk7y7x3q2h";
   };
 
-  buildInputs = [ ocaml ocamlPackages.functory ];
+  postPatch = ''
+    substituteInPlace Makefile.in --replace "\\n" ""
+  '';
+
+  buildInputs = with ocamlPackages; [ ocaml findlib functory ];
 
   meta = with stdenv.lib; {
     description = "An open source model checker for verifying safety properties of array-based systems";
     homepage = http://cubicle.lri.fr/;
     license = licenses.asl20;
-    platforms = platforms.linux;
+    platforms = platforms.unix;
     maintainers = with maintainers; [ lucas8 ];
   };
 }