2021-01-10 23:54:33 -08:00
|
|
|
{ lib, stdenv, fetchFromGitHub, which, perl, ocaml, findlib, javalib }:
|
2014-09-21 03:02:55 -07:00
|
|
|
|
2014-07-06 08:41:40 -07:00
|
|
|
let
|
|
|
|
pname = "sawja";
|
2020-02-21 00:18:51 -08:00
|
|
|
version = "1.5.8";
|
2014-07-06 08:41:40 -07:00
|
|
|
webpage = "http://sawja.inria.fr/";
|
|
|
|
in
|
2020-02-21 00:18:51 -08:00
|
|
|
|
2021-01-11 04:49:15 -08:00
|
|
|
if !lib.versionAtLeast ocaml.version "4.07"
|
2020-02-21 00:18:51 -08:00
|
|
|
then throw "${pname} is not available for OCaml ${ocaml.version}"
|
|
|
|
else
|
|
|
|
|
2019-08-13 14:52:01 -07:00
|
|
|
stdenv.mkDerivation {
|
2014-07-06 08:41:40 -07:00
|
|
|
|
2017-06-30 09:55:04 -07:00
|
|
|
name = "ocaml${ocaml.version}-${pname}-${version}";
|
2014-07-06 08:41:40 -07:00
|
|
|
|
2020-02-21 00:18:51 -08:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "javalib-team";
|
|
|
|
repo = pname;
|
|
|
|
rev = "v${version}";
|
|
|
|
sha256 = "0rawr0jav33rvagm8sxc0arc7ya1fd9w5nng3lhfk8p02f9z8wrp";
|
2014-07-06 08:41:40 -07:00
|
|
|
};
|
|
|
|
|
2019-10-23 23:26:48 -07:00
|
|
|
buildInputs = [ which perl ocaml findlib ];
|
2014-07-06 08:41:40 -07:00
|
|
|
|
|
|
|
patches = [ ./configure.sh.patch ./Makefile.config.example.patch ];
|
|
|
|
|
|
|
|
createFindlibDestdir = true;
|
|
|
|
|
2015-01-08 01:26:49 -08:00
|
|
|
preConfigure = "patchShebangs ./configure.sh";
|
|
|
|
|
2014-07-06 08:41:40 -07:00
|
|
|
configureScript = "./configure.sh";
|
|
|
|
dontAddPrefix = "true";
|
|
|
|
|
|
|
|
propagatedBuildInputs = [ javalib ];
|
|
|
|
|
2021-01-10 23:54:33 -08:00
|
|
|
meta = with lib; {
|
2014-07-06 08:41:40 -07:00
|
|
|
description = "A library written in OCaml, relying on Javalib to provide a high level representation of Java bytecode programs";
|
2019-09-08 16:38:31 -07:00
|
|
|
homepage = webpage;
|
2014-09-21 03:02:55 -07:00
|
|
|
license = licenses.gpl3Plus;
|
|
|
|
maintainers = [ maintainers.vbgl ];
|
2015-12-24 09:49:07 -08:00
|
|
|
platforms = ocaml.meta.platforms or [];
|
2014-07-06 08:41:40 -07:00
|
|
|
};
|
|
|
|
}
|