[PPL-devel] [GIT] ppl/w3ppl(master): Added a --with-java option to the configuration command.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: 2b979a5dbc414134c0e93fcd25df82bca3d3ceec
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=2b979a5dbc414134c0e93fcd25df82bca3d3ceec

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Feb 27 14:02:37 2011 +0100

Added a --with-java option to the configuration command.

---

 bin/update_web_site |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/bin/update_web_site b/bin/update_web_site
index acc1b23..b2ebd2b 100755
--- a/bin/update_web_site
+++ b/bin/update_web_site
@@ -106,7 +106,7 @@ mkdir $top_dir/build
 cd $top_dir/ppl
 autoreconf
 cd $top_dir/build
-$top_dir/ppl/configure --enable-interfaces=all --enable-instantiations=all
+$top_dir/ppl/configure --with-java=/usr/lib/jvm/java-6-openjdk --enable-interfaces=all --enable-instantiations=all
 
 # Make the header file ppl-config.h (needed by ppl.hh).
 cd $top_dir/build