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

18 Mar 2008


      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@fedoraproject.org
        ReportedBy: kevin@tigcc.ticalc.org
         QAContact: extras-qa@fedoraproject.org
                CC: fedora-package-review@redhat.com,notting@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.

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