Author: niels
Date: Tue Oct 14 16:59:13 2008
New Revision: 3441

URL: http://svn.gna.org/viewcvs/service-tech?rev=3441&view=rev
Log:
* CUDD is now managed by Automake. This is helpful, because only a single file 
("cudd/Makefile.am") contains all information you need to understand what 
happens.

* Fixed bug #12420 (https://gna.org/bugs/?12420): CUDD now supports compilation 
in multiple jobs, because its Makefiles are managed by Automake.

* Added configure script parameters "--enable-win32" and "--enable-universal" 
to set compilations flags to create a Cygwin-independent and a Mac Universal 
binary, respectively.

* "make win32" calls "./configure win32 ; make clean ; make"

* fixed some small ugly hacks concerning the code coverage Makefile targets 
which hindered "make clean" to succeed

* removed all setup scripts and Makefiles from the cudd directory

* properly forwarded compilation flags to the CUDD and the Petri Net API 
library (tested Mac Universal, Solaris 64 Bit and MinGW-Win32)

* "make check" now also calls a test program I found in the CUDD sources (will 
not work when compiling for 64 bit -- see https://gna.org/bugs/?12441)


Added:
    trunk/fiona/cudd/Makefile.am
    trunk/fiona/cudd/include/
    trunk/fiona/cudd/include/cudd.h
    trunk/fiona/cudd/include/cuddInt.h
    trunk/fiona/cudd/include/cuddObj.hh
    trunk/fiona/cudd/include/dddmp.h
    trunk/fiona/cudd/include/epd.h
    trunk/fiona/cudd/include/mnemosyne.h
    trunk/fiona/cudd/include/mtr.h
    trunk/fiona/cudd/include/st.h
    trunk/fiona/cudd/include/util.h
    trunk/fiona/cudd/testobj.sh   (with props)
Removed:
    trunk/fiona/cudd/Makefile.in
    trunk/fiona/cudd/cudd/Makefile.in
    trunk/fiona/cudd/dddmp/Makefile.in
    trunk/fiona/cudd/epd/Makefile.in
    trunk/fiona/cudd/mnemosyne/Makefile.in
    trunk/fiona/cudd/mtr/Makefile.in
    trunk/fiona/cudd/nanotrav/Makefile.in
    trunk/fiona/cudd/obj/Makefile.in
    trunk/fiona/cudd/setup.sh.in
    trunk/fiona/cudd/shutdown.sh.in
    trunk/fiona/cudd/st/Makefile.in
    trunk/fiona/cudd/util/Makefile.in
Modified:
    trunk/fiona/Makefile.am
    trunk/fiona/configure.ac
    trunk/fiona/src/Makefile.am
    trunk/fiona/tests/Makefile.am


-- 
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.

Reply via email to