* wrap/Makefile.am, wrap/spot.i: Move ...

* wrap/python/Makefile.am, wrap/python/spot.i: ... here.
* wrap/Makefile.am: New file.
* configure.ac: Output wrap/python/Makefile.

wrap/python/.cvsignore

@@ -0,0 +1,9 @@
+.deps
+.libs
+Makefile
+Makefile.in
+*.la
+spot.py*
+*.lo
+*.loT
+spot_wrap.cxx

wrap/python/Makefile.am

@@ -0,0 +1,18 @@
+
+AM_CPPFLAGS = -I$(PYTHONINC) -I$(top_srcdir)/src
+
+python_PYTHON = spot.py
+pyexec_LTLIBRARIES = _spot.la
+
+_spot_la_SOURCES = spot_wrap.cxx
+_spot_la_LDFLAGS = -avoid-version -module
+_spot_la_LIBADD = $(top_builddir)/src/libspot.la
+
+EXTRA_DIST = spot.i
+spot_wrap.cxx: spot.i
+	swig -c++ -python -I$(top_srcdir)/src spot.i
+
+spot.py: spot.i
+	$(MAKE) $(AM_MAKEFLAGS) spot_wrap.cxx
+
+MAINTAINERCLEANFILES = spot_wrap.cxx spot.py

wrap/python/spot.i

@@ -0,0 +1,64 @@
+%module spot
+
+%include "std_string.i"
+%include "std_list.i"
+
+%{
+#include "ltlenv/environment.hh"
+#include "ltlenv/defaultenv.hh"
+#include "ltlast/formula.hh"
+#include "ltlparse/public.hh"
+#include "ltlast/visitor.hh"
+
+#include "ltlvisit/clone.hh"
+#include "ltlvisit/dotty.hh"
+#include "ltlvisit/dump.hh"
+#include "ltlvisit/lunabbrev.hh"
+#include "ltlvisit/tunabbrev.hh"
+#include "ltlvisit/nenoform.hh"
+#include "ltlvisit/tostring.hh"
+
+using namespace spot::ltl;
+%}
+
+%include "ltlenv/environment.hh"
+%include "ltlenv/defaultenv.hh"
+%include "ltlast/formula.hh"
+%include "ltlparse/public.hh"
+%include "ltlast/visitor.hh"
+
+%include "ltlvisit/clone.hh"
+%include "ltlvisit/dotty.hh"
+%include "ltlvisit/dump.hh"
+%include "ltlvisit/lunabbrev.hh"
+%include "ltlvisit/tunabbrev.hh"
+%include "ltlvisit/nenoform.hh"
+%include "ltlvisit/tostring.hh"
+
+%inline %{
+
+spot::ltl::parse_error_list 
+empty_parse_error_list()
+{
+  parse_error_list l;
+  return l;
+}
+
+std::ostream& 
+get_cout()
+{
+  return std::cout;
+}
+
+std::ostream& 
+get_cerr()
+{
+  return std::cerr;
+}
+
+void 
+print_on(std::ostream& on, const std::string& what)
+{
+  on << what;
+}
+%}