Broken dependencies: ocaml-mysql
by Fedora Koji Build System
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.
14 years, 10 months
rpms/ocaml-ocamlnet/devel ocaml-ocamlnet.spec,1.9,1.10
by Richard W.M. Jones
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.
14 years, 10 months
rpms/ocaml-cil/devel ocaml-cil.spec,1.6,1.7
by Richard W.M. Jones
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.
14 years, 10 months
New ocamlmaint account
by Richard W.M. Jones
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
14 years, 10 months
IFL 2009: Call for Papers
by IFL 2009
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.
14 years, 10 months
Re: pgocaml and calendar package.
by Richard Jones
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
14 years, 11 months
