[Bug 438102] New: Review Request: ocaml-facile - OCaml library for constraint programming

[bugzilla at redhat.com]

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




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

           Summary: Review Request: ocaml-facile - OCaml library for
                    constraint programming
           Product: Fedora
           Version: rawhide
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: medium
          Priority: medium
         Component: Package Review
        AssignedTo: nobody at fedoraproject.org
        ReportedBy: kevin at tigcc.ticalc.org
         QAContact: extras-qa at fedoraproject.org
                CC: fedora-package-review at redhat.com,notting at redhat.com


Spec URL: http://repo.calcforge.org/f9/ocaml-facile.spec
SRPM URL: http://repo.calcforge.org/f9/ocaml-facile-1.1-1.fc8.src.rpm
Description:
FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml. It offers all usual facilities to create and
manipulate finite domain variables, arithmetic expressions and constraints
(possibly non-linear), built-in global constraints (difference, cardinality,
sorting etc.) and search and optimization goals. FaCiLe allows as well to build
easily user-defined constraints and goals (including recursive ones), making
pervasive use of OCaml higher-order functionals to provide a simple and flexible
interface for the user. As FaCiLe is an OCaml library and not "yet another
language", the user benefits from type inference and strong typing discipline,
high level of abstraction, modules and objects system, as well as native code
compilation efficiency, garbage collection and replay debugger, all features of
OCaml (among many others) that allow to prototype and experiment quickly:
modeling, data processing and interface are implemented with the same powerful
and efficient language.

This is needed for the chemical equation solver/balancer in Kalzium (kdeedu).

rpmlint output and justification:
Spec URL: http://repo.calcforge.org/f9/ocaml-facile.spec
SRPM URL: http://repo.calcforge.org/f9/ocaml-facile-1.1-1.fc8.src.rpm
Description:
FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml. It offers all usual facilities to create and
manipulate finite domain variables, arithmetic expressions and constraints
(possibly non-linear), built-in global constraints (difference, cardinality,
sorting etc.) and search and optimization goals. FaCiLe allows as well to build
easily user-defined constraints and goals (including recursive ones), making
pervasive use of OCaml higher-order functionals to provide a simple and flexible
interface for the user. As FaCiLe is an OCaml library and not "yet another
language", the user benefits from type inference and strong typing discipline,
high level of abstraction, modules and objects system, as well as native code
compilation efficiency, garbage collection and replay debugger, all features of
OCaml (among many others) that allow to prototype and experiment quickly:
modeling, data processing and interface are implemented with the same powerful
and efficient language.

This is needed for the chemical equation solver/balancer in Kalzium (kdeedu).


rpmlint output and justification:

> ocaml-facile.src:77: W: rpm-buildroot-usage %prep ./configure --faciledir $RPM_BUILD_ROOT%{_libdir}/ocaml/facile

Harmless, I don't install anything to $RPM_BUILD_ROOT in %prep, I only set the installation directory.

> ocaml-facile.src:78: E: configure-without-libdir-spec

See --faciledir. This is a custom configure script, not autoconf.

> ocaml-facile.src: W: spelling-error-in-description langage language
> ocaml-facile.src: W: spelling-error-in-description ment meant
> ocaml-facile.src: W: spelling-error-in-description langage language

That's the French %description(fr) (provided by upstream).

> ocaml-facile.src: E: description-line-too-long pervasive use of OCaml higher-order functionals to provide a simple and flexible
> ocaml-facile.src: E: description-line-too-long optimisé (pour toutes les plates-formes courantes), de la gestion automatique de

That's rpmlint not liking 80-char lines, harmless.

> ocaml-facile.i386: W: spelling-error-in-description langage language
> ocaml-facile.i386: W: spelling-error-in-description ment meant
> ocaml-facile.i386: W: spelling-error-in-description langage language
> ocaml-facile.i386: E: description-line-too-long pervasive use of OCaml higher-order functionals to provide a simple and flexible
> ocaml-facile.i386: E: description-line-too-long optimisé (pour toutes les plates-formes courantes), de la gestion automatique de

Same as above.

> ocaml-facile.i386: E: no-binary
> ocaml-facile.i386: E: only-non-binary-in-usr-lib

Normal for an OCaml library.

> ocaml-facile-devel.i386: W: no-documentation

All the documentation is in the main package.

-- 
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, or are watching someone who is.