https://bugzilla.redhat.com/show_bug.cgi?id=2277910 --- Comment #1 from Jens Petersen <petersen@xxxxxxxxxx> --- Koji scratch build: https://koji.fedoraproject.org/koji/taskinfo?taskID=117041038 To be transparent here is the rpmlint I see when submitting: lean4.x86_64: E: zero-length /usr/src/lean/lake/tests/globs/TBA.lean lean4.x86_64: E: zero-length /usr/src/lean/lake/tests/globs/TBA/Eulerian.lean lean4.x86_64: E: zero-length /usr/src/lean/lake/tests/globs/TBA/Eulerian/A.lean lean4.x86_64: E: zero-length /usr/src/lean/lake/tests/lock/Nop.lean lean4.x86_64: E: zero-length /usr/src/lean/lake/tests/noBuild/Test.lean lean4.x86_64: E: zero-length /usr/src/lean/lake/tests/order/A.lean lean4.x86_64: E: zero-length /usr/src/lean/lake/tests/order/A/B/C.lean lean4.x86_64: E: zero-length /usr/src/lean/lake/tests/order/bar/X.lean lean4.x86_64: E: zero-length /usr/src/lean/lake/tests/order/foo/X.lean lean4.x86_64: E: zero-length /usr/src/lean/lake/tests/precompileArgs/Foo/Bar.lean lean4.x86_64: W: unstripped-binary-or-object /usr/bin/lake lean4.x86_64: W: unstripped-binary-or-object /usr/bin/lean lean4.x86_64: W: unstripped-binary-or-object /usr/bin/leanc lean4.x86_64: W: unstripped-binary-or-object /usr/lib/lean/libInit_shared.so lean4.x86_64: W: unstripped-binary-or-object /usr/lib/lean/libleanshared.so lean4.x86_64: E: static-library-without-debuginfo /usr/lib/lean/libInit.a lean4.x86_64: E: static-library-without-debuginfo /usr/lib/lean/libLake.a lean4.x86_64: E: static-library-without-debuginfo /usr/lib/lean/libLean.a lean4.x86_64: E: static-library-without-debuginfo /usr/lib/lean/libleancpp.a lean4.x86_64: E: static-library-without-debuginfo /usr/lib/lean/libleanrt.a lean4.x86_64: E: spelling-error ('prover', 'Summary(en_US) prover -> prove, rover, proverb') lean4.x86_64: E: spelling-error ('prover', '%description -l en_US prover -> prove, rover, proverb') lean4.src: E: spelling-error ('prover', 'Summary(en_US) prover -> prove, rover, proverb') lean4.src: E: spelling-error ('prover', '%description -l en_US prover -> prove, rover, proverb') lean4.spec:31: E: rpm-buildroot-usage %build %cmake -DLEAN_BUILD_TYPE="Release" -DUSE_GITHASH=OFF -DLEAN_INSTALL_PREFIX=%{buildroot} lean4.spec:31: E: rpm-buildroot-usage %build %cmake -DLEAN_BUILD_TYPE="Release" -DUSE_GITHASH=OFF -DLEAN_INSTALL_PREFIX=%{buildroot} lean4.x86_64: W: no-manual-page-for-binary lake lean4.x86_64: W: no-manual-page-for-binary lean lean4.x86_64: W: no-manual-page-for-binary leanc lean4.x86_64: W: no-manual-page-for-binary leanmake lean4.x86_64: W: files-duplicate /usr/src/lean/lake/tests/clone/test/Main.lean /usr/src/lean/lake/tests/buildArgs/Main.lean lean4.x86_64: W: devel-file-in-non-devel-package /usr/include/lean/config.h lean4.x86_64: W: devel-file-in-non-devel-package /usr/include/lean/lean.h lean4.x86_64: W: devel-file-in-non-devel-package /usr/include/lean/lean_gmp.h lean4.x86_64: W: devel-file-in-non-devel-package /usr/include/lean/version.h lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib/lean/libInit.a lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib/lean/libLake.a lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib/lean/libLean.a lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib/lean/libleancpp.a lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib/lean/libleanrt.a 2 packages and 1 specfiles checked; 21 errors, 19 warnings, 10 filtered, 21 badness; has taken 6.6 s -- 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=2277910 Report this comment as SPAM: https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-spam&short_desc=Report%20of%20Bug%202277910%23c1 -- _______________________________________________ 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
