From rjones at redhat.com Mon Jun 2 08:29:17 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Mon, 2 Jun 2008 09:29:17 +0100 Subject: Fedora x86_64 rawhide rebuild in mock status 2008-05-27 In-Reply-To: <20080531072422.A1480@humbolt.us.dell.com> References: <20080531072422.A1480@humbolt.us.dell.com> Message-ID: <20080602082917.GB29726@amd.home.annexia.org> 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/ From lemenkov at gmail.com Wed Jun 4 08:20:21 2008 From: lemenkov at gmail.com (Peter Lemenkov) Date: Wed, 4 Jun 2008 12:20:21 +0400 Subject: Does anybody plan to package Frama-C? Message-ID: 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! From rjones at redhat.com Wed Jun 4 08:18:51 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Wed, 4 Jun 2008 09:18:51 +0100 Subject: Does anybody plan to package Frama-C? In-Reply-To: References: Message-ID: <20080604081851.GA32727@amd.home.annexia.org> On Wed, Jun 04, 2008 at 12:20:21PM +0400, Peter Lemenkov wrote: > I just found it and it looks pretty useful: > > http://frama-c.cea.fr/what_is.html Yes, it looks very cute. I have no particular plans to package it at the moment, but I did open a tracking bug for packaging it here: https://bugzilla.redhat.com/show_bug.cgi?id=448502 If you have any candidate packages, put them there and/or open a review request and I'll do a review. 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 From rjones at redhat.com Wed Jun 11 17:59:20 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Wed, 11 Jun 2008 18:59:20 +0100 Subject: lablgtk version? In-Reply-To: <1213204055.3569.4.camel@shaptop.om-md.eros-os.com> References: <1213204055.3569.4.camel@shaptop.om-md.eros-os.com> Message-ID: <20080611175920.GA3415@amd.home.annexia.org> 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/ From rjones at redhat.com Wed Jun 11 18:21:07 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Wed, 11 Jun 2008 19:21:07 +0100 Subject: lablgtk version? In-Reply-To: <1213208480.3569.22.camel@shaptop.om-md.eros-os.com> References: <1213204055.3569.4.camel@shaptop.om-md.eros-os.com> <20080611175920.GA3415@amd.home.annexia.org> <1213208480.3569.22.camel@shaptop.om-md.eros-os.com> Message-ID: <20080611182107.GA3622@amd.home.annexia.org> 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/ From rjones at redhat.com Wed Jun 11 19:18:39 2008 From: rjones at redhat.com (Richard W.M. Jones) Date: Wed, 11 Jun 2008 20:18:39 +0100 Subject: lablgtk version? In-Reply-To: <1213209555.3569.34.camel@shaptop.om-md.eros-os.com> References: <1213204055.3569.4.camel@shaptop.om-md.eros-os.com> <20080611175920.GA3415@amd.home.annexia.org> <1213208480.3569.22.camel@shaptop.om-md.eros-os.com> <20080611182107.GA3622@amd.home.annexia.org> <1213209555.3569.34.camel@shaptop.om-md.eros-os.com> Message-ID: <20080611191839.GA3778@amd.home.annexia.org> 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 From rich at annexia.org Thu Jun 12 12:43:18 2008 From: rich at annexia.org (Richard Jones) Date: Thu, 12 Jun 2008 13:43:18 +0100 Subject: "ocaml_beginners"::[] OCaml installation In-Reply-To: References: Message-ID: <20080612124318.GA11892@annexia.org> 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 at 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