2014-09-22 23:24:28 +01:00
|
|
|
{stdenv, fetchurl, which, perl, ocaml, findlib, javalib, camlp4 }:
|
2014-09-21 11:02:55 +01:00
|
|
|
|
|
|
|
assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "3.12";
|
|
|
|
|
2014-07-06 16:41:40 +01:00
|
|
|
let
|
|
|
|
pname = "sawja";
|
|
|
|
version = "1.5";
|
|
|
|
webpage = "http://sawja.inria.fr/";
|
|
|
|
in
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
|
|
|
|
name = "ocaml-${pname}-${version}";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "https://gforge.inria.fr/frs/download.php/33091/${pname}-${version}.tar.bz2";
|
|
|
|
sha256 = "0i8qgqkw9vgj6k2g6npss268ivxdkzx5qj2a52jbd8ih59rn68cm";
|
|
|
|
};
|
|
|
|
|
2014-09-22 23:24:28 +01:00
|
|
|
buildInputs = [ which perl ocaml findlib camlp4 ];
|
2014-07-06 16:41:40 +01:00
|
|
|
|
|
|
|
patches = [ ./configure.sh.patch ./Makefile.config.example.patch ];
|
|
|
|
|
|
|
|
createFindlibDestdir = true;
|
|
|
|
|
2015-01-08 09:26:49 +00:00
|
|
|
preConfigure = "patchShebangs ./configure.sh";
|
|
|
|
|
2014-07-06 16:41:40 +01:00
|
|
|
configureScript = "./configure.sh";
|
|
|
|
dontAddPrefix = "true";
|
|
|
|
|
|
|
|
propagatedBuildInputs = [ javalib ];
|
|
|
|
|
2014-09-21 11:02:55 +01:00
|
|
|
meta = with stdenv.lib; {
|
2014-07-06 16:41:40 +01:00
|
|
|
description = "A library written in OCaml, relying on Javalib to provide a high level representation of Java bytecode programs";
|
|
|
|
homepage = "${webpage}";
|
2014-09-21 11:02:55 +01:00
|
|
|
license = licenses.gpl3Plus;
|
|
|
|
maintainers = [ maintainers.vbgl ];
|
2014-07-06 16:41:40 +01:00
|
|
|
platforms = ocaml.meta.platforms;
|
|
|
|
};
|
|
|
|
}
|