Ocaml-devel January 2009

ocaml-devel@lists.fedoraproject.org

8 participants
18 discussions

Broken dependencies: ocaml-mysql
by Fedora Koji Build System 23 Jan '09

23 Jan '09

ocaml-mysql has broken dependencies in the development tree: On ppc: ocaml-mysql-1.0.4-6.fc11.ppc requires libmysqlclient.so.15 On i386: ocaml-mysql-1.0.4-6.fc11.i386 requires libmysqlclient.so.15 Please resolve this as soon as possible.

1 0

rpms/ocaml-ocamlnet/devel ocaml-ocamlnet.spec,1.9,1.10
by Richard W.M. Jones 21 Jan '09

21 Jan '09

Author: rjones Update of /cvs/pkgs/rpms/ocaml-ocamlnet/devel In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv10859 Modified Files: ocaml-ocamlnet.spec Log Message: Fix prelink configuration file. Index: ocaml-ocamlnet.spec =================================================================== RCS file: /cvs/pkgs/rpms/ocaml-ocamlnet/devel/ocaml-ocamlnet.spec,v retrieving revision 1.9 retrieving revision 1.10 diff -u -r1.9 -r1.10 --- ocaml-ocamlnet.spec 4 Dec 2008 19:30:19 -0000 1.9 +++ ocaml-ocamlnet.spec 21 Jan 2009 20:58:08 -0000 1.10 @@ -6,7 +6,7 @@ Name: ocaml-ocamlnet Version: 2.2.9 -Release: 9%{?dist} +Release: 10%{?dist} Summary: Network protocols for OCaml Group: Development/Libraries @@ -161,7 +161,7 @@ # NB. Do NOT strip the binaries and prevent prelink from stripping them too. # (https://bugzilla.redhat.com/show_bug.cgi?id=435559) mkdir -p $RPM_BUILD_ROOT/etc/prelink.conf.d -echo -e -- '-b /usr/bin/netplex-admin\n/usr/bin/ocamlrpcgen' \ +echo -e '-b /usr/bin/netplex-admin\n-b /usr/bin/ocamlrpcgen' \ > $RPM_BUILD_ROOT/etc/prelink.conf.d/ocaml-ocamlnet.conf @@ -242,6 +242,9 @@ %changelog +* Wed Jan 21 2009 Richard W.M. Jones <rjones(a)redhat.com> - 2.2.9-10 +- Fix prelink configuration file. + * Wed Nov 26 2008 Richard W.M. Jones <rjones(a)redhat.com> - 2.2.9-9 - Rebuild for OCaml 3.11.0+rc1.

1 0

rpms/ocaml-cil/devel ocaml-cil.spec,1.6,1.7
by Richard W.M. Jones 21 Jan '09

21 Jan '09

Author: rjones Update of /cvs/pkgs/rpms/ocaml-cil/devel In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv10429 Modified Files: ocaml-cil.spec Log Message: Fix prelink configuration file. Index: ocaml-cil.spec =================================================================== RCS file: /cvs/pkgs/rpms/ocaml-cil/devel/ocaml-cil.spec,v retrieving revision 1.6 retrieving revision 1.7 diff -u -r1.6 -r1.7 --- ocaml-cil.spec 5 Dec 2008 17:14:25 -0000 1.6 +++ ocaml-cil.spec 21 Jan 2009 20:56:56 -0000 1.7 @@ -6,7 +6,7 @@ Name: ocaml-cil Version: 1.3.6 -Release: 9%{?dist} +Release: 10%{?dist} Summary: CIL - Infrastructure for C Program Analysis and Transformation Group: Development/Libraries @@ -144,7 +144,7 @@ install -m 0755 obj/$archos/cilly.*.exe $DESTDIR%{_libexecdir}/cil/obj/$archos mkdir -p $DESTDIR/etc/prelink.conf.d -echo -- '-b /usr/libexec/cil' > $DESTDIR/etc/prelink.conf.d/ocaml-cil-cilly.conf +echo '-b /usr/libexec/cil' > $DESTDIR/etc/prelink.conf.d/ocaml-cil-cilly.conf %clean rm -rf $RPM_BUILD_ROOT @@ -193,6 +193,9 @@ %changelog +* Wed Jan 21 2009 Richard W.M. Jones <rjones(a)redhat.com> - 1.3.6-10 +- Fix prelink configuration file. + * Fri Dec 5 2008 Richard W.M. Jones <rjones(a)redhat.com> - 1.3.6-9 - Patch to fix stricter -output-obj checks in OCaml 3.11.0.

1 0

[Bug 480766] Spanish translation of virt-ctrl (et.redhat.com)
by Red Hat Bugzilla 20 Jan '09

