Author: niels Date: Sun Jan 25 09:23:30 2009 New Revision: 3740 URL: http://svn.gna.org/viewcvs/service-tech?rev=3740&view=rev Log: * added regression tests to `tests/regression' which can be triggered with `make check' in that directory
* made adaptions to the Makefile options to be able to create Mac Universal binaries for 64 bit architectures (XCode 3.0 with SDK `MacOSX10.5.sdk' is needed) * added Makefiles in directory `maintainer' to organize the distribution of the source tarball and binaries for several platforms * added a script `maintainer/get_petrify.sh' to retrieve precompiled binaries of Petrify from `http://www.lsi.upc.edu/~jordicf/petrify/' and install it into a user-defined directory * Fiona can be translated using the LLVM-frontend for GCC (see `http://llvm.org/') * made the shell scripts more portable by using `#!/usr/bin/env bash' instead of `#!/bin/bash' (especially important for FreeBSD systems) * updated `Doxyfile' and adapted output directories to the other tools (`dox') Added: trunk/fiona/maintainer/ trunk/fiona/maintainer/Makefile.am trunk/fiona/maintainer/get-petrify.sh (with props) trunk/fiona/tests/regression/ trunk/fiona/tests/regression/Makefile.am trunk/fiona/tests/regression/bug12765/ trunk/fiona/tests/regression/bug12765.sh (with props) trunk/fiona/tests/regression/bug12765/cabbababb.owfn trunk/fiona/tests/regression/bug12829/ trunk/fiona/tests/regression/bug12829.sh (with props) trunk/fiona/tests/regression/bug12829/b1-1.s00000035__s00000934.owfn trunk/fiona/tests/regression/bug12829/b1.s00000035__s00000934.owfn trunk/fiona/tests/regression/bug12895/ trunk/fiona/tests/regression/bug12895.sh (with props) trunk/fiona/tests/regression/bug12895/non_empty_true_node3.owfn Modified: trunk/fiona/ChangeLog trunk/fiona/Doxyfile.in trunk/fiona/Makefile.am trunk/fiona/NEWS trunk/fiona/configure.ac trunk/fiona/doc/ChangeLog.texi trunk/fiona/libs/cudd/testobj.sh trunk/fiona/nets/benchmark/_default.sh trunk/fiona/nets/benchmark/all.sh trunk/fiona/nets/benchmark/helpers/compileFiona.sh trunk/fiona/nets/benchmark/prepare.sh trunk/fiona/nets/benchmark/publish.sh trunk/fiona/nets/benchmark/start.sh trunk/fiona/src/cmdline.ggo trunk/fiona/tests/bddtest.sh trunk/fiona/tests/countservices.sh trunk/fiona/tests/coverability.sh trunk/fiona/tests/cyclic.sh trunk/fiona/tests/evaluateExitCode.sh trunk/fiona/tests/extrema.sh trunk/fiona/tests/falseannos.sh trunk/fiona/tests/matching.sh trunk/fiona/tests/memcheck_helper.sh trunk/fiona/tests/messagebound.sh trunk/fiona/tests/minimize.sh trunk/fiona/tests/normalize.sh trunk/fiona/tests/oWFNreduction.sh trunk/fiona/tests/partner.sh trunk/fiona/tests/philosophers.sh trunk/fiona/tests/png.sh trunk/fiona/tests/productog.sh trunk/fiona/tests/publicview.sh trunk/fiona/tests/responsive.sh trunk/fiona/tests/samples.sh trunk/fiona/tests/sequences.sh trunk/fiona/tests/sim_og.sh trunk/fiona/tests/slist.sh trunk/fiona/tests/smtp.sh trunk/fiona/tests/statesReduction.sh trunk/fiona/tests/syntax.sh -- You received this e-mail, because you subscribed the mailing list "service-tech-commits" which will forward you any e-mail addressed to [email protected]. If you want to unsubscribe or make any changes to your subscription, please go to https://mail.gna.org/listinfo/service-tech-commits.
