[Bug 2209024] Review Request: smatch - A static analyzer for C

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

 



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



--- Comment #9 from Lukáš Zaoral <lzaoral@xxxxxxxxxx> ---
Sorry for a very late reply.

b) While there are snapshots, I believe that this approach cannot be combined
with automated scratch builds made by release monitoring.

c) The package still builds without any issues for me on F39 or F40.  I'll fix
these warnings later due to time constraint issues.

d) These binaries are patched out, they are *not* being built and they are
*not* packaged.  The spec contains the following section:

%files
%doc README Documentation/{arm64-detecting-tagged-addresses,smatch}.txt
%license GPL-2 LICENSE
%{_bindir}/smatch
%{_datadir}/%{name}

Thus, the only packaged binary is smatch:
$ rpm -ql smatch-1.73-1.fc38.aarch64.rpm | grep bin
/usr/bin/smatch

e) Good catch!  Removed.

f) Good catch!  LICENSE is now being patched to also list the given instance of
the BSD-3-Clause license.

Spec URL:
https://download.copr.fedorainfracloud.org/results/lzaoral/test_builds/fedora-rawhide-x86_64/06266246-smatch/smatch.spec
SRPM URL:
https://download.copr.fedorainfracloud.org/results/lzaoral/test_builds/fedora-rawhide-x86_64/06266246-smatch/smatch-1.73-1.fc40.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
https://bugzilla.redhat.com/show_bug.cgi?id=2209024

Report this comment as SPAM: https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-spam&short_desc=Report%20of%20Bug%202209024%23c9
_______________________________________________
package-review mailing list -- package-review@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/package-review@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue




[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite Conditions]     [KDE Users]

  Powered by Linux