[Bug 438102] New: Review Request: ocaml-facile - OCaml library for constraint programming
bugzilla at redhat.com
bugzilla at redhat.com
Wed Mar 19 02:18:36 UTC 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 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.
More information about the Fedora-package-review
mailing list