[Bug 719152] Review Request: gappalib-coq - Coq support library for gappa

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

 



Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


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

--- Comment #5 from Markus Mayer <LotharLutz@xxxxxx> 2011-10-31 07:28:43 EDT ---

Must items:
OK: rpmlint must be run on the source rpm and all binary rpms the build
produces. The output should be posted in the review.
OK: The package must be named according to the Package Naming Guidelines.
OK: The spec file name must match the base package %{name}, in the format
%{name}.spec unless your package has an exemption.
OK: The package must meet the Packaging Guidelines.
OK: The package must be licensed with a Fedora approved license and meet the
Licensing Guidelines .
OK: The License field in the package spec file must match the actual license.
OK: If (and only if) the source package includes the text of the license(s) in
its own file, then that file, containing the text of the license(s) for the
package must be included in %doc.
OK: The spec file must be written in American English.
OK: The spec file for the package MUST be legible.
OK: The sources used to build the package must match the upstream source, as
provided in the spec URL. Reviewers should use md5sum for this task. If no
upstream URL can be specified for this package, please see the Source URL
Guidelines for how to deal with this.
OK: The package MUST successfully compile and build into binary rpms on at
least one primary architecture.
N/A: If the package does not successfully compile, build or work on an
architecture, then those architectures should be listed in the spec in
ExcludeArch. Each architecture listed in ExcludeArch MUST have a bug filed in
bugzilla, describing the reason that the package does not compile/build/work on
that architecture. The bug number MUST be placed in a comment, next to the
corresponding ExcludeArch line.
OK: All build dependencies must be listed in BuildRequires, except for any that
are listed in the exceptions section of the Packaging Guidelines ; inclusion of
those as BuildRequires is optional. Apply common sense.
N/A: The spec file MUST handle locales properly. This is done by using the
%find_lang macro. Using %{_datadir}/locale/* is strictly forbidden.
N/A: Every binary RPM package (or subpackage) which stores shared library files
(not just symlinks) in any of the dynamic linker's default paths, must call
ldconfig in %post and %postun. 
OK: Packages must NOT bundle copies of system libraries.
N/A: If the package is designed to be relocatable, the packager must state this
fact in the request for review, along with the rationalization for relocation
of that specific package. Without this, use of Prefix: /usr is considered a
blocker.
OK: A package must own all directories that it creates. If it does not create a
directory that it uses, then it should require a package which does create that
directory.
OK: A Fedora package must not list a file more than once in the spec file's
%files listings. (Notable exception: license texts in specific situations)
OK: Permissions on files must be set properly. Executables should be set with
executable permissions, for example.
NOK[1]Each package must consistently use macros.
OK: The package must contain code, or permissable content.
N/A: Large documentation files must go in a -doc subpackage. (The definition of
large is left up to the packager's best judgement, but is not restricted to
size. Large can refer to either size or quantity).
OK: If a package includes something as %doc, it must not affect the runtime of
the application. To summarize: If it is in %doc, the program must run properly
if it is not present.
NOK[2]: Header files must be in a -devel package.
N/A: Static libraries must be in a -static package.
N/A: If a package contains library files with a suffix (e.g. libfoo.so.1.1),
then library files that end in .so (without suffix) must go in a -devel
package.
OK: In the vast majority of cases, devel packages must require the base package
using a fully versioned dependency: Requires: %{name}%{?_isa} =
%{version}-%{release}
OK: Packages must NOT contain any .la libtool archives, these must be removed
in the spec if they are built.
N/A: Packages containing GUI applications must include a %{name}.desktop file,
and that file must be properly installed with desktop-file-install in the
%install section. If you feel that your packaged GUI application does not need
a .desktop file, you must put a comment in the spec file with your explanation.
OK: Packages must not own files or directories already owned by other packages.
The rule of thumb here is that the first package to be installed should own the
files or directories that other packages may rely upon. This means, for
example, that no package in Fedora should ever share ownership with any of the
files or directories owned by the filesystem or man package. If you feel that
you have a good reason to own a file or directory that another package owns,
then please present that at package review time.
OK:All filenames in rpm packages must be valid UTF-8.

Should items:
N/A: If the source package does not include license text(s) as a separate file
from upstream, the packager SHOULD query upstream to include it.
N/A: The description and summary sections in the package spec file should
contain translations for supported Non-English languages, if available.
OK: The reviewer should test that the package builds in mock.
Not tested: The package should compile and build into binary rpms on all
supported architectures.
Not tested: The reviewer should test that the package functions as described. A
package should not segfault instead of running, for example.
N/A: If scriptlets are used, those scriptlets must be sane. This is vague, and
left up to the reviewers judgement to determine sanity.
N/A: Usually, subpackages other than devel should require the base package
using a fully versioned dependency.
N/A: The placement of pkgconfig(.pc) files depends on their usecase, and this
is usually for development purposes, so should be placed in a -devel pkg. A
reasonable exception is that the main pkg itself is a devel tool not installed
in a user runtime, e.g. gcc or gdb.
N/A: If the package has file dependencies outside of /etc, /bin, /sbin,
/usr/bin, or /usr/sbin consider requiring the package which provides the file
instead of the file itself.
N/A: your package should contain man pages for binaries/scripts. If it doesn't,
work with upstream to add them where they make sense.

NOK[1]: Please use %{buildroot} instead of $RPM_BUILD_ROOT. That is just for
usabilty as it is easier to read if there is just one macro style used. See
Package guidelines: "Mixing the two styles, while valid, is bad from a QA and
usability point of view, and should not be done in Fedora packages."

NOK[2]: Can *.v files be considered as header files? As far as I understand
they more than source files. I think the devel subpackage should be considered
as "Install this package, if you want to develope a application/library that
uses the base package". E.g. the devel package for an library written in C only
contains the header files, because they are required to link the library. If
someone wants the source files not for developing, but for just looking at it,
he is required to install the source package.

As Thomas Spura already mentioned on his review for flocq you should consider
to doing a packaging draft and send it to fpc to clarify this.

rpmlint output:
gappalib-coq.src: W: spelling-error %description -l en_US Gappa -> Kappa,
Zappa, Gap pa
gappalib-coq.src: W: spelling-error %description -l en_US de -> DE, ed, d
gappalib-coq.src:60: W: configure-without-libdir-spec
gappalib-coq.x86_64: W: spelling-error %description -l en_US de -> DE, ed, d
gappalib-coq-devel.x86_64: W: only-non-binary-in-usr-lib
gappalib-coq-devel.x86_64: W: no-documentation
3 packages and 0 specfiles checked; 0 errors, 6 warnings.

Well, all spelling errors can be ignored.
configure-without-libdir-spec: As your package does not need any file from
libdir. I also think that this can be ignored.
only-non-binary-in-usr-lib: Please see NOK[2]

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
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]