Stefano Zacchiroli wrote: > On Mon, May 19, 2008 at 08:06:53PM +0200, Luk Claes wrote: >>> http://experimental.debian.net/build.php?pkg=ocaml&arch=arm&ver=3.10.2-1, >>> the main difference on the two builds are gcc-4.2 vs gcc-4.3. >> Note that recently netwinder and non-netwinder arm machines did also >> differ enough to FTBFS or not... > > Hi look, > unfortunately the Cc to you was dropped quite early, but we have a bit > more info now. See the thread at [1]. > > Executive summary: we (Julien) tried to build on arm using gcc 4.2 (on > agnesi.d.o IIRC) and it worked properly. So, our proposal is to choose > among: > > 1) go ahead with the current ocaml and manually do a binary upload of it > on arm using gcc 4.2 (pro: no source package upload needed, cons: non > naively buildable from source ocaml package on arm; the only > justification for that would be that arm support is transitional, > it's successor is armel, on which the build was fine) > > 2) do another sourceful upload of ocaml with arch-specific build dep on > gcc 4.2 for arm, and some debian/rules magic to enforce building > against gcc 4.2 on arm only > > What do you prefer/suggest?
I prefer a fixed gcc 4.3 to solution 2 and I would certainly not be happy with option 1... I guess going for solution 2 is the best option to proceed now. Cheers Luk -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

