Ocaml-devel August 2009

ocaml-devel@lists.fedoraproject.org

4 participants
18 discussions

[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 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

[Bug 493799] New: Translations for Fedora 11!
by Red Hat Bugzilla 16 Jun '10

16 Jun '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Translations for Fedora 11! https://bugzilla.redhat.com/show_bug.cgi?id=493799 Summary: Translations for Fedora 11! Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-top AssignedTo: rjones(a)redhat.com ReportedBy: ankit(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: --- There is no way to submit translations for Virt-top through Transifex (or direct access to VCS) for translators. So, creating this bug to allow translators to submit their translations here, that's what we have been doing since previous release of Fedora. Requesting the Package Maintainer to accept the translations and bundle them along with this package after Translation Freeze (7th April) for Fedora 11. Thanks! Ankit -- 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 48

[Bug 509531] New: CVE-2009-2295 ocaml-camlimages: PNG reader multiple integer overflows (oCERT-2009-009)
by Red Hat Bugzilla 16 Oct '09

16 Oct '09

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: CVE-2009-2295 ocaml-camlimages: PNG reader multiple integer overflows (oCERT-2009-009) Alias: CVE-2009-2295 https://bugzilla.redhat.com/show_bug.cgi?id=509531 Summary: CVE-2009-2295 ocaml-camlimages: PNG reader multiple integer overflows (oCERT-2009-009) Product: Security Response Version: unspecified Platform: All OS/Version: Linux Status: NEW Keywords: Security Severity: medium Priority: medium Component: vulnerability AssignedTo: security-response-team(a)redhat.com ReportedBy: thoger(a)redhat.com CC: rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Other Target Release: --- oCERT advisory oCERT-2009-009 was published describing a flaw in ocaml-camlimages: http://www.ocert.org/advisories/ocert-2009-009.html CamlImages, an open source image processing library, suffers from several integer overflows which may lead to a potentially exploitable heap overflow and result in arbitrary code execution. The vulnerability is triggered by PNG image parsing, the read_png_file and read_png_file_as_rgb24 functions do not properly validate the width and height of the image. Specific PNG images with large width and height can be crafted to trigger the vulnerability. Issue was reported to affect both 2.2 and 3.0.1, which no upstream patch available at the moment. References: http://thread.gmane.org/gmane.comp.security.oss.general/1882 http://bugs.gentoo.org/show_bug.cgi?id=276235 -- 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 16

[Bug 493796] New: Translations for Fedora 11!
by Red Hat Bugzilla 05 Oct '09

05 Oct '09

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Translations for Fedora 11! https://bugzilla.redhat.com/show_bug.cgi?id=493796 Summary: Translations for Fedora 11! Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-ctrl AssignedTo: rjones(a)redhat.com ReportedBy: ankit(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Target Release: --- There is no way to submit translations for Virt-ctrl through Transifex (or direct access to VCS) for translators. So, creating this bug to allow translators to submit their translations here, that's what we have been doing since previous release of Fedora. Requesting the Package Maintainer to accept the translations and bundle them along with this package after Translation Freeze (7th April) for Fedora 11. Thanks! Ankit -- 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 66

[Bug 483091] New: Updated Brazilian Portuguese translation of virt-ctrl
by Red Hat Bugzilla 05 Oct '09

05 Oct '09

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Updated Brazilian Portuguese translation of virt-ctrl https://bugzilla.redhat.com/show_bug.cgi?id=483091 Summary: Updated Brazilian Portuguese translation of virt-ctrl Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-ctrl AssignedTo: rjones(a)redhat.com ReportedBy: igor(a)projetofedora.org QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Created an attachment (id=330377) --> (https://bugzilla.redhat.com/attachment.cgi?id=330377) Translation file Translated by Leandro César and revised by Igor Pires Soares -- 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 481522] New: Updated Brazilian Portuguese translation of virt-top
by Red Hat Bugzilla 03 Oct '09

03 Oct '09

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Updated Brazilian Portuguese translation of virt-top https://bugzilla.redhat.com/show_bug.cgi?id=481522 Summary: Updated Brazilian Portuguese translation of virt-top Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: low Priority: low Component: virt-top AssignedTo: rjones(a)redhat.com ReportedBy: jyulliano(a)gmail.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 Created an attachment (id=329960) --> (https://bugzilla.redhat.com/attachment.cgi?id=329960) Translation file Translation updated by Jyulliano Arruda Ferraro Rocha. -- 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 493797] New: Translations for Fedora 11!
by Red Hat Bugzilla 21 Sep '09

21 Sep '09

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Translations for Fedora 11! https://bugzilla.redhat.com/show_bug.cgi?id=493797 Summary: Translations for Fedora 11! Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-df AssignedTo: rjones(a)redhat.com ReportedBy: ankit(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: --- There is no way to submit translations for Virt-df through Transifex (or direct access to VCS) for translators. So, creating this bug to allow translators to submit their translations here, that's what we have been doing since previous release of Fedora. Requesting the Package Maintainer to accept the translations and bundle them along with this package after Translation Freeze (7th April) for Fedora 11. Thanks! Ankit -- 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 15

[Bug 483119] New: Updated Brazilian Portuguese translation of virt-df
by Red Hat Bugzilla 21 Sep '09

21 Sep '09

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Updated Brazilian Portuguese translation of virt-df https://bugzilla.redhat.com/show_bug.cgi?id=483119 Summary: Updated Brazilian Portuguese translation of virt-df Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-df AssignedTo: rjones(a)redhat.com ReportedBy: leandro.cesar(a)gmail.com QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, igor(a)projetofedora.org, fedora-virt-maint(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Created an attachment (id=330394) --> (https://bugzilla.redhat.com/attachment.cgi?id=330394) Translation File Translation file Translated by Leandro César -- 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 516997] New: Totally information free description of the package
by Red Hat Bugzilla 11 Sep '09

11 Sep '09

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Totally information free description of the package https://bugzilla.redhat.com/show_bug.cgi?id=516997 Summary: Totally information free description of the package Product: Fedora Version: 11 Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: emacs-common-tuareg AssignedTo: rjones(a)redhat.com ReportedBy: mcepl(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Target Release: --- Description of problem: Current Description field: This package contains the byte compiled elisp packages to run Tuareg-mode with GNU Emacs. doesn't tell me anything about the package what I wouldn't already know and provides no information which would be interesting. What about: ===================== Tuareg is a Caml mode for GNU Emacs and XEmacs. It handles automatic indentation of Objective Caml and Camllight codes. Key parts of the code are hilighted using Font-Lock. Support to run an interactive Caml toplevel and debbuger is provided. Install this package if you need to edit Caml code in Emacs. ====================== -- 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 514309] New: virt-df2 blocks update of libguestfs
by Red Hat Bugzilla 08 Sep '09

08 Sep '09

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: virt-df2 blocks update of libguestfs https://bugzilla.redhat.com/show_bug.cgi?id=514309 Summary: virt-df2 blocks update of libguestfs Product: Fedora Version: 11 Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-df AssignedTo: rjones(a)redhat.com ReportedBy: guthrie(a)counterexample.org 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 Description of problem: The most recent update of libguestfs is not able to be installed if virt-df2 is installed. Version-Release number of selected component (if applicable): 1.0.58-2.fc11 How reproducible: Every time Steps to Reproduce: 1.Install libguestfs-1.0.58-2.fc11 and virt-df2-1.0.58-2.fc11 2.Run "yum update" 3. Actual results: I get the following output: # yum update Loaded plugins: aliases, changelog, downloadonly, fastestmirror, filter-data, : keys, list-data, presto, refresh-packagekit, rpm-warm-cache, : security Loading mirror speeds from cached hostfile * fedora: mirrors.med.harvard.edu * updates: mirror.steadfast.net Skipping filters plugin, no data Skipping security plugin, no data Setting up Update Process Resolving Dependencies Skipping filters plugin, no data Skipping security plugin, no data --> Running transaction check ---> Package guestfish.i586 1:1.0.64-2.fc11 set to be updated --> Processing Dependency: libguestfs = 1.0.58-2.fc11 for package: virt-df2-1.0.58-2.fc11.i586 ---> Package libguestfs.i586 1:1.0.64-2.fc11 set to be updated --> Processing Dependency: chntpw >= 0.99.6-8 for package: 1:libguestfs-1.0.64-2.fc11.i586 ---> Package perl-libguestfs.i586 1:1.0.64-2.fc11 set to be updated --> Processing Dependency: perl(Locale::TextDomain) for package: 1:perl-libguestfs-1.0.64-2.fc11.i586 ---> Package virt-inspector.i586 1:1.0.64-2.fc11 set to be updated --> Running transaction check ---> Package chntpw.i586 0:0.99.6-9.fc11 set to be updated --> Processing Dependency: libguestfs = 1.0.58-2.fc11 for package: virt-df2-1.0.58-2.fc11.i586 ---> Package perl-libintl.i586 0:1.16-9.fc11 set to be updated --> Finished Dependency Resolution virt-df2-1.0.58-2.fc11.i586 from installed has depsolving problems --> Missing Dependency: libguestfs = 1.0.58-2.fc11 is needed by package virt-df2-1.0.58-2.fc11.i586 (installed) Error: Missing Dependency: libguestfs = 1.0.58-2.fc11 is needed by package virt-df2-1.0.58-2.fc11.i586 (installed) You could try using --skip-broken to work around the problem You could try running: package-cleanup --problems package-cleanup --dupes rpm -Va --nofiles --nodigest Expected results: I would expect libguestfs and possibly virt-df2 as well to be updated. Additional info: -- 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

IFL 2009: Final Call for Papers and Participation
by IFL 2009 13 Aug '09

13 Aug '09

1 0

rpms/emacs-common-tuareg/devel emacs-common-tuareg.spec,1.7,1.8
by Richard W.M. Jones 12 Aug '09

12 Aug '09

Author: rjones Update of /cvs/pkgs/rpms/emacs-common-tuareg/devel In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv26638/devel Modified Files: emacs-common-tuareg.spec Log Message: Improve description (RHBZ#516997). Index: emacs-common-tuareg.spec =================================================================== RCS file: /cvs/pkgs/rpms/emacs-common-tuareg/devel/emacs-common-tuareg.spec,v retrieving revision 1.7 retrieving revision 1.8 diff -u -p -r1.7 -r1.8 --- emacs-common-tuareg.spec 24 Jul 2009 22:04:07 -0000 1.7 +++ emacs-common-tuareg.spec 12 Aug 2009 09:56:47 -0000 1.8 @@ -30,7 +30,7 @@ Name: emacs-common-%{pkg} Version: 1.45.6 -Release: 8%{?dist} +Release: 9%{?dist} Summary: Emacs and XEmacs mode for editing ocaml Group: Development/Libraries @@ -52,9 +52,10 @@ Requires: ocaml-emacs %description -%{pkgname} is an add-on package for GNU Emacs and XEmacs for -editing OCaml source files. It is much better than the -default mode included in Emacs or the one provided by INRIA. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. This package contains the common files. Install emacs-%{pkg} to get the complete package. @@ -67,8 +68,12 @@ Requires: emacs(bin) >= %{emacs_ve Requires: emacs-common-%{pkg} = %{version}-%{release} %description -n emacs-%{pkg} -This package contains the byte compiled elisp packages to run -%{pkgname} with GNU Emacs. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. + +Install this package if you need to edit OCaml code in Emacs. %package -n emacs-%{pkg}-el @@ -90,8 +95,12 @@ Requires: xemacs(bin) >= %{xemacs_ Requires: emacs-common-%{pkg} = %{version}-%{release} %description -n xemacs-%{pkg} -This package contains the byte compiled elisp packages to use -%{pkgname} with XEmacs. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. + +Install this package if you need to edit OCaml code in XEmacs. %package -n xemacs-%{pkg}-el @@ -173,6 +182,9 @@ rm -rf $RPM_BUILD_ROOT %changelog +* Wed Aug 12 2009 Richard W.M. Jones <rjones(a)redhat.com> - 1.45.6-9 +- Improve description (RHBZ#516997). + * Fri Jul 24 2009 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 1.45.6-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild

1 0

rpms/emacs-common-tuareg/F-11 emacs-common-tuareg.spec,1.6,1.7
by Richard W.M. Jones 12 Aug '09

12 Aug '09

Author: rjones Update of /cvs/pkgs/rpms/emacs-common-tuareg/F-11 In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv26638/F-11 Modified Files: emacs-common-tuareg.spec Log Message: Improve description (RHBZ#516997). Index: emacs-common-tuareg.spec =================================================================== RCS file: /cvs/pkgs/rpms/emacs-common-tuareg/F-11/emacs-common-tuareg.spec,v retrieving revision 1.6 retrieving revision 1.7 diff -u -p -r1.6 -r1.7 --- emacs-common-tuareg.spec 24 Feb 2009 14:42:02 -0000 1.6 +++ emacs-common-tuareg.spec 12 Aug 2009 09:56:47 -0000 1.7 @@ -30,7 +30,7 @@ Name: emacs-common-%{pkg} Version: 1.45.6 -Release: 7%{?dist} +Release: 7%{?dist}.1 Summary: Emacs and XEmacs mode for editing ocaml Group: Development/Libraries @@ -52,9 +52,10 @@ Requires: ocaml-emacs %description -%{pkgname} is an add-on package for GNU Emacs and XEmacs for -editing OCaml source files. It is much better than the -default mode included in Emacs or the one provided by INRIA. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. This package contains the common files. Install emacs-%{pkg} to get the complete package. @@ -67,8 +68,12 @@ Requires: emacs(bin) >= %{emacs_ve Requires: emacs-common-%{pkg} = %{version}-%{release} %description -n emacs-%{pkg} -This package contains the byte compiled elisp packages to run -%{pkgname} with GNU Emacs. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. + +Install this package if you need to edit OCaml code in Emacs. %package -n emacs-%{pkg}-el @@ -90,8 +95,12 @@ Requires: xemacs(bin) >= %{xemacs_ Requires: emacs-common-%{pkg} = %{version}-%{release} %description -n xemacs-%{pkg} -This package contains the byte compiled elisp packages to use -%{pkgname} with XEmacs. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. + +Install this package if you need to edit OCaml code in XEmacs. %package -n xemacs-%{pkg}-el @@ -173,6 +182,9 @@ rm -rf $RPM_BUILD_ROOT %changelog +* Wed Aug 12 2009 Richard W.M. Jones <rjones(a)redhat.com> - 1.45.6-7.fc11.1 +- Improve description (RHBZ#516997). + * Tue Feb 24 2009 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 1.45.6-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

1 0

rpms/coq/devel .cvsignore, 1.5, 1.6 coq.spec, 1.12, 1.13 import.log, 1.8, 1.9 sources, 1.5, 1.6 RecTutorial.v, 1.1, NONE
by Alan Dunn 05 Aug '09

05 Aug '09

Author: amdunn Update of /cvs/pkgs/rpms/coq/devel In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv7642/devel Modified Files: .cvsignore coq.spec import.log sources Removed Files: RecTutorial.v Log Message: * Wed Aug 05 2009 Alan Dunn <amdunn(a)gmail.com> - 8.2pl1-1 - New upstream release - Eliminated modification of tar_base_name that occurred for only version 8.2 - Added reference to bugzilla bug for ppc64 ExcludeArch - HTML form of documentation seems to no longer be distributed -> must generate Decided for consistency to generate all documentation - Additional file for iconv - documentation license file - Changed tutorial directory name, now also using bundled version of tutorial Index: .cvsignore =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/.cvsignore,v retrieving revision 1.5 retrieving revision 1.6 diff -u -p -r1.5 -r1.6 --- .cvsignore 19 Jun 2009 11:14:51 -0000 1.5 +++ .cvsignore 5 Aug 2009 21:32:59 -0000 1.6 @@ -1,7 +1 @@ -Coq-RecTutorial.pdf.gz -Coq-Library-8.2.pdf.gz -Coq-Reference-Manual-8.2.pdf.gz -Coq-Tutorial-8.2.pdf.gz -coq-8.2-1.tar.gz -coq-refman-html-8.2.tar.gz -coq-stdlib-html-8.2.tar.gz +coq-8.2pl1.tar.gz Index: coq.spec =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/coq.spec,v retrieving revision 1.12 retrieving revision 1.13 diff -u -p -r1.12 -r1.13 --- coq.spec 24 Jul 2009 19:29:30 -0000 1.12 +++ coq.spec 5 Aug 2009 21:33:00 -0000 1.13 @@ -23,39 +23,32 @@ %global _enable_debug_package 0 %global debug_package %{nil} -# The "-1" will have to be removed at the next version upgrade... this is -# just for 8.2 -%global tar_base_name coq-%{version}-1 - -Name: coq -Version: 8.2 -Release: 2%{?dist} -Summary: Coq proof management system - -Group: Applications/Engineering -License: LGPLv2 -URL: http://coq.inria.fr/ -Source0: http://coq.inria.fr/V%{version}/files/%{tar_base_name}.tar.gz -Source1: Coq-Library-%{version}.pdf.gz -Source2: Coq-Reference-Manual-%{version}.pdf.gz -Source3: Coq-Tutorial-%{version}.pdf.gz -Source4: Coq-RecTutorial.pdf.gz -Source5: coq-refman-html-%{version}.tar.gz -Source6: coq-stdlib-html-%{version}.tar.gz -Source7: RecTutorial.v -Source8: coqide.desktop -Source10: README.coq-emacs -Patch0: coq-makefile-strip-%{version}.patch -Patch1: coq-check-%{version}.patch -Patch2: coq-micromega-%{version}.patch -BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) -BuildRequires: ocaml >= 3.08, ocaml-camlp5-devel, gtk2-devel, ocaml-lablgtk-devel, desktop-file-utils, emacs +%global tar_base_name coq-%{version} + +Name: coq +Version: 8.2pl1 +Release: 1%{?dist} +Summary: Coq proof management system + +Group: Applications/Engineering +License: LGPLv2 +URL: http://coq.inria.fr/ +Source0: http://coq.inria.fr/V%{version}/files/%{tar_base_name}.tar.gz +Source1: coqide.desktop +Source2: README.coq-emacs +Patch0: coq-makefile-strip-8.2.patch +Patch1: coq-check-8.2.patch +Patch2: coq-micromega-8.2.patch +BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) +BuildRequires: ocaml >= 3.08, ocaml-camlp5-devel, gtk2-devel, ocaml-lablgtk-devel, desktop-file-utils, emacs # Needed for execstack, NOT for preventing stripping of custom # bytecode executables as before BuildRequires: prelink +# For documentation +BuildRequires: texlive-latex, texlive-texmf, hevea ExcludeArch: s390 s390x sparc64 -# Getting an error re: pthread_atfork - going to file a bugzilla bug -# and number will end up here +# ppc64 build fails in both opt and non-opt versions +# bz: 515813 ExcludeArch: ppc64 %description @@ -72,9 +65,9 @@ Coqide. # also the full name of the IDE) or "coq" and "ide" will find # this. (If the package were named "coq-ide", the former would fail.) %package coqide -Group: Applications/Engineering -Summary: Coqide IDE for Coq proof management system -Requires: coq +Group: Applications/Engineering +Summary: Coqide IDE for Coq proof management system +Requires: coq %description coqide Coq is a formal proof management system. It allows for the development @@ -85,9 +78,9 @@ modules and loaded into the system. This package provides Coqide, a lightweight IDE for Coq. %package doc -Group: Applications/Engineering -License: Open Publication -Summary: Documentation for Coq proof management system +Group: Applications/Engineering +License: Open Publication +Summary: Documentation for Coq proof management system %description doc Coq is a formal proof management system. It allows for the development @@ -104,9 +97,9 @@ main one, and one specifically on recurs for the latter is also included. %package emacs -Group: Applications/Engineering -Summary: Elisp files for Coq proof management system -Requires: coq, emacs +Group: Applications/Engineering +Summary: Elisp files for Coq proof management system +Requires: coq, emacs %description emacs Coq is a formal proof management system. It allows for the development @@ -161,19 +154,14 @@ This package provides emacs mode files f # Fix some files that are not in UTF-8 encoding -for f in CHANGES CREDITS COPYRIGHT; do +for f in CHANGES CREDITS COPYRIGHT doc/LICENSE; do mv $f $f.old; iconv -f ISO-8859-1 -t UTF-8 < $f.old > $f; rm $f.old done %global emacs_lispdir %{_datadir}/emacs/site-lisp %global tex_dir %{_datadir}/texmf/tex/latex/misc -# Seems like setup only sets up the main file -cp %SOURCE1 %SOURCE2 %SOURCE3 %SOURCE4 %SOURCE5 %SOURCE6 %SOURCE7 %SOURCE8 %SOURCE10 . -gunzip *.gz -for f in *.tar; do -tar xf $f -done +cp %SOURCE1 %SOURCE2 . %build %global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) @@ -206,14 +194,23 @@ done # executables %global coq_sopath %{_libdir}/ocaml/stublibs +%global coqdocdir %{_defaultdocdir}/coq-%{version} + +./configure -prefix %{_prefix} \ + -libdir %{_datadir}/coq \ + -bindir %{_bindir} \ + -mandir %{_mandir} \ + -docdir %{coqdocdir} \ + -emacs %{emacs_lispdir} \ + -coqdocdir %{tex_dir} \ + %{opt_option} \ + -reals all \ + -camlp5dir %{_libdir}/ocaml/camlp5 \ + -coqrunbyteflags "-dllib -lcoqrun -dllpath %{coq_sopath}" -./configure -prefix %{_prefix} -libdir %{_datadir}/coq -bindir %{_bindir} -mandir %{_mandir} -emacs %{emacs_lispdir} -coqdocdir %{tex_dir} %{opt_option} -reals all -camlp5dir %{_libdir}/ocaml/camlp5 -coqrunbyteflags "-dllib -lcoqrun -dllpath %{coq_sopath}" export CAML_LD_LIBRARY_PATH=`pwd`/kernel/byterun:${CAML_LD_LIBRARY_PATH} make world VERBOSE=1 -# Fix permissions in the documentation -chmod -R a+rX refman stdlib - # Clear any execstack permissions that ELF binaries may have for f in bin/*; do file $f | grep "ELF" && execstack -c $f @@ -237,8 +234,8 @@ mkdir -p %{buildroot}%{coqdatadir} sed -i -e 's|ICON-LOCATION-BASE|%{coqdatadir}/ide/coq.png|' coqide.desktop -desktop-file-install --vendor="fedora" \ ---dir=%{buildroot}%{_datadir}/applications \ +desktop-file-install --vendor="fedora" \ +--dir=%{buildroot}%{_datadir}/applications \ coqide.desktop # Install main Coq .v files @@ -249,11 +246,16 @@ done # Install tutorial code -%global tutorialcodedir %{coqdatadir}/tutorial +%global tutorialcodedir %{coqdatadir}/RecTutorial %if %(test -d %{buildroot}%{tutorialcodedir} && echo 1 || echo 0) != 1 mkdir -p %{buildroot}%{tutorialcodedir} %endif -mv RecTutorial.v %{buildroot}%{tutorialcodedir} +cp doc/RecTutorial/RecTutorial.v %{buildroot}%{tutorialcodedir} + +# Install documentation not installed by install-doc in Makefile +for f in CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL LICENSE README; +do cp $f %{buildroot}%{coqdocdir}; +done # Coq tries to move a .so into share - move it (easier than a makefile # patch) @@ -264,6 +266,9 @@ mv %{buildroot}%{coqdatadir}/dllcoqrun.s # Micromega contrib tries to sneak an executable into share - move it mv %{buildroot}%{coqdatadir}/contrib/micromega/csdpcert %{buildroot}%{_bindir} +# Don't install libcoqrun.a (it might not exist, but get rid of it if it does) +rm -f %{buildroot}%{coqdatadir}/libcoqrun.a + %clean rm -rf %{buildroot} @@ -276,18 +281,16 @@ rm -rf %{buildroot} %files %defattr(-,root,root,-) -%doc CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL LICENSE README -%doc %{_mandir}/man1/* +# DON'T use the doc macro here or else it wipes out all the other documentation installed! +%{_mandir}/man1/* %{coqdatadir} -%if %(test -e %{buildroot}%{coqdatadir}/libcoqrun.a && echo 1 || echo 0) == 1 -%exclude %{coqdatadir}/libcoqrun.a -%endif %{coq_sopath}/dllcoqrun.so %{_bindir}/coq* %{_bindir}/gallina %{_bindir}/csdpcert %exclude %{_bindir}/coqide* %exclude %{coqdatadir}/ide +%exclude %{coqdatadir}/config/coq_config.cmo %if %{opt} %exclude %{coqdatadir}/*/*.cmxa %exclude %{coqdatadir}/*/*.cmx @@ -295,6 +298,17 @@ rm -rf %{buildroot} %exclude %{coqdatadir}/*/*.o %endif %{tex_dir}/coq* +# A few documentation files here should stay in the main package (and +# are excluded from doc), but the bulk of the documentation is in the +# doc subpackage +%dir %{coqdocdir} +%{coqdocdir}/CHANGES +%{coqdocdir}/COMPATIBILITY +%{coqdocdir}/COPYRIGHT +%{coqdocdir}/CREDITS +%{coqdocdir}/INSTALL +%{coqdocdir}/LICENSE +%{coqdocdir}/README %files coqide %defattr(-,root,root,-) @@ -308,15 +322,15 @@ rm -rf %{buildroot} %files doc %defattr(-,root,root,-) -%doc Coq-Library-%{version}.pdf -%doc Coq-Reference-Manual-%{version}.pdf -%doc Coq-Tutorial-%{version}.pdf -%doc Coq-RecTutorial.pdf -%dir %{coqdatadir} %{tutorialcodedir} -# Standard permissions with - in defattr make the manual unreadable... unknown how to fix -%doc refman -%doc stdlib +%{coqdocdir}/* +%exclude %{coqdocdir}/CHANGES +%exclude %{coqdocdir}/COMPATIBILITY +%exclude %{coqdocdir}/COPYRIGHT +%exclude %{coqdocdir}/CREDITS +%exclude %{coqdocdir}/INSTALL +%exclude %{coqdocdir}/LICENSE +%exclude %{coqdocdir}/README %files emacs %defattr(-,root,root,-) @@ -324,6 +338,16 @@ rm -rf %{buildroot} %doc README.coq-emacs %changelog +* Wed Aug 05 2009 Alan Dunn <amdunn(a)gmail.com> - 8.2pl1-1 +- New upstream release +- Eliminated modification of tar_base_name that occurred for only version 8.2 +- Added reference to bugzilla bug for ppc64 ExcludeArch +- HTML form of documentation seems to no longer be distributed -> must generate + Decided for consistency to generate all documentation +- Additional file for iconv - documentation license file +- Changed tutorial directory name, now also using bundled version + of tutorial + * Fri Jul 24 2009 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> - 8.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild Index: import.log =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/import.log,v retrieving revision 1.8 retrieving revision 1.9 diff -u -p -r1.8 -r1.9 --- import.log 19 Jun 2009 11:14:53 -0000 1.8 +++ import.log 5 Aug 2009 21:33:00 -0000 1.9 @@ -6,3 +6,4 @@ coq-8_1pl3-5_fc9:HEAD:coq-8.1pl3-5.fc9.s coq-8_1pl4-2_fc10:HEAD:coq-8.1pl4-2.fc10.src.rpm:1236185498 coq-8_1pl4-3_fc10:HEAD:coq-8.1pl4-3.fc10.src.rpm:1236186130 coq-8_2-1_fc10:HEAD:coq-8.2-1.fc10.src.rpm:1245409718 +coq-8_2pl1-1_fc10:HEAD:coq-8.2pl1-1.fc10.src.rpm:1249507545 Index: sources =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/sources,v retrieving revision 1.5 retrieving revision 1.6 diff -u -p -r1.5 -r1.6 --- sources 19 Jun 2009 11:14:53 -0000 1.5 +++ sources 5 Aug 2009 21:33:00 -0000 1.6 @@ -1,7 +1 @@ -0e3d5eac23416ec75dd59fabdcc1367c Coq-RecTutorial.pdf.gz -127760a6d9b9bcd213cdd58ab191a363 Coq-Library-8.2.pdf.gz -b97ab411eb3288ded1d9f8c27e308115 Coq-Reference-Manual-8.2.pdf.gz -29b7e61e742b17c904739f546223f2e0 Coq-Tutorial-8.2.pdf.gz -6907d97342e7b547e2e6d905a474235d coq-8.2-1.tar.gz -cc0005c859cbfd574f22242ec9557dc5 coq-refman-html-8.2.tar.gz -9ff70e125ba31d53b866b8b322031ac6 coq-stdlib-html-8.2.tar.gz +36eed48bc63ada8abf27f96eb126906c coq-8.2pl1.tar.gz --- RecTutorial.v DELETED ---

1 0

IFL 2009: Call for Papers and Participation
by IFL 2009 02 Aug '09

02 Aug '09

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Ocaml-devel August 2009