Alexandre Duret-Lutz
a45de35244
* debian/python3-spot.examples: Fix wildcard.
2016-02-17 14:31:22 +01:00
Alexandre Duret-Lutz
b56aec242a
debian: do not distribute _*.ipynb files
...
* tests/Makefile.am (nb-html): Only work on the subset of the notebooks
we want to show.
* debian/python3-spot.examples: Ignore _*.ipynb files.
2016-02-17 08:53:02 +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
Alexandre Duret-Lutz
86e16af97c
debian: Distribute the html version of the ipython notebooks
...
* configure.ac: Check for ipython.
* wrap/python/tests/Makefile.am (nb-html): New rule, using ipython.
* debian/control: Depend on ipython.
* debian/rules: Run nb-html.
* debian/python3-spot.examples: Install the genrated html files.
2015-08-07 15:09:29 +02:00
Alexandre Duret-Lutz
a637e23d84
debian: ship the ipython notebooks as examples
...
Fixes #73 .
* debian/python3-spot.examples: New file.
* Makefile.am: Distribute it.
2015-04-03 14:41:08 +02:00
