Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Tue, Aug 26, 2014 at 09:12:34AM -0600, Jerry James wrote:
> On Tue, Aug 26, 2014 at 2:02 AM, Richard W.M. Jones <rjones@xxxxxxxxxx> wrote:
> > The script should build them in BuildRequires order automatically.
> > However in this case I have blocked frama-c and gappalib-coq because
> > they didn't build in the previous round, see:
> >
> > http://git.annexia.org/?p=goals.git;a=blob;f=fedora_ocaml_rebuild.ml;h=c708223078ddba42b6bd854e3d297f1b0f2ebe8b;hb=HEAD#l25
> >
> > The script also blocks any dependencies recursively.
> >
> > If they build now, I can unblock them and their dependencies and rerun
> > the script.
> 
> I've already rebuilt them, so no need to rerun the script.  And, yes,
> they built successfully this time around.
> 
> > I'm not very familiar with ocamlbuild.  In fact I didn't and still
> > don't agree with it on principle.  Guess we need to ask upstream to
> > fix this.
> 
> Just for clarification: "we == you" or "we == me"? :-)  Thanks,

Go for it if you have time.  If not then I'll ask in a few days.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
Fedora Windows cross-compiler. Compile Windows programs, test, and
build Windows installers. Over 100 libraries supported.
http://fedoraproject.org/wiki/MinGW
-- 
devel mailing list
devel@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/devel
Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct





[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]
  Powered by Linux