[PPL-devel] [GIT] ppl/w3ppl(master): Make sure the Java SDK is found on the machine used for producing the releases .
Roberto Bagnara
bagnara at cs.unipr.it
Sun Feb 27 10:05:28 CET 2011
Module: ppl/w3ppl
Branch: master
Commit: d8ca74504b43e5244795ffe866dd3c839eb589c1
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=d8ca74504b43e5244795ffe866dd3c839eb589c1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 21 12:06:36 2011 +0100
Make sure the Java SDK is found on the machine used for producing the releases.
---
bin/ppl_release | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/bin/ppl_release b/bin/ppl_release
index 9289f54..5e5d0e4 100755
--- a/bin/ppl_release
+++ b/bin/ppl_release
@@ -163,7 +163,7 @@ EOF
# Build the autoconf/automake machinery.
autoreconf
- ./configure
+ ./configure --with-java=/usr/lib/jvm/java-6-openjdk
}
# Build the source tarfiles for the release.
More information about the PPL-devel
mailing list