@ -1,11 +1,5 @@
--- 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
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
###
### A configuration script for Javalib
@@ -44,7 +44,7 @@
DESTDIR=
# The ocamlpath variable for the compiler to locate the locally-installed
@ -20,6 +20,8 @@ stdenv.mkDerivation rec {
createFindlibDestdir = true;
preConfigure = "patchShebangs ./configure.sh";
configureScript = "./configure.sh";
dontAddPrefix = "true";
--- sawja-1.5-orig/configure.sh 2013-10-30 08:35:29.000000000 +0100
+++ sawja-1.5/configure.sh 2014-07-05 18:50:26.833798254 +0200
### A configuration script for Sawja
@@ -39,7 +39,7 @@
@ -19,6 +19,8 @@ stdenv.mkDerivation rec {