Forgotten multithreaded.frm in distribution - Githubissues

vermaseren / form

The FORM project for symbolic manipulation of very big expressions

GNU General Public License v3.0

1.15k stars 136 forks source link

Forgotten multithreaded.frm in distribution #518

Open tueda opened 4 months ago

tueda commented 4 months ago

This PR simply adds multithreaded.frm to EXTRA_DIST (but it will lead to a conflict with #517).

Alternatively, it may not be necessary to add it to the distribution. In fact, make check does not run tests in subdirectories:

checkpoint/checkpoint.frm
forcer/forcer.frm
multithreaded/multithreaded.frm

Unless we implement a comprehensive testing option like make check-full, these files may not be needed by users.

Consequently, we might consider removing these files from EXTRA_DIST instead.

coveralls commented 4 months ago

coverage: 48.776% (+0.02%) from 48.759% when pulling 3f496b95c47d0d36dc619d94199f625fc275582d on tueda:fix-test-forgotten-multithreaded into e58ebd3f344ad3a6e3ae5393be3f20d17a79192f on vermaseren:master.