Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

[Caml-list] ANNOUNCE: Status of OCaml in Fedora

1 view
Skip to first unread message

Richard Jones

unread,
Aug 4, 2007, 11:12:12 AM8/4/07
to caml...@inria.fr
I thought people might be interested to know how OCaml in Fedora & Red
Hat Enterprise Linux (RHEL) is getting along.

We had the packaging guidelines approved about 6 weeks ago which
allowed packages to start being reviewed
(https://fedoraproject.org/wiki/Packaging/OCaml). Since then we have
rebased to OCaml 3.10.0 and packaged up the following: ocamlsdl,
camlimages, ocurl, expat, extlib, findlib, lablgl, lablgtk2, pcre,
ocaml-ssl and ulex.

The following packages are still at various stages in the development
or review process: calendar, ocamlnet, cduce, coq, PXP, ocaml-csv.

Interested in joining? Add your name to our SIG:
http://fedoraproject.org/wiki/SIGs/OCaml

Want to suggest a package for inclusion in Fedora? Please email me.

To use the packages, enable the Fedora Development repository
(/etc/yum.repos.d/development.repo) and just 'yum install ocaml...'

The complete list of OCaml packages and their versions is shown below.

Rich.

ocaml-3.10.0-1.fc8.x86_64.rpm
ocaml-SDL-0.7.2-7.fc7.x86_64.rpm
ocaml-SDL-devel-0.7.2-7.fc7.i386.rpm
ocaml-SDL-devel-0.7.2-7.fc7.x86_64.rpm
ocaml-camlimages-2.2.0-8.fc7.x86_64.rpm
ocaml-camlimages-devel-2.2.0-8.fc7.i386.rpm
ocaml-camlimages-devel-2.2.0-8.fc7.x86_64.rpm
ocaml-camlp4-3.10.0-1.fc8.x86_64.rpm
ocaml-camlp4-devel-3.10.0-1.fc8.i386.rpm
ocaml-camlp4-devel-3.10.0-1.fc8.x86_64.rpm
ocaml-curl-0.2.1-3.fc8.x86_64.rpm
ocaml-curl-devel-0.2.1-3.fc8.i386.rpm
ocaml-curl-devel-0.2.1-3.fc8.x86_64.rpm
ocaml-docs-3.10.0-1.fc8.x86_64.rpm
ocaml-emacs-3.10.0-1.fc8.x86_64.rpm
ocaml-expat-0.9.1-4.fc8.x86_64.rpm
ocaml-expat-devel-0.9.1-4.fc8.i386.rpm
ocaml-expat-devel-0.9.1-4.fc8.x86_64.rpm
ocaml-extlib-1.5-5.fc8.x86_64.rpm
ocaml-extlib-devel-1.5-5.fc8.i386.rpm
ocaml-extlib-devel-1.5-5.fc8.x86_64.rpm
ocaml-findlib-1.1.2pl1-10.fc8.x86_64.rpm
ocaml-findlib-devel-1.1.2pl1-10.fc8.i386.rpm
ocaml-findlib-devel-1.1.2pl1-10.fc8.x86_64.rpm
ocaml-lablgl-1.02-12.fc8.x86_64.rpm
ocaml-lablgl-devel-1.02-12.fc8.i386.rpm
ocaml-lablgl-devel-1.02-12.fc8.x86_64.rpm
ocaml-lablgtk-2.6.0-8.20060908cvs.fc8.x86_64.rpm
ocaml-lablgtk-devel-2.6.0-8.20060908cvs.fc8.i386.rpm
ocaml-lablgtk-devel-2.6.0-8.20060908cvs.fc8.x86_64.rpm
ocaml-lablgtk-doc-2.6.0-8.20060908cvs.fc8.x86_64.rpm
ocaml-labltk-3.10.0-1.fc8.x86_64.rpm
ocaml-labltk-devel-3.10.0-1.fc8.i386.rpm
ocaml-labltk-devel-3.10.0-1.fc8.x86_64.rpm
ocaml-ocamldoc-3.10.0-1.fc8.x86_64.rpm
ocaml-pcre-5.11.4-6.fc8.x86_64.rpm
ocaml-pcre-devel-5.11.4-6.fc8.i386.rpm
ocaml-pcre-devel-5.11.4-6.fc8.x86_64.rpm
ocaml-runtime-3.10.0-1.fc8.x86_64.rpm
ocaml-source-3.10.0-1.fc8.x86_64.rpm
ocaml-ssl-0.4.2-3.fc8.x86_64.rpm
ocaml-ssl-devel-0.4.2-3.fc8.i386.rpm
ocaml-ssl-devel-0.4.2-3.fc8.x86_64.rpm
ocaml-ulex-1.0-3.fc8.x86_64.rpm
ocaml-ulex-devel-1.0-3.fc8.i386.rpm
ocaml-ulex-devel-1.0-3.fc8.x86_64.rpm
ocaml-x11-3.10.0-1.fc8.x86_64.rpm

--
Richard Jones
Red Hat

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Jon Harrop

unread,
Aug 4, 2007, 9:19:11 PM8/4/07
to caml...@yquem.inria.fr
On Saturday 04 August 2007 16:09:59 Richard Jones wrote:
> I thought people might be interested to know how OCaml in Fedora & Red
> Hat Enterprise Linux (RHEL) is getting along.
>
> We had the packaging guidelines approved about 6 weeks ago which
> allowed packages to start being reviewed
> (https://fedoraproject.org/wiki/Packaging/OCaml). Since then we have
> rebased to OCaml 3.10.0 and packaged up the following: ocamlsdl,
> camlimages, ocurl, expat, extlib, findlib, lablgl, lablgtk2, pcre,
> ocaml-ssl and ulex.
> ...

I don't believe the Debian packages for 3.10 have filtered through but I was
so desperate to use the awesome new natdynlink branch that upgraded to that
from CVS and rebuilt almost all packages from the existing Debian source
packages with:

apt-get --build source foo

Most packages work like this right out of the box.

--
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
OCaml for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists/?e

Stefano Zacchiroli

unread,
Aug 4, 2007, 10:50:45 PM8/4/07
to caml...@yquem.inria.fr
On Sun, Aug 05, 2007 at 02:08:01AM +0100, Jon Harrop wrote:
> I don't believe the Debian packages for 3.10 have filtered through but I was

Actually, they are available in experimental. A summary page of what's
going on in Debian wrt OCaml versions is available at:
http://sockmel.bononia.it/~zack/ocaml-debian-status/debian-ocaml-status.html

What is stopping a full migration to unstable is that some major OCaml
related packages haven't yet been ported by the respective author to
OCaml 3.10 and are experiencing CamlP4-related incompatibilities.

> so desperate to use the awesome new natdynlink branch that upgraded to that
> from CVS and rebuilt almost all packages from the existing Debian source
> packages with:

FWIW, all OCaml related packages in Debian should have a Vcs-Svn field
pointing to the subversion repository we are using for maintenance (you
can see it with "apt-get showsrc"). There you can find the current
working version of the Debian package.

Cheers.

--
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the
(15:57:15) Bac: no, la demo scema \/ right keys at the right time

skaller

unread,
Aug 4, 2007, 11:34:28 PM8/4/07
to Jon Harrop, caml...@yquem.inria.fr
On Sun, 2007-08-05 at 02:08 +0100, Jon Harrop wrote:

> apt-get --build source foo
>
> Most packages work like this right out of the box.

Oh yea, and apt is so Advanced a Package Tool .. it even
understands source build dependencies .. NOT!

--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

Erik de Castro Lopo

unread,
Aug 5, 2007, 12:35:36 AM8/5/07
to caml...@inria.fr
skaller wrote:

> Oh yea, and apt is so Advanced a Package Tool .. it even
> understands source build dependencies .. NOT!

apt-get build-dep <package>

Erik
--
-----------------------------------------------------------------
Erik de Castro Lopo
-----------------------------------------------------------------
A fanatic is one who can't change his mind and won't change the subject.
-- Winston Churchill

skaller

unread,
Aug 5, 2007, 6:11:40 AM8/5/07
to Erik de Castro Lopo, caml...@inria.fr
On Sun, 2007-08-05 at 14:31 +1000, Erik de Castro Lopo wrote:
> skaller wrote:
>
> > Oh yea, and apt is so Advanced a Package Tool .. it even
> > understands source build dependencies .. NOT!
>
> apt-get build-dep <package>

Nope. There's no way to do it. This simply tries to install the
*binary* packages required. You can't autobuild dependencies
with apt, I've already investigated this.

--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

_______________________________________________

Richard Jones

unread,
Aug 5, 2007, 6:14:46 AM8/5/07
to caml...@inria.fr
On Sun, Aug 05, 2007 at 08:09:17PM +1000, skaller wrote:
> On Sun, 2007-08-05 at 14:31 +1000, Erik de Castro Lopo wrote:
> > skaller wrote:
> >
> > > Oh yea, and apt is so Advanced a Package Tool .. it even
> > > understands source build dependencies .. NOT!
> >
> > apt-get build-dep <package>
>
> Nope. There's no way to do it. This simply tries to install the
> *binary* packages required. You can't autobuild dependencies
> with apt, I've already investigated this.

I guess that apt isn't Gentoo portage.

Even having this facility isn't going to help you much if you are
trying to upgrade to OCaml 3.10 because you still have to do the
manual work to fix camlp4 changes.

BTW: Debian people: I've done ocamlnet to 3.10 using a grotesque hack.
I wonder if anyone has worked on PXP?

Rich.

--
Richard Jones
Red Hat

_______________________________________________

Erik de Castro Lopo

unread,
Aug 5, 2007, 6:40:26 AM8/5/07
to caml...@inria.fr
skaller wrote:

> Nope. There's no way to do it. This simply tries to install the
> *binary* packages required. You can't autobuild dependencies
> with apt, I've already investigated this.

Debian apt is designed to be a *binary* package installer.

If you want to build all your packages from source your should
be running Gentoo or one of the other source distributions.

Erik
--
-----------------------------------------------------------------
Erik de Castro Lopo
-----------------------------------------------------------------

"C++ is a language strongly optimized for liars and people who
go by guesswork and ignorance." -- Erik Naggum

Stefano Zacchiroli

unread,
Aug 5, 2007, 7:23:25 AM8/5/07
to Inria Ocaml Mailing List
On Sun, Aug 05, 2007 at 11:12:50AM +0100, Richard Jones wrote:
> BTW: Debian people: I've done ocamlnet to 3.10 using a grotesque hack.

We are using camlp5 for ocamlnet and it works properly.

> I wonder if anyone has worked on PXP?

PXP is a bit more tricky since it requires ulex which, if built with the
latest camlp4, is (of course) incompatible with camlp5. The current plan
is to ship two ulex packages: 1.0 built with new camlp4 and 0.8 built
with camlp5. Then PXP should be buildable with the combination ulex 0.8
+ camlp5. The "shuold" is because I haven't yet tried it out.

Cheers.

--
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the
(15:57:15) Bac: no, la demo scema \/ right keys at the right time

_______________________________________________

0 new messages