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
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
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
>>
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