[Bug 1206826] Review Request: z3 - Satisfiability Module Theories (SMT) solver

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



https://bugzilla.redhat.com/show_bug.cgi?id=1206826



--- Comment #7 from Jerry James <loganjerry@xxxxxxxxx> ---
(In reply to Christopher Meng from comment #5)
> 1. Use %{python2_sitearch}.
> 
> 2. z3.x86_64: W: incoherent-version-in-changelog 4.3.2-1.20150327git.ac21ffe
> ['4.3.2-2.20150329git.29606b5.fc23', '4.3.2-2.20150329git.29606b5']
> 
> 3. Export PYTHON="%{__python2}" before configure.
> 
> 4. python2 mk_api_doc.py, use %{__python2} will be better.

I have fixed all of these.

(In reply to Christopher Meng from comment #6)
> Also forgot to mention:
> 
> z3-doc.noarch: W: spurious-executable-perm
> /usr/share/doc/z3-doc/examples/interp/iz3.cpp

And fixed this as well.  New URLs:

Spec URL: https://jjames.fedorapeople.org/z3/z3.spec
SRPM URL:
https://jjames.fedorapeople.org/z3/z3-4.3.2-3.20150329git.29606b5.fc23.src.rpm

-- 
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
_______________________________________________
package-review mailing list
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review





[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]