Ocaml-devel January 2010

ocaml-devel@lists.fedoraproject.org

7 participants
48 discussions

[Bug 555849] New: GTK+ and libsvg-cairo support missing from 1.2.0
by Red Hat Bugzilla 03 Jun '11

03 Jun '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: GTK+ and libsvg-cairo support missing from 1.2.0 https://bugzilla.redhat.com/show_bug.cgi?id=555849 Summary: GTK+ and libsvg-cairo support missing from 1.2.0 Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: ocaml-cairo AssignedTo: rjones(a)redhat.com ReportedBy: orion(a)cora.nwra.com QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Description of problem: [mockbuild@xenmock1 fedora]$ cat test_gtk.ml module G = Gtk module C = Cairo_lablgtk [mockbuild@xenmock1 fedora]$ ocamlfind c -package cairo.lablgtk2 -linkpkg test_gtk.ml -o test_gtk File "test_gtk.ml", line 2, characters 13-26: Error: Unbound module Cairo_lablgtk Works fine on F12. It appears that ocaml-cairo no longer has: %{_libdir}/ocaml/cairo/cairo_lablgtk.cmi Appears to have gone away with the move to 1.2.0. Another reason I try to avoid using wildcards in the %files sections of spec files. 1.2.0 build log shows: checking for OCaml module LABLGTKDIR... +lablgtk2 checking for LIBSVG_CAIRO... no GTK+ support: no libsvg-cairo support: no configure: creating ./config.status Version-Release number of selected component (if applicable): ocaml-cairo-1.2.0-0.2.gita5c5ee9f.fc13.x86_64 -- 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.

1 4

[Bug 541542] New: ocaml-cairo: cairo_ps_surface_set_dpi_REPLACED_BY_cairo_surface_set_fallback_resolution
by Red Hat Bugzilla 02 Jun '11

