[gobo-eiffel-develop] bootstrap with se 1.2r7

[Berend de B. <be...@po...>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Eric,

Decided to bootstrap the latest Gobo with se, but that didn't
work. What version of se is actually still supported? I'm happy to
move to ge, but I don't have the experience of reliability I had with
se, so it would be nice of se somehow still kept working.

****** Error: Current type is STRING. There is no feature append_integer
in class STRING. 
Line 338 column 12 in GEANT_GEC_COMMAND (/home/berend/src/gobo/src/geant/command/geant_gec_command.e) :
                                Result.append_integer (split_size)
                                       ^
- ------
****** Fatal Error: Feature "append_integer" not found.
Line 338 column 12 in GEANT_GEC_COMMAND (/home/berend/src/gobo/src/geant/command/geant_gec_command.e) :
                                Result.append_integer (split_size)
                                       ^
- ------
File "geant.make" not found. Error(s) during `compile_to_c'.


- -- 
Live long and prosper,

Berend de Boer


PS: This email has been digitally signed if you wonder what the strange
characters are that your email client displays.
PGP public key: http://www.pobox.com/~berend/berend-public-key.txt
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)
Comment: Processed by Mailcrypt 3.5.8 <http://mailcrypt.sourceforge.net/>

iD8DBQFG4HpRIyuuaiRyjTYRAvOkAJ0VbA6wW2hz2k2zcKj1cguJ/vCjhgCgg4Il
ZG2YQZWZFjhTBTgXAd/68h0=
=x60p
-----END PGP SIGNATURE-----