20 Jan '09

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=480766 daniel cabrera <h.daniel.cabrera(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CLOSED Resolution| |ERRATA --- Comment #1 from daniel cabrera <h.daniel.cabrera(a)gmail.com> 2009-01-20 12:21:25 EDT --- Sorry folks, wrong place for this bug. Closing it. -- 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 0

[Bug 480766] Spanish translation of virt-ctrl (et.redhat.com)
by Red Hat Bugzilla 20 Jan '09

20 Jan '09

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=480766 Dimitris Glezos <dimitris(a)glezos.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |fedora-ocaml-list(a)redhat.co | |m Component|Transifex |virt-ctrl Version|unspecified |rawhide AssignedTo|dimitris(a)glezos.com |rjones(a)redhat.com Product|Fedora Localization |Fedora QAContact|diegobz(a)gmail.com |extras-qa(a)fedoraproject.org -- 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 0

New ocamlmaint account
by Richard W.M. Jones 20 Jan '09

20 Jan '09

I added an ocamlmaint account in FAS & Bugzilla. This account does nothing, but directs CVS commits and new Bugzilla bugs to this mailing list. Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-p2v converts physical machines to virtual machines. Boot with a live CD or over the network (PXE) and turn machines into Xen guests. http://et.redhat.com/~rjones/virt-p2v

1 0

IFL 2009: Call for Papers
by IFL 2009 15 Jan '09

15 Jan '09

Call for Papers IFL 2009 Seton Hall University SOUTH ORANGE, NJ, USA http://tltc.shu.edu/blogs/projects/IFL2009/ The 21st IFL symposium, IFL 2009, will be held for the first time in the USA. The hosting institution is Seton Hall University in South Orange, NJ, USA and the symposium dates are September 23-25, 2009. It is our goal to make IFL a regular event held in the USA. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2009 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2009 will use a post-symposium review process to produce a formal proceedings which we expect to be published by Springer in the Lecture Notes in Computer Science series. All participants in IFL 2009 are invited to submit either a draft paper or and extended abstract describing work to be presented at the symposium. These submissions will be screened by the program committee chair to make sure they are within the scope of IFL and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full arcticle for the formal review process. These revised submissions will be reviewed by the program committee using prevailing academic standards to select the best articles that will appear in the formal proceedings. TOPICS IFL welcomes submissions describing practical and theoretical as well as submissions describing applications and tools. If you are not sure if your work is appropriate for IFL 2009, please contact the PC chair at ifl2009(a)shu.edu. Topics of interest include, but are not limited to: language concepts type checking contracts compilation techniques staged compilation runtime function specialization runtime code generation partial evaluation (abstract) interpretation generic programming techniques automatic program generation array processing concurrent/parallel programming concurrent/parallel program execution functional programming and embedded systems functional programming and web applications functional programming and security novel memory management techniques runtime profiling and performance measurements debugging and tracing virtual/abstract machine architectures validation and verification of functional programs tools and programming techniques PAPER SUBMISSIONS Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Mathematics and Computer Science of Seton Hall University. IMPORTANT DATES Registration deadline August 15, 2009 Presentation submission deadline August 15, 2009 IFL 2009 Symposium September 23-25, 2009 Submission for review process deadline November 1, 2009 Notification Accept/Reject December 22, 2009 Camera ready version January 15, 2010 PROGRAM COMMITTEE Peter Achten University of Nijmegen, The Netherlands Jost Berthold Philipps-Universität Marburg, Germany Andrew Butterfield University of Dublin, Ireland Robby Findler Northwestern University, USA Kathleen Fisher AT&T Research, USA Cormac Flanagan University of California at Santa Cruz, USA Matthew Flatt University of Utah, USA Matthew Fluet Toyota Technological Institute at Chicago, USA Daniel Friedman Indiana University, USA Andy Gill University of Kansas, USA Clemens Grelck University of Amsterdam/Hertfordshire, The Netherlands/UK Jurriaan Hage Utrecht University, The Netherlands Ralf Hinze Oxford University, UK Paul Hudak Yale University, USA John Hughes Chalmers University of Technology, Sweden Patricia Johann University of Strathclyde, UK Yukiyoshi Kameyama University of Tsukuba, Japan Marco T. Morazán (Chair) Seton Hall University, USA Rex Page University of Oklahoma, USA Fernando Rubio Universidad Complutense de Madrid, Spain Sven-Bodo Scholz University of Hertfordshire, UK Manuel Serrano INRIA Sophia-Antipolis, France Chung-chieh Shan Rutgers University, USA David Walker Princeton University, USA Viktória Zsók Eötvös Loránd University, Hungary PETER LANDIN PRIZE The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 euros.

1 0

Re: pgocaml and calendar package.
by Richard Jones 05 Jan '09

05 Jan '09

OK, I see what's going on here. It's rather complicated ... (1) There can be no actual database around when we build things in Fedora. (2) Because of (1), we don't build the test suite when building PG'OCaml. So no final program ever gets linked. As a result of (2), we don't see the bug you are seeing. But I can reproduce it here easily just by trying to build the test suite. (3) By mistake (possibly a bug) we are shipping the *.cmi files for Calendar -- eg. calendar.cmi. (4) Because of (3), PG'OCaml can compile because it finds modules such as 'Calendar' which don't really exist (because they are packed as 'CalendarLib.Calendar' etc in the final Calendar library). So it works, but we're building a broken PG'OCaml in Fedora, which for various other reasons isn't picked up... This will need a new release of PG'OCaml to fix, but the fix is pretty simple, just adding 'open CalendarLib' to the top of various files. Rich. -- Richard Jones Red Hat

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Ocaml-devel January 2009