Performing a mass rebuild at home

2010-02-04 Thread Roberto Bagnara
k in $SOURCE_PACKAGES; do rpmbuild --rebuild $k; done" does not work, and not only for build dependencies: once all the dependencies are installed, many packages still fail to build. What is the right/easiest way to accomplish this? Thanks, Roberto -- Prof. Roberto Bagnara Applied Formal Methods

Re: Performing a mass rebuild at home

2010-02-16 Thread Roberto Bagnara
On 02/05/10 15:50, Matt Domsch wrote: > On Fri, Feb 05, 2010 at 06:26:39AM +0100, Roberto Bagnara wrote: >> >> Hi there. >> >> I would like to rebuild all the binaries of the current versions >> of Fedora 12 packages (that is, only the latest update of each >>

Re: Performing a mass rebuild at home

2010-02-16 Thread Roberto Bagnara
ple.org/mockbuild-tools/ > > They're pretty basic, but work well for our needs. Thanks Roland. I am currently using the cvscoSRPM script, improved so as to make it more robust in case of failure. I am now adapting the mockbuild script. All the best, Roberto -- Prof. Roberto Bagnara

Re: Orphaned packages seeking new point of contact

2016-07-31 Thread Roberto Bagnara
hanks Till, but I don't use GNU Prolog since a long time. I think I have now updated the tracking system to reflect this. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagn...@cs.unipr.it