Alexandre Duret-Lutz
ffc0138ed6
python: rename aux.py to aux_.py
...
Fixes #437 , reporeted by Yann Thierry-Mieg.
* python/spot/aux.py: Rename as...
* python/spot/aux_.py: ... this.
* python/spot/__init__.py, python/Makefile.am: Adjust.
* NEWS: Mention the change.
2020-11-08 14:08:13 +01:00
Etienne Renault
e564dd1263
atomic: check if -latomic is required for std::atomic
...
* configure.ac,
m4/l_atomic.m4,
python/Makefile.am,
tests/Makefile.am: Here.
2020-06-03 12:22:41 +02:00
Etienne Renault
61561ee9ac
raspbian: add missing library
...
* tests/Makefile.am,
python/Makefile.am: Here.
2020-06-03 12:22:41 +02:00
Alexandre Duret-Lutz
52e2d11330
work around swig4 regression
...
* python/Makefile.am: Here.
2019-06-01 20:30:32 +02:00
Alexandre Duret-Lutz
377285b1d6
python: remove the -nofastproxy option
...
This was introduced by b893b5597https://github.com/ipython/ipython/issues/7003 ).
* python/Makefile.am (SWIGFLAGS): Remove obsolete option.
* python/spot/__init__.py: Adjust.
2019-05-29 10:21:34 +02:00
Alexandre Duret-Lutz
d147ad2510
Adjust to Automake 1.16
...
* python/Makefile.am: Adjust for Automake 1.16.
2018-08-11 17:33:53 +02:00
Alexandre Duret-Lutz
03d9b0c2bb
get rid of the Python-based CGI translator
...
We now have a separate project for its replacement at
https://gitlab.lrde.epita.fr/spot/spot-web-app/
* python/ajax/: Remove directory.
* python/Makefile.am, configure.ac, README: Adjust.
* NEWS: Mention this.
2018-08-11 17:33:53 +02:00
Alexandre Duret-Lutz
4532c0c13c
python: install everythin into pyexecdir
...
Reported by Antoine Martin.
* python/Makefile.am: Here.
* NEWS: Mention the bug.
2018-06-22 14:55:16 +02:00
Alexandre Duret-Lutz
58d9a12495
python: introduce spot.jupyter.display_inline()
...
* python/spot/jupyter.py: New file.
* python/Makefile.am: Add it.
* tests/python/product.ipynb: Use it.
* NEWS: Mention it.
2018-05-04 15:27:51 +02:00
Alexandre Duret-Lutz
f185aabf44
python: add wrapper for libspotgen
...
For #254 .
* python/spot/gen.i, tests/python/gen.py: New files.
* python/Makefile.am, tests/Makefile.am: Adjust.
* NEWS: Mention the spot.gen python package.
2017-04-23 17:24:23 +02:00
Maximilien Colange
41ac0e681f
Properly track dependencies of SWIG files.
...
Properly track dependencies of SWIG files to trigger recompilation when
appropriate.
Closes issue #250 .
* python/Makefile.am: Track the dependencies of .i files à la automake.
2017-03-29 23:51:59 +02:00
Laurent XU
81333df2c3
* python/Makefile.am: Fix Makefile's targets in separated folder.
2016-03-10 17:40:46 +01:00
Alexandre Duret-Lutz
c093b7b78f
python: move auxiliary functions in a separate module
...
* python/spot/aux.py: New file, with function extracted from...
* python/spot/__init__.py: ... here.
* python/.gitignore, python/Makefile.am: Adjust.
2016-02-16 12:56:20 +01:00
Alexandre Duret-Lutz
6230f320bf
python: fix installation
...
* python/Makefile.am: Use nobase_ for installing python files. This
required removing the $(srcdir) prefix used almost everywhere in this
file, which in turn enabled the use of subdir-objects to remove
an Automake warning. The downside is that the Makefile probably won't
support VPATH builds with some inferior implementations of Make.
2016-01-28 10:46:55 +01:00
Alexandre Duret-Lutz
5a9b0aa1c1
python: add bindings for ltsmin
...
* python/spot/ltsmin.i: New file.
* python/Makefile.am: Add it.
* python/spot/impl.i: Add bindings for kripke and fair_kripke.
* tests/python/ltsmin.ipynb: New file.
* tests/Makefile.am, doc/org/tut.org: Add it.
* tests/python/ipnbdoctest.py: Make it possible for notebook
to exit(77).
* debian/control: Make the Python package dependent
on libspotltsmin0.
* python/spot/__init__.py: Typo.
2016-01-26 19:20:53 +01:00
Alexandre Duret-Lutz
215fcb799a
Make spot.py a python package instead of a module
...
* python/spot.py, python/spot_impl.i: Rename as...
* python/spot/__init__.py, python/spot/impl.i: ... these.
* python/Makefile.am, tests/run.in: Adjust for new paths.
* tests/python/automata-io.ipynb, tests/python/automata.ipynb,
tests/python/decompose.ipynb, tests/python/piperead.ipynb,
tests/python/testingaut.ipynb: Adjust messages to refer to spot.impl
instead of spot_impl.
2016-01-26 19:20:26 +01:00
Alexandre Duret-Lutz
5cb94a1a3f
Merge the core and python tests in the tests/ directory
...
* tests/: Rename as...
* tests/core/: ... this.
* python/tests/: Rename as...
* tests/python/: ... this.
* python/tests/run.in: Move as...
* tests/run.in: This, and adjust.
* tests/Makefile.am: Adjust to run both core and python tests.
* configure.ac, README, debian/python3-spot.examples, debian/rules,
doc/org/tut.org, python/Makefile.am, spot/ltsmin/Makefile.am,
spot/ltsmin/kripke.test, spot/sanity/ipynb.test: Adjust.
2016-01-04 16:02:30 +01:00
Alexandre Duret-Lutz
34c3c1cedc
rename wrap/python/ to python/
...
* wrap/python/: Rename to...
* python/: ... this.
* wrap/: Delete.
* Makefile.am, README, configure.ac, debian/python3-spot.examples,
debian/rules, doc/org/.dir-locals.el.in, doc/org/init.el.in,
spot/sanity/ipynb.test: Adjust.
2015-12-25 12:38:25 +01:00
