https://bugzilla.redhat.com/show_bug.cgi?id=1206826
--- Comment #3 from Jerry James <loganjerry(a)gmail.com> ---
(In reply to Christopher Meng from comment #1)
I intended to package it in last August but at that time its license
was not
free.
Now it's Ok I think.
Yes, the license was changed to MIT just a few days ago.
(In reply to Eric Smith from comment #2)
I don't think I understand the issue with "NOTE: omitting
examples due to
GPL-licensed code".
Couldn't the examples be put into a z3-examples subpackage, which could be
GPL-licensed (or, if necessary, GPL and BSD, etc.)?
Thanks for questioning that. I was completely wrong. The GPL marker is from
bison, which also grants an exception:
/* As a special exception, you may create a larger work that contains
part or all of the Bison parser skeleton and distribute that work
under terms of your choice, so long as that work isn't itself a
parser generator using the skeleton or a modified version thereof
as a parser skeleton. Alternatively, if you modify or redistribute
the parser skeleton itself, you may (at your option) remove this
special exception, which will cause the skeleton and the resulting
Bison output files to be licensed under the GNU General Public
License without this special exception.
This special exception was added by the Free Software Foundation in
version 2.2 of Bison. */
So that does not affect the MIT license on the work as a whole. I have
included the examples in the -doc subpackage now, as well as pulled in one more
git push. (It only changes the README.) New URLs:
Spec URL:
https://jjames.fedorapeople.org/z3/z3.spec
SRPM URL:
https://jjames.fedorapeople.org/z3/z3-4.3.2-2.20150329git.29606b5.fc23.sr...
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component