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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 18 07:41:54 2009 +0200

Avoid building everything just to update the web site.

---

bin/update_web_site | 178 +++++++++++++++++++++++++++++++++------------------ 1 files changed, 115 insertions(+), 63 deletions(-)

diff --git a/bin/update_web_site b/bin/update_web_site index 24e030b..e241dee 100755 --- a/bin/update_web_site +++ b/bin/update_web_site @@ -163,72 +163,124 @@ autoreconf cd $top_dir/build $top_dir/ppl/configure --enable-interfaces=all --enable-instantiations=all

-# Make the library. -make -j 8 >&MAKELOG.library - -# # Build the ppl.hh include file. -# cd utils -# make -# cd ../src -# make ppl.hh >MAKELOG.ppl.hh 2>&1 -# if [ $? -ne 0 ] -# then -# echo "*** Cannot build ppl.hh." >>$notification -# echo "*** Build log follows:" >>$notification -# cat MAKELOG.ppl.hh >>$notification -# maybe_notify_developers_and_exit -# fi -# cd ../interfaces -# make ppl_interface_instantiations.m4 -# cd C -# make ppl_c.h >MAKELOG.ppl_c.h 2>&1 -# if [ $? -ne 0 ] -# then -# echo "*** Cannot build ppl_c.h." >>$notification -# echo "*** Build log follows:" >>$notification -# cat MAKELOG.ppl_c.h >>$notification -# maybe_notify_developers_and_exit -# fi -# cd ../OCaml -# make ppl_ocaml.mli >MAKELOG.ppl_ocaml.mli 2>&1 -# if [ $? -ne 0 ] -# then -# echo "*** Cannot build ppl_ocaml.mli." >>$notification -# echo "*** Build log follows:" >>$notification -# cat MAKELOG.ppl_ocaml.mli >>$notification -# maybe_notify_developers_and_exit -# fi -# cd ../Prolog -# make ppl_prolog_domains.hh >MAKELOG.ppl_prolog_domains.hh 2>&1 -# if [ $? -ne 0 ] -# then -# echo "*** Cannot build ppl_prolog_domains.hh." >>$notification -# echo "*** Build log follows:" >>$notification -# cat MAKELOG.ppl_prolog_domains.hh >>$notification -# maybe_notify_developers_and_exit -# fi -# make ppl_prolog_domains.cc.stamp >MAKELOG.ppl_prolog_domains.cc.stamp 2>&1 -# if [ $? -ne 0 ] -# then -# echo "*** Cannot build ppl_prolog_domains.cc.stamp." >>$notification -# echo "*** Build log follows:" >>$notification -# cat MAKELOG.ppl_prolog_domains.cc.stamp >>$notification -# maybe_notify_developers_and_exit -# fi -# make Prolog_configured_interface.dox \ -# >MAKELOG.Prolog_configured_interface.dox 2>&1 -# if [ $? -ne 0 ] -# then -# echo "*** Cannot build Prolog_configured_interface.dox." >>$notification -# echo "*** Build log follows:" >>$notification -# cat MAKELOG.Prolog_configured_interface.dox >>$notification -# maybe_notify_developers_and_exit -# fi +# Make the header file ppl-config.h (needed by ppl.hh). +cd $top_dir/build +make ppl-config.h >MAKELOG.ppl-config.h 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build ppl-config.h." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.ppl-config.h >>$notification + maybe_notify_developers_and_exit +fi + +# Make the utility program build_header (needed by ppl.hh). +cd $top_dir/build/utils +make build_header >MAKELOG.build_header 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build build_header." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.build_header >>$notification + maybe_notify_developers_and_exit +fi + +# Make the ppl.hh header file. +cd $top_dir/build/src +make ppl.hh >MAKELOG.ppl.hh 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build ppl.hh." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.ppl.hh >>$notification + maybe_notify_developers_and_exit +fi + +# Make the m4 source file needed by all language interfaces. +cd $top_dir/build/interfaces +make ppl_interface_instantiations.m4 >MAKELOG.ppl_interface_instantiations.m4 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build ppl_interface_instantiations.m4." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.ppl_interface_instantiations.m4 >>$notification + maybe_notify_developers_and_exit +fi + +# C interface +cd $top_dir/build/interfaces/C +make ppl_c.h >MAKELOG.ppl_c.h 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build ppl_c.h." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.ppl_c.h >>$notification + maybe_notify_developers_and_exit +fi + +# Java interface +cd $top_dir/build/interfaces/Java/parma_polyhedra_library +make source_generation.stamp >MAKELOG.source_generation.stamp 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build source_generation.stamp." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.source_generation.stamp >>$notification + maybe_notify_developers_and_exit +fi + +# OCaml interface +cd $top_dir/build/interfaces/OCaml +make ppl_ocaml.mli >MAKELOG.ppl_ocaml.mli 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build ppl_ocaml.mli." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.ppl_ocaml.mli >>$notification + maybe_notify_developers_and_exit +fi + +# Prolog interface +cd $top_dir/build/interfaces/Prolog +make Prolog_configured_interface.dox \ + >MAKELOG.Prolog_configured_interface.dox 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build Prolog_configured_interface.dox." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.Prolog_configured_interface.dox >>$notification + maybe_notify_developers_and_exit +fi +## FIXME: there currently is a dependency in doc/Makefile.ac of the +## Prolog manuals on the two targets below, but I fail to understand +## why this was required. +make ppl_prolog_domains.hh >MAKELOG.ppl_prolog_domains.hh 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build ppl_prolog_domains.hh." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.ppl_prolog_domains.hh >>$notification + maybe_notify_developers_and_exit +fi +make ppl_prolog_domains.cc.stamp >MAKELOG.ppl_prolog_domains.cc.stamp 2>&1 +if [ $? -ne 0 ] +then + echo "*** Cannot build ppl_prolog_domains.cc.stamp." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.ppl_prolog_domains.cc.stamp >>$notification + maybe_notify_developers_and_exit +fi

# Build the doxygen documentation. -#cd ../../doc -cd doc +cd $top_dir/build/doc make world >&MAKELOG.documentation +if [ $? -ne 0 ] +then + echo "*** Cannot make world." >>$notification + echo "*** Build log follows:" >>$notification + cat MAKELOG.documentation >>$notification + maybe_notify_developers_and_exit +fi

# Install. cp -f *.pdf *.ps.gz *.tar.gz $dest_dir/Documentation/