Ocaml-devel June 2008

ocaml-devel@lists.fedoraproject.org

3 participants
6 discussions

Re: "ocaml_beginners"::[] OCaml installation
by Richard Jones 12 Jun '08

12 Jun '08

On Thu, Jun 12, 2008 at 03:23:17AM -0000, kechenghao wrote: > Currently The OCaml has already been installedn on a Rat Hat machine, > which version is 3.09.3. > Now I want to update to new version 3.10.1 > Then I download a new rpm file. I try to install it at root > privilege. > I got error as follows: > [root@ft]$ rpm -i ocaml-3.10.1-1.el5.src.rpm > warning: ocaml-3.10.1-1.el5.src.rpm: V3 DSA signature: NOKEY, key ID > 05c387ef > warning: user nogin does not exist - using root > warning: group students does not exist - using root [...] > I'm confused what's "user nogin"? Do I need to uninstall the older > version first? Thanks. A few things to say here! You're installing the source RPM (ie. the source code) so you'll need to compile it. The easiest way is to build the source RPM directly: rpmbuild --rebuild ocaml-3.10.1-1.el5.src.rpm Note that you should *not* do this as root. You will need to install the binary RPMs that are produced as root later. However didn't you mean to install a binary RPM? I have no idea where you got this RPM from so I don't know what's in it, whether it's compatible with RHEL or Fedora, etc. Another thing - when you say 'Red Hat machine' what do you mean? For RHEL 4/5 we support only OCaml 3.09.2 or 3.09.3 as described on this page: http://cocan.org/getting_started_with_ocaml_on_red_hat_and_fedora We don't upgrade the base OCaml versions in RHEL because we want to maintain binary compatibility for users at all times. That means there is no approved upgrade path to a later OCaml in RHEL (deliberately). If you are a paying customer and need a new feature from a later version of OCaml then we would consider back-porting it for you, or some other solution to meet your needs. Finally 'user nogin' is the name of the person who built the source RPM, and those warnings can just be ignored. Rich. -- Richard Jones Red Hat

1 0

Re: lablgtk version?
by Richard W.M. Jones 11 Jun '08

11 Jun '08

On Wed, Jun 11, 2008 at 02:39:15PM -0400, Jonathan S. Shapiro wrote: > Your call. Don't do it on my account, though, because the only tool I am > trying to build that wants lablgtk is presently failing to build because > unable to locate gtkThread.cmx. Oh. Just resolved that. > > In any case, I don't have any reason at the moment to think that I need > the later interface (yet). OK, well do keep me informed (and fedora-ocaml-list) if you do need anything. Basically I develop on Rawhide, and any development that happens on F-8/9 is a freak accident. I only backport stuff when people ask for it. 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

Re: lablgtk version?
by Richard W.M. Jones 11 Jun '08

11 Jun '08

On Wed, Jun 11, 2008 at 02:21:20PM -0400, Jonathan S. Shapiro wrote: > Good to know, thanks. For now I'll see how far I get with 2.6. It may > not be an issue. OK since you're stuck on F-8 I'll take a look at this tomorrow. Perhaps there's a way to package up multiple versions ... I know that you're not the only one to want 2.10. Peter wanted it (for mldonkey IIRC) and in fact I wanted it for virt-ctrl. It's a pain that lablgtk has *source* changes which break things between versions though ... Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-df lists disk usage of guests without needing to install any software inside the virtual machine. Supports Linux and Windows. http://et.redhat.com/~rjones/virt-df/

1 0

Re: lablgtk version?
by Richard W.M. Jones 11 Jun '08

11 Jun '08

On Wed, Jun 11, 2008 at 01:07:35PM -0400, Jonathan S. Shapiro wrote: > I'm a bit confused about the ocaml-lablgtk package. First, this appears > to be lablgtk2 rather than lablgtk, which leads me to wonder whether the > package is correctly named. When I originally repackaged lablgtk2 I named the package ocaml-lablgtk2, but there was consensus [where? - IRC?] to leave the name as ocaml-labgtk. Unless you want to install both labgtk1 & lablgtk2 this shouldn't be a problem, although it is slightly inconsistent with Debian. > Second, this appears to be version 2.6, while the current upstream > is 2.10.1. This leads me to wonder (given that I know you just spun > this) whether there may be a good reason to stick with the earlier > revision for now? Yes, because both binary and source break when you upgrade. Binary breakage requires us to rebuild all dependent packages, which is time-consuming. Source breakage is usually more complicated. We have version 2.10.1 in Rawhide, and 2.10.0 in Fedora 9 however, so perhaps using a later version of Fedora is an option? You can also try using packages from Fedora 9 and/or Rawhide in Fedora 8 -- just fiddle with /etc/yum.repos.d/* to enable the later repository. Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-df lists disk usage of guests without needing to install any software inside the virtual machine. Supports Linux and Windows. http://et.redhat.com/~rjones/virt-df/

1 0

Does anybody plan to package Frama-C?
by Peter Lemenkov 04 Jun '08

04 Jun '08

I just found it and it looks pretty useful: http://frama-c.cea.fr/what_is.html >From the README: Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. ... If you have a C program and need to * validate it formally * look for potential runtime errors * audit or review it * reverse engineer it to understand its structure * generate formal documentation One or more of the following Frama-C tools may be of assistance to you: * A parser, a type checker and source level linker for C code optionally annotated with ACSL formulas. * A set of builtin static analysis plugins: o A runtime error detection plug-in based on abstract interpretation techniques o A dependencies computation plug-in o An interactive value analysis plug-in o A Use/Defs computation plug-in o A slicing plug-in o A weakest precondition calculus plug-in based on Floyd-Hoare logic -- With best regards!

2 1

Re: Fedora x86_64 rawhide rebuild in mock status 2008-05-27
by Richard W.M. Jones 02 Jun '08

02 Jun '08

On Sat, May 31, 2008 at 07:24:22AM -0500, Matt Domsch wrote: > ocaml-SDL-0.7.2-12.fc10 (build/make) rjones I deliberately removed the old 'lablgl' dependency last week, but obviously my scripts missed this package which still needed it. Now fixed in Rawhide. Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-df lists disk usage of guests without needing to install any software inside the virtual machine. Supports Linux and Windows. http://et.redhat.com/~rjones/virt-df/

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Ocaml-devel June 2008