[Pkg-octave-devel] [RFU] octave-ltlfat 1.4.4-1

[Rafael Laboissiere <rafael@laboissiere.net>]

The package is prepared in Git and its ITP is Bug#747039.

This package is quite large and complex.  It seems to work for me, but I 
did not test it thoroughly.  Unfortunately, the upstream package has no 
unit test suite.  I sort of compensated that by exercising the 
insts/demos/demo_*.m files in debian/check.m.  It is better than doing no 
tests, event though the results are not really verified.

Many of those demo files produce plots, which does not work in the 
absence of a graphics system.  I got around this by redefining the 
figure() function in check.m, which is a suboptimal solution.  I am 
wondering whether it is appropriate to change octave-pkg.mk such that the 
tests would be run under xvfb-run.  Do you think it is a good idea?

Rafael