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

Author: Roberto Bagnara bagnara@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