02 Jun '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: ocaml-cairo: cairo_ps_surface_set_dpi_REPLACED_BY_cairo_surface_set_fallback_resolution https://bugzilla.redhat.com/show_bug.cgi?id=541542 Summary: ocaml-cairo: cairo_ps_surface_set_dpi_REPLACED_BY_cairo_surface_set _fallback_resolution Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: ocaml-cairo AssignedTo: rjones(a)redhat.com ReportedBy: rjones(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, orion(a)cora.nwra.com, fedora-ocaml-list(a)redhat.com Depends on: 541427 Classification: Fedora Target Release: --- Clone Of: 541427 +++ This bug was initially created as a clone of Bug #541427 +++ Description of problem: yum -y install ocaml-cairo-devel - does not install ocaml-lablgtk-devel, and: # cat test_cairo.ml module C = Cairo # ocamlfind c -package cairo -linkpkg test_cairo.ml -o test_cairo ocamlfind: Package `lablgtk2' not found - Required by `cairo.lablgtk2' Version-Release number of selected component (if applicable): 1.0.0-1.fc13 Other error after ocaml-lablgtk-devel is: # ocamlfind c -package cairo -linkpkg test_cairo.ml -o test_cairo File "test_cairo.ml", line 1, characters 0-1: Error: Error on dynamically loaded library: /usr/lib/ocaml/stublibs/dllmlcairo.so: /usr/lib/ocaml/stublibs/dllmlcairo.so: undefined symbol: cairo_ps_surface_set_dpi_REPLACED_BY_cairo_surface_set_fallback_resolution can file separate bug if desired. -- 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.

1 13

[Bug 548097] New: Fix OCaml packaging guidelines for new dependency generator
by Red Hat Bugzilla 02 Jun '11

02 Jun '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Fix OCaml packaging guidelines for new dependency generator https://bugzilla.redhat.com/show_bug.cgi?id=548097 Summary: Fix OCaml packaging guidelines for new dependency generator Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: ocaml AssignedTo: gemi(a)bluewin.ch ReportedBy: rjones(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: rdieter(a)math.unl.edu, gemi(a)bluewin.ch, rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Depends on: 545116 Classification: Fedora Target Release: --- Clone Of: 545116 +++ This bug was initially created as a clone of Bug #545116 +++ https://www.redhat.com/archives/fedora-devel-list/2009-December/msg00230.ht… On Mon, Dec 07, 2009 at 03:32:59PM +0200, Panu Matilainen wrote: > - The new version has integrated support for extracting OCaml > dependencies, this clashes with the existing ocaml-dependency > extraction mechanism in Fedora. Notably rpm-build conflicts with current > ocaml-runtime, and the ocaml build-macros need updating to let the > integrated pieces do their work. --- Additional comment from rjones(a)redhat.com on 2009-12-07 11:29:06 EDT --- Sorry, should have been assigned to me. --- Additional comment from rjones(a)redhat.com on 2009-12-16 10:51:04 EDT --- This should now be fixed: http://koji.fedoraproject.org/koji/taskinfo?taskID=1875253 -- 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.

1 5

[Bug 548098] New: Fix dependency generator usage in all OCaml packages
by Red Hat Bugzilla 02 Jun '11

02 Jun '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Fix dependency generator usage in all OCaml packages https://bugzilla.redhat.com/show_bug.cgi?id=548098 Summary: Fix dependency generator usage in all OCaml packages Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: ocaml AssignedTo: gemi(a)bluewin.ch ReportedBy: rjones(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: rdieter(a)math.unl.edu, gemi(a)bluewin.ch, rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Depends on: 545116 Classification: Fedora Target Release: --- Clone Of: 545116 +++ This bug was initially created as a clone of Bug #545116 +++ https://www.redhat.com/archives/fedora-devel-list/2009-December/msg00230.ht… On Mon, Dec 07, 2009 at 03:32:59PM +0200, Panu Matilainen wrote: > - The new version has integrated support for extracting OCaml > dependencies, this clashes with the existing ocaml-dependency > extraction mechanism in Fedora. Notably rpm-build conflicts with current > ocaml-runtime, and the ocaml build-macros need updating to let the > integrated pieces do their work. --- Additional comment from rjones(a)redhat.com on 2009-12-07 11:29:06 EDT --- Sorry, should have been assigned to me. --- Additional comment from rjones(a)redhat.com on 2009-12-16 10:51:04 EDT --- This should now be fixed: http://koji.fedoraproject.org/koji/taskinfo?taskID=1875253 -- 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.

1 6

[Bug 530254] New: Package mime-type information for Coq files
by Red Hat Bugzilla 15 Apr '11

15 Apr '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Package mime-type information for Coq files https://bugzilla.redhat.com/show_bug.cgi?id=530254 Summary: Package mime-type information for Coq files Product: Fedora Version: 11 Platform: All OS/Version: Linux Status: NEW Severity: low Priority: low Component: coq AssignedTo: amdunn(a)gmail.com ReportedBy: matt(a)mattmccutchen.net QAContact: extras-qa(a)fedoraproject.org CC: amdunn(a)gmail.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Created an attachment (id=365637) --> (https://bugzilla.redhat.com/attachment.cgi?id=365637) Draft mime-type information Description of problem: It might be nice to package some mime-type information for Coq files as a step toward making them xdg-openable in coqide or Proof General. Version-Release number of selected component (if applicable): coq-8.2-1.fc11.x86_64 -- 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.

1 14

[Bug 508197] New: segfaults if run in Japanese
by Red Hat Bugzilla 05 Dec '10

05 Dec '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: segfaults if run in Japanese https://bugzilla.redhat.com/show_bug.cgi?id=508197 Summary: segfaults if run in Japanese Product: Fedora Version: 11 Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-top AssignedTo: rjones(a)redhat.com ReportedBy: petersen(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, fedora-virt-maint(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Target Release: --- Description of problem: virt-top segfaults immediately for me when run in ja locale. Version-Release number of selected component (if applicable): virt-top-1.0.3-4.fc11.x86_64 How reproducible: every time Steps to Reproduce: LANG=ja_JP.UTF-8 virt-top Actual results: セグメンテーション違反です (Segmentation fault.) Expected results: to run like in other locales -- 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.

1 18

[Bug 515813] New: coq fails to build for ppc64 in both opt and non-opt versions
by Red Hat Bugzilla 05 Dec '10

05 Dec '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: coq fails to build for ppc64 in both opt and non-opt versions https://bugzilla.redhat.com/show_bug.cgi?id=515813 Summary: coq fails to build for ppc64 in both opt and non-opt versions Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: coq AssignedTo: amdunn(a)gmail.com ReportedBy: amdunn(a)gmail.com QAContact: extras-qa(a)fedoraproject.org CC: amdunn(a)gmail.com, fedora-ocaml-list(a)redhat.com Blocks: 238953 Classification: Fedora Description of problem: In build, 8.2 gives error pthread_atfork undefined for bytecode only version http://koji.fedoraproject.org/koji/getfile?taskID=1583843&name=build.log and out of memory error for opt version http://koji.fedoraproject.org/koji/getfile?taskID=1584652&name=build.log Version-Release number of selected component (if applicable): >= 8.2 (including upcoming 8.2pl1) -- 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.

1 2

[Bug 487533] New: [RHEL5]: virt-top doesn't show disk transfer statistics
by Red Hat Bugzilla 26 Oct '10

26 Oct '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: [RHEL5]: virt-top doesn't show disk transfer statistics https://bugzilla.redhat.com/show_bug.cgi?id=487533 Summary: [RHEL5]: virt-top doesn't show disk transfer statistics Product: Fedora EPEL Version: el5 Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-top AssignedTo: rjones(a)redhat.com ReportedBy: clalance(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, fedora-virt-maint(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Target Release: --- Description of problem: Despite the work that went into RHEL-5.3 to show disk transfer statistics of blktap devices, virt-top is still not showing them. That is, if I start up virt-top on my dom0, I see output similar to: virt-top 11:07:03 - x86_64 8/8CPU 2000MHz 15102MB 17 domains, 16 active, 4 running, 12 sleeping, 0 paused, 1 inactive D:0 O:0 X:0 CPU: 0.0% Mem: 12838 MB (11813 MB by guests) ID S RDRQ WRRQ RXBY TXBY %CPU %MEM TIME NAME 0 R 0.0 6.0 52:14.09 Domain-0 27 S 0.0 6.0 1:50.03 f10pv_i386 26 R 0.0 5.0 2:21.34 f10pv_x86_64 13 S 0.0 5.0 10:15.87 f8pv_i386 14 S 0.0 5.0 11:21.37 f8pv_x86_64 11 S 0.0 5.0 22:22.51 f9pv_i386 12 S 0.0 5.0 20:35.55 f9pv_x86_64 29 S 0.0 5.0 2:30.98 rhel3fv_i386 37 R 0.0 5.0 2:42.97 rhel4fv_i386 38 S 0.0 5.0 0:48.74 rhel4fv_x86_64 7 S 0.0 5.0 6:41.64 rhel4pv_i386 8 S 0.0 5.0 13:03.53 rhel4pv_x86_64 21 S 0.0 5.0 27:49.61 rhel5fv_i386 36 R 0.0 5.0 2:46.24 rhel5fv_x86_64 39 S 0.0 5.0 0:38.62 rhel5pv_i386 40 S 0.0 5.0 0:37.07 rhel5pv_x86_64 But the RDRQ and WRRQ columns are always blank, for both FV and PV guests. I'm not quite sure if this is a libvirt problem or a problem with virt-top itself, but I thought I'd start with virt-top and we can go from there. -- 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.

1 8

[Bug 531206] New: ocaml-docs doesn't install info files because using wrong args to install-info
by Red Hat Bugzilla 18 Aug '10

18 Aug '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: ocaml-docs doesn't install info files because using wrong args to install-info https://bugzilla.redhat.com/show_bug.cgi?id=531206 Summary: ocaml-docs doesn't install info files because using wrong args to install-info Product: Red Hat Enterprise Linux 6 Version: 6.0 Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: ocaml AssignedTo: rjones(a)redhat.com ReportedBy: rjones(a)redhat.com CC: gemi(a)bluewin.ch, rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Depends on: 531204 Classification: Red Hat Target Release: --- Clone Of: 531204 +++ This bug was initially created as a clone of Bug #531204 +++ Description of problem: Although ocaml-docs comes with info files, these are never installed because we call /sbin/install-info with old-style Debian args, and install-info doesn't really work properly when you use those. Version-Release number of selected component (if applicable): ocaml-docs-3.11.1-4.fc13.x86_64 and all previous versions How reproducible: Always. Steps to Reproduce: 1. Install ocaml. 2. Run 'info' or 'info ocaml' 3. Actual results: When running 'info' you'll see the OCaml page is missing from the info directory. When running 'info ocaml' you'll see the man page which is the info fallback position when it thinks that there is no info file installed. Expected results: Should show real OCaml info page. Should be in directory. Additional info: The correct parameters which install ocaml.info are: /sbin/install-info --entry="* ocaml: (ocaml). The Objective Caml compiler and programming environment" --section="Programming" /usr/share/info/ocaml.info /usr/share/info/dir -- 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.

1 6

[Bug 481318] New: Missing package for MLGMP
by Red Hat Bugzilla 28 Jun '10

28 Jun '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Missing package for MLGMP https://bugzilla.redhat.com/show_bug.cgi?id=481318 Summary: Missing package for MLGMP Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: ocaml AssignedTo: rjones(a)redhat.com ReportedBy: bagnara(a)cs.unipr.it QAContact: extras-qa(a)fedoraproject.org CC: gemi(a)bluewin.ch, rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora It would be nice to package MLGMP, an extended precision computation library in OCaml (http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=278) based on GMP. Debian has two packages for MLGMP named libgmp-ocaml and libgmp-ocaml-dev: I tell you in case you want to check the packaging choices they have made (the possible objective being to facilitate the life of application writers that need to produce software working on both Debian and Fedora systems). -- 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.

1 3

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Ocaml-devel January 2010