Author: niels
Date: Thu Oct 16 15:21:15 2008
New Revision: 3463
URL: http://svn.gna.org/viewcvs/service-tech?rev=3463&view=rev
Log:
* setting LDFLAGS for the Petri Net API did not make sense and yielded a
warning; removed that
* added compilation flags for CUDD again until I am sure that it compiles on
all architectures
* wrote the result of the program checks (dot, petrify) after configure, in the
config header, and in the --bug output; this should help debugging
Modified:
trunk/fiona/configure.ac
trunk/fiona/src/Makefile.am
trunk/fiona/src/main.cc
--
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.
