summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/javalib
diff options
context:
space:
mode:
authorVincent Laporte <vincent.laporte@gmail.com>2014-07-06 17:41:40 +0200
committerMichael Raskin <7c6f434c@mail.ru>2014-08-23 12:44:16 +0400
commitf439cc7cf6f989e79cfdb8bab90b51737da23e1a (patch)
treeed4c7ca0229526f3ed1c41f851162a04e8ff3dab /pkgs/development/ocaml-modules/javalib
parent15ec9bdebac0fb192bc293a539495ba13234ce13 (diff)
downloadnixlib-f439cc7cf6f989e79cfdb8bab90b51737da23e1a.tar
nixlib-f439cc7cf6f989e79cfdb8bab90b51737da23e1a.tar.gz
nixlib-f439cc7cf6f989e79cfdb8bab90b51737da23e1a.tar.bz2
nixlib-f439cc7cf6f989e79cfdb8bab90b51737da23e1a.tar.lz
nixlib-f439cc7cf6f989e79cfdb8bab90b51737da23e1a.tar.xz
nixlib-f439cc7cf6f989e79cfdb8bab90b51737da23e1a.tar.zst
nixlib-f439cc7cf6f989e79cfdb8bab90b51737da23e1a.zip
Adds javalib and sawja
Javalib is a library that parses Java .class files into OCaml data
structures. Sawja is a library written in OCaml, relying on Javalib to
provide a high level representation of Java bytecode programs.

Homepage: http://sawja.inria.fr/
Diffstat (limited to 'pkgs/development/ocaml-modules/javalib')
-rw-r--r--pkgs/development/ocaml-modules/javalib/Makefile.config.example.patch9
-rw-r--r--pkgs/development/ocaml-modules/javalib/configure.sh.patch11
-rw-r--r--pkgs/development/ocaml-modules/javalib/default.nix40
3 files changed, 60 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/javalib/Makefile.config.example.patch b/pkgs/development/ocaml-modules/javalib/Makefile.config.example.patch
new file mode 100644
index 000000000000..c06144a75c06
--- /dev/null
+++ b/pkgs/development/ocaml-modules/javalib/Makefile.config.example.patch
@@ -0,0 +1,9 @@
+--- javalib-2.3-orig/Makefile.config.example	2013-10-30 08:35:30.000000000 +0100
++++ javalib-2.3/Makefile.config.example	2014-07-06 17:32:29.799398394 +0200
+@@ -1,6 +1,3 @@
+-export OCAMLFIND_DESTDIR=$(LOCALDEST)
+-export OCAMLPATH=$(LOCALDEST)
+-
+ OCAMLC = $(FINDER) ocamlc $(FLAGS)
+ OCAMLOPT = $(FINDER) ocamlopt $(OPT_FLAGS)
+ OCAMLDOC = $(FINDER) ocamldoc
diff --git a/pkgs/development/ocaml-modules/javalib/configure.sh.patch b/pkgs/development/ocaml-modules/javalib/configure.sh.patch
new file mode 100644
index 000000000000..67e019b277af
--- /dev/null
+++ b/pkgs/development/ocaml-modules/javalib/configure.sh.patch
@@ -0,0 +1,11 @@
+--- javalib-2.3-orig/configure.sh	2013-10-30 08:35:30.000000000 +0100
++++ javalib-2.3/configure.sh	2014-07-06 17:28:39.025066199 +0200
+@@ -44,7 +44,7 @@
+ DESTDIR=
+ # The ocamlpath variable for the compiler to locate the locally-installed
+ # packages (depends on LOCALDEST)
+-OCAMLPATH=
++#OCAMLPATH=
+ # The packages that need to be made in addition to Savalib / Sawja
+ MAKEDEP=
+ # The packages that need to be made in addition to Savalib / Sawja
diff --git a/pkgs/development/ocaml-modules/javalib/default.nix b/pkgs/development/ocaml-modules/javalib/default.nix
new file mode 100644
index 000000000000..2fa72dcf07f1
--- /dev/null
+++ b/pkgs/development/ocaml-modules/javalib/default.nix
@@ -0,0 +1,40 @@
+{stdenv, fetchurl, which, ocaml, findlib, camlzip, extlib}:
+let
+  pname = "javalib";
+  version = "2.3";
+  webpage = "http://sawja.inria.fr/";
+  ocaml_version = (builtins.parseDrvName ocaml.name).version;
+in
+stdenv.mkDerivation rec {
+
+  name = "ocaml-${pname}-${version}";
+
+  src = fetchurl {
+    url = "https://gforge.inria.fr/frs/download.php/33090/${pname}-${version}.tar.bz2";
+    sha256 = "1i8djcanzm250mwilm3jfy37cz0k0x7jbnrz8a5vvdi91kyzh52j";
+  };
+
+  buildInputs = [ which ocaml findlib camlzip extlib ];
+
+  patches = [ ./configure.sh.patch ./Makefile.config.example.patch ];
+
+  createFindlibDestdir = true;
+
+  configureScript = "./configure.sh";
+  dontAddPrefix = "true";
+
+  preBuild = ''
+    make ptrees;
+    make installptrees;
+    export OCAMLPATH=$out/lib/ocaml/${ocaml_version}/site-lib/:$OCAMLPATH;
+  '';
+
+  propagatedBuildInputs = [ camlzip extlib ];
+
+  meta = {
+    description = "A library that parses Java .class files into OCaml data structures";
+    homepage = "${webpage}";
+    license = stdenv.lib.licenses.lgpl3;
+    platforms = ocaml.meta.platforms;
+  };
+}