Adjust Swig rules for Swig 1.3.24 (and probably 1.3.23 too).

Compiling the runtime in a separate modules is no longer required,
and actually it does not work anymore...
* wrap/python/swigpy.i: Remove.
* wrap/python/Makefile.am (_swigpy.la): Remove all references.
($(srcdir)/spot_wrap.cxx, $(srcdir)/buddy_wrap.cxx): Do not
use -noruntime.
This commit is contained in:
Alexandre Duret-Lutz 2004-12-15 12:59:46 +00:00
parent 73c42db23d
commit b0a51a0656
4 changed files with 19 additions and 27 deletions

View file

@ -1,3 +1,13 @@
2004-12-15 Alexandre Duret-Lutz <adl@src.lip6.fr>
Adjust Swig rules for Swig 1.3.24 (and probably 1.3.23 too).
Compiling the runtime in a separate modules is no longer required,
and actually it does not work anymore...
* wrap/python/swigpy.i: Remove.
* wrap/python/Makefile.am (_swigpy.la): Remove all references.
($(srcdir)/spot_wrap.cxx, $(srcdir)/buddy_wrap.cxx): Do not
use -noruntime.
2004-12-14 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbatest/ltl2tgba.cc: Add option -P.