summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/javalib/configure.sh.patch
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/configure.sh.patch
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/configure.sh.patch')
-rw-r--r--pkgs/development/ocaml-modules/javalib/configure.sh.patch11
1 files changed, 11 insertions, 0 deletions
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