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
BUGS
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
package). The reason I would like to do
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
Applied Formal Methods Laboratory
Department
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 Laboratory