Re: BUILD FAILED in bootstrap on linux

Eric Bezault wrote:
> 
> 
> OK, you should remove again the content of $GOBO/bin, then
> follow the instructions in the section "ISE 5.6" of
> $GOBO/Release_notes.txt, and run the bootstrap again.
> 
> -- 

Eric Bezault also wrote:
>  > follow the instructions in the section "ISE 5.6" of
>  > $GOBO/Release_notes.txt
> 
> Just setting the environment variable ISE_5_6 should
> be enough. No need to run 'geant clobbler/install'
> for a version checked out from CVS, so don't worry
> if you don't have the binary for 'geant' compiled yet.
> 

Okay, Did that (Sorry, I earlier missed the note in Release_notes).  BUILD FAILED again (hour and a half later) with this text:


[Lots of the following warning/note pairs]
/usr/local/Eiffel/otherEiffel/gobo/bin/EIFGEN/F_code/C11/ds1001.x:146: warning: function called through a non-compatible type
/usr/local/Eiffel/otherEiffel/gobo/bin/EIFGEN/F_code/C11/ds1001.x:146: note: if this code is reached, the program will abort
/usr/local/Eiffel/otherEiffel/gobo/bin/EIFGEN/F_code/C11/ds1001.x:147: warning: function called through a non-compatible type
/usr/local/Eiffel/otherEiffel/gobo/bin/EIFGEN/F_code/C11/ds1001.x:147: note: if this code is reached, the program will abort

gcc: Internal error: Segmentation fault (program as)
Please submit a full bug report.
See <URL:http://bugzilla.redhat.com/bugzilla> for instructions.
make[1]: *** [big_file_C11_x.o] Error 1
make[1]: Leaving directory `/usr/local/Eiffel/otherEiffel/gobo/bin/EIFGEN/F_code/C11'
make: *** [C11/Cobj11.o] Error 2

BUILD FAILED!

BUILD FAILED!
Y


To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: [email protected] 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/gobo-eiffel/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/gobo-eiffel/join
    (Yahoo! ID required)

<*> To change settings via email:
    mailto:[email protected] 
    mailto:[email protected]

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/