[Bug 947819] Review Request: idris - Functional Programming Language with Dependent Types
bugzilla at redhat.com
bugzilla at redhat.com
Mon Jul 8 10:51:09 UTC 2013
https://bugzilla.redhat.com/show_bug.cgi?id=947819
--- Comment #11 from Ricky Elrod <relrod at redhat.com> ---
Well, we're close ;)
Package Review
==============
Legend:
[x] = Pass, [!] = Fail, [-] = Not applicable, [?] = Not evaluated
[ ] = Manual review needed
Issues:
=======
- Static libraries in -static subpackage, if present.
Note: Archive *.a files found in idris
See: http://fedoraproject.org/wiki/Packaging/Guidelines#StaticLibraries
(This might be a result of
https://fedoraproject.org/wiki/Packaging:Haskell#Static_vs._Dynamic_Linking and
allowable.
Can you comment?)
- Header files in -devel subpackage, if present.
Note: idris :
/usr/lib64/idris-0.9.8/rts/idris_bitstring.h idris :
/usr/lib64/idris-0.9.8/rts/idris_gc.h idris :
/usr/lib64/idris-0.9.8/rts/idris_gmp.h idris :
/usr/lib64/idris-0.9.8/rts/idris_heap.h idris :
/usr/lib64/idris-0.9.8/rts/idris_opts.h idris :
/usr/lib64/idris-0.9.8/rts/idris_rts.h idris :
/usr/lib64/idris-0.9.8/rts/idris_stats.h idris :
/usr/lib64/idris-0.9.8/rts/idris_stdfgn.h
See: http://fedoraproject.org/wiki/Packaging/Guidelines#DevelPackages
(I am assuming that these header files are required at runtime? Or can we
move them into a -devel subpackage?)
- idris.x86_64: W: executable-stack /usr/bin/idris
(See this link for help with getting rid of this warning:
https://fedoraproject.org/wiki/Packaging_tricks#Executable_stack)
- Spec use %global instead of %define.
Note: %define cabal_configure_options --datadir=%{_libdir}
(Use %global instead :))
===== MUST items =====
C/C++:
[x]: Package does not contain kernel modules.
[x]: Package contains no static executables.
[x]: Package does not contain any libtool archives (.la)
[x]: Rpath absent or only used for internal libs.
Generic:
[x]: Package is licensed with an open-source compatible license and meets
other legal requirements as defined in the legal section of Packaging
Guidelines.
[x]: %build honors applicable compiler flags or justifies otherwise.
[x]: Package contains no bundled libraries without FPC exception.
[x]: Changelog in prescribed format.
[x]: Sources contain only permissible code or content.
[-]: Package contains desktop file if it is a GUI application.
[!]: Development files must be in a -devel package
[x]: Package requires other packages for directories it uses.
[x]: Package uses nothing in %doc for runtime.
[x]: Package is not known to require ExcludeArch.
[x]: Package complies to the Packaging Guidelines
[x]: License field in the package spec file matches the actual license.
[x]: Package consistently uses macros (instead of hard-coded directory names).
[x]: Package is named according to the Package Naming Guidelines.
[x]: Package does not generate any conflict.
[x]: Package obeys FHS, except libexecdir and /usr/target.
[-]: If the package is a rename of another package, proper Obsoletes and
Provides are present.
[x]: Package must own all directories that it creates.
[x]: Package does not own files or directories owned by other packages.
[x]: Requires correct, justified where necessary.
[x]: Spec file is legible and written in American English.
[-]: Package contains systemd file(s) if in need.
[-]: Useful -debuginfo package or justification otherwise.
[x]: Large documentation must go in a -doc subpackage.
[x]: All build dependencies are listed in BuildRequires, except for any that
are listed in the exceptions section of Packaging Guidelines.
[x]: Package does not run rm -rf %{buildroot} (or $RPM_BUILD_ROOT) at the
beginning of %install.
[x]: Each %files section contains %defattr if rpm < 4.4
[x]: Macros in Summary, %description expandable at SRPM build time.
[x]: Package does not contain duplicates in %files.
[x]: Permissions on files are set properly.
[x]: Fully versioned dependency in subpackages, if present.
[x]: 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 is included in %doc.
[x]: Package use %makeinstall only when make install' ' DESTDIR=... doesn't
work.
[x]: Package is named using only allowed ASCII characters.
[x]: Package do not use a name that already exist
[x]: Package is not relocatable.
[x]: Sources used to build the package match the upstream source, as provided
in the spec URL.
[x]: Spec file name must match the spec package %{name}, in the format
%{name}.spec.
[x]: File names are valid UTF-8.
[x]: Packages must not store files under /srv, /opt or /usr/local
[x]: Package successfully compiles and builds into binary rpms on at least one
supported primary architecture.
[x]: Package installs properly.
[x]: Rpmlint is run on all rpms the build produces.
Note: There are rpmlint messages (see attachment).
Java:
[x]: Fully versioned dependency in subpackages, if present.
[x]: Bundled jar/class files should be removed before build
===== SHOULD items =====
Generic:
[!]: Spec use %global instead of %define.
Note: %define cabal_configure_options --datadir=%{_libdir}
[-]: If the source package does not include license text(s) as a separate file
from upstream, the packager SHOULD query upstream to include it.
[x]: Final provides and requires are sane (see attachments).
[x]: Package functions as described.
[x]: Latest version is packaged.
[x]: Package does not include license text files separate from upstream.
[-]: Description and summary sections in the package spec file contains
translations for supported Non-English languages, if available.
[x]: Package should compile and build into binary rpms on all supported
architectures.
[-]: %check is present and all tests pass.
[x]: Packages should try to preserve timestamps of original installed files.
[x]: Packager, Vendor, PreReq, Copyright tags should not be in spec file
[x]: Sources can be downloaded from URI in Source: tag
[x]: Reviewer should test that the package builds in mock.
[x]: Buildroot is not present
[x]: Package has no %clean section with rm -rf %{buildroot} (or
$RPM_BUILD_ROOT)
[x]: Dist tag is present.
[x]: No file requires outside of /etc, /bin, /sbin, /usr/bin, /usr/sbin.
[x]: SourceX tarball generation or download is documented.
[x]: SourceX is a working URL.
===== EXTRA items =====
Generic:
[x]: Large data in /usr/share should live in a noarch subpackage if package is
arched.
[x]: Rpmlint is run on all installed packages.
Note: There are rpmlint messages (see attachment).
[x]: Spec file according to URL is the same as in SRPM.
Rpmlint
-------
Checking: idris-0.9.8-2.fc20.x86_64.rpm
idris.x86_64: W: spelling-error %description -l en_US http -> HTTP
idris.x86_64: W: spelling-error %description -l en_US www -> WWW, wow
idris.x86_64: W: spelling-error %description -l en_US lang -> Lang, lag, slang
idris.x86_64: W: spelling-error %description -l en_US monad -> nomad, gonad,
Mona
idris.x86_64: W: spelling-error %description -l en_US tuples -> letups
idris.x86_64: W: executable-stack /usr/bin/idris
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_gmp.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_gmp.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_stats.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_stats.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_gc.h
idris.x86_64: W: spurious-executable-perm /usr/lib64/idris-0.9.8/rts/idris_gc.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_opts.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_opts.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_bitstring.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_bitstring.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/libtest.c
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_stdfgn.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_stdfgn.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_main.c
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_rts.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_rts.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/libidris_rts.a
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/libidris_rts.a
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_heap.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_heap.h
idris.x86_64: W: no-manual-page-for-binary idris
1 packages and 0 specfiles checked; 0 errors, 27 warnings.
Rpmlint (installed packages)
----------------------------
# rpmlint idris
idris.x86_64: W: spelling-error %description -l en_US http -> HTTP
idris.x86_64: W: spelling-error %description -l en_US www -> WWW, wow
idris.x86_64: W: spelling-error %description -l en_US lang -> Lang, lag, slang
idris.x86_64: W: spelling-error %description -l en_US monad -> nomad, gonad,
Mona
idris.x86_64: W: spelling-error %description -l en_US tuples -> letups
idris.x86_64: W: executable-stack /usr/bin/idris
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_gmp.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_gmp.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_stats.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_stats.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_gc.h
idris.x86_64: W: spurious-executable-perm /usr/lib64/idris-0.9.8/rts/idris_gc.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_opts.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_opts.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_bitstring.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_bitstring.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/libtest.c
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_stdfgn.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_stdfgn.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_main.c
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_rts.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_rts.h
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/libidris_rts.a
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/libidris_rts.a
idris.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/idris-0.9.8/rts/idris_heap.h
idris.x86_64: W: spurious-executable-perm
/usr/lib64/idris-0.9.8/rts/idris_heap.h
idris.x86_64: W: no-manual-page-for-binary idris
1 packages and 0 specfiles checked; 0 errors, 27 warnings.
# echo 'rpmlint-done:'
Requires
--------
idris (rpmlib, GLIBC filtered):
gcc
ghc(Cabal-1.16.0-eb3c12450ebbf2810048acb780cbe706)
ghc(array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3)
ghc(base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57)
ghc(binary-0.5.1.1-72ed744c57c32286a49da6dda4f660b7)
ghc(bytestring-0.10.0.2-4f93248f75667c2c3321a7a6761b576f)
ghc(containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2)
ghc(cpphs-1.16-15d27b0080912629e5fe51cce6f4d42a)
ghc(deepseq-1.3.0.1-5cc4cd89bdc2e8f6db1833d95ec36926)
ghc(directory-1.2.0.1-91a788fd88acd7f149f0f10f5f1e23f2)
ghc(filepath-1.3.0.1-b12cbe18566fe1532a1fda4c85e31cbe)
ghc(ghc-prim-0.3.0.0-d5221a8c8a269b66ab9a07bdc23317dd)
ghc(haskeline-0.7.0.3-8894d9bc6e16c683c2ede97ddf359f66)
ghc(integer-gmp-0.5.0.0-2f15426f5b53fe4c6490832f9b20d8d7)
ghc(language-java-0.2.4-0b0e647223770d9fdac16675bfcd278f)
ghc(libffi-0.1-246dc5ea50873b4e73708a886ef510f1)
ghc(mtl-2.1.2-82086cac9073862cbe01e44b81ec8b9b)
ghc(old-locale-1.0.0.5-6729cb9d9cc62d150655de8fc5401b91)
ghc(old-time-1.1.0.1-2f8ea093d0c7014780a8a5772f948883)
ghc(parsec-3.1.3-441f1388bc13de47c52a9ba8a23194f4)
ghc(pretty-1.1.1.0-66181c695e6a2e173ba2088cf55cc396)
ghc(process-1.1.0.2-76e05340eb66705981411022731ca84a)
ghc(split-0.2.2-7a3d16e611eda8c6cc8850aa57490f5e)
ghc(terminfo-0.3.2.5-fb31957b4beb6a67d2abe1b1ac2ae4e0)
ghc(text-0.11.3.1-e38859e86485c167fa7c9441789e7607)
ghc(time-1.4.0.1-10dc4804a19dc0000fab79908f1a9f50)
ghc(transformers-0.3.0.0-387c76a892254b0b8fe4d66f4780ad17)
ghc(unix-2.6.0.1-4f219f792083f70ec440ce406f12ce57)
libHSCabal-1.16.0-ghc7.6.3.so()(64bit)
libHSarray-0.4.0.1-ghc7.6.3.so()(64bit)
libHSbase-4.6.0.1-ghc7.6.3.so()(64bit)
libHSbinary-0.5.1.1-ghc7.6.3.so()(64bit)
libHSbytestring-0.10.0.2-ghc7.6.3.so()(64bit)
libHScontainers-0.5.0.0-ghc7.6.3.so()(64bit)
libHScpphs-1.16-ghc7.6.3.so()(64bit)
libHSdeepseq-1.3.0.1-ghc7.6.3.so()(64bit)
libHSdirectory-1.2.0.1-ghc7.6.3.so()(64bit)
libHSfilepath-1.3.0.1-ghc7.6.3.so()(64bit)
libHSghc-prim-0.3.0.0-ghc7.6.3.so()(64bit)
libHShaskeline-0.7.0.3-ghc7.6.3.so()(64bit)
libHSinteger-gmp-0.5.0.0-ghc7.6.3.so()(64bit)
libHSlanguage-java-0.2.4-ghc7.6.3.so()(64bit)
libHSlibffi-0.1-ghc7.6.3.so()(64bit)
libHSmtl-2.1.2-ghc7.6.3.so()(64bit)
libHSold-locale-1.0.0.5-ghc7.6.3.so()(64bit)
libHSold-time-1.1.0.1-ghc7.6.3.so()(64bit)
libHSparsec-3.1.3-ghc7.6.3.so()(64bit)
libHSpretty-1.1.1.0-ghc7.6.3.so()(64bit)
libHSprocess-1.1.0.2-ghc7.6.3.so()(64bit)
libHSrts-ghc7.6.3.so()(64bit)
libHSsplit-0.2.2-ghc7.6.3.so()(64bit)
libHSterminfo-0.3.2.5-ghc7.6.3.so()(64bit)
libHStext-0.11.3.1-ghc7.6.3.so()(64bit)
libHStime-1.4.0.1-ghc7.6.3.so()(64bit)
libHStransformers-0.3.0.0-ghc7.6.3.so()(64bit)
libHSunix-2.6.0.1-ghc7.6.3.so()(64bit)
libc.so.6()(64bit)
libdl.so.2()(64bit)
libffi.so.6()(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
libncursesw.so.5()(64bit)
libpthread.so.0()(64bit)
librt.so.1()(64bit)
libtinfo.so.5()(64bit)
libutil.so.1()(64bit)
rtld(GNU_HASH)
Provides
--------
idris:
idris
idris(x86-64)
Source checksums
----------------
http://hackage.haskell.org/packages/archive/idris/0.9.8/idris-0.9.8.tar.gz :
CHECKSUM(SHA256) this package :
f0f868788aa83c29a8832c07dd9587fa08170646bce39ba245a0b4c16235acd7
CHECKSUM(SHA256) upstream package :
f0f868788aa83c29a8832c07dd9587fa08170646bce39ba245a0b4c16235acd7
Generated by fedora-review 0.4.1 (b2e211f) last change: 2013-04-29
Buildroot used: fedora-rawhide-x86_64
Command line :/usr/bin/fedora-review -m fedora-rawhide-x86_64 -b 947819
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=IhrpTl8QHy&a=cc_unsubscribe
More information about the haskell-devel
mailing list