ocamlPackages.sawja: 1.5.6 → 1.5.7

This commit is contained in:
Vincent Laporte 2019-10-24 06:26:48 +00:00 committed by Vincent Laporte
parent e5236a136d
commit a17f7277a8

View File

@ -1,10 +1,10 @@
{stdenv, fetchurl, which, perl, ocaml, findlib, javalib, camlp4 }:
{stdenv, fetchurl, which, perl, ocaml, findlib, javalib }:
assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "3.12";
let
pname = "sawja";
version = "1.5.6";
version = "1.5.7";
webpage = "http://sawja.inria.fr/";
in
stdenv.mkDerivation {
@ -12,11 +12,11 @@ stdenv.mkDerivation {
name = "ocaml${ocaml.version}-${pname}-${version}";
src = fetchurl {
url = https://gforge.inria.fr/frs/download.php/file/37819/sawja-1.5.6.tar.bz2;
sha256 = "0dkfdc8h94r7kj4p8q57fz7fssypgmjrix8xff0va7x1nya5sdp3";
url = https://gforge.inria.fr/frs/download.php/file/38117/sawja-1.5.7.tar.bz2;
sha256 = "08xv1bq4pragc1g93w4dnbn0mighcjwfp3ixj9jzmhka2vzqm4cc";
};
buildInputs = [ which perl ocaml findlib camlp4 ];
buildInputs = [ which perl ocaml findlib ];
patches = [ ./configure.sh.patch ./Makefile.config.example.patch ];