Non-free license

[ppisar]

As I already reported to http://www.swi-prolog.org/bugzilla/show_bug.cgi?id=145, following three files can be used only for non-commercial purposes which hinders their redistribution by commercial-oriented parties:

bench/unify.pl
bench/simple_analyzer.pl
man/txt/dvi2tty/dvi2tty.c

The questionable license is:

All rights reserved. This program may be freely used and modified for
non-commercial purposes provided this copyright notice is kept unchanged.

This is still issue in the latest 7.2.0 version.

[JanWielemaker]

These files can be removed from distros that want to restrict themselves to pure free software. The bench/* programs are not used in the default build, but can be used with gcc profiling support. The dvi2tty.c is used to generate the text documentation, but the source tarballs include the generated files. Note that none of these files end up in the built products.