Re: [gobo-eiffel-develop] Gelint output

[Eric B. <er...@go...>]

Colin Paul Adams wrote:
> Now that I have an integration ace file again, I ran gelint on it with
> the command line:
> 
> gelint --ise=5.7 --flat --cat ise.ace >gelint.out 2>&1

--cat does not make sense with an integration ace file.
It is to be used with application ace files.

I use the integration Ace file that I gave you only with
EiffelStudio. The --cat option is exercised when running
'geant test_debug_ge' in $GOBO/test/example and
$GOBO/test/src because 'gec' uses it. --flat is exercised
on the libraries when running 'geant test_debug_ge'
in $GOBO/test/precomp.

> This message at the top of the output was:
> 
> [GVKFE-2] class TYPED_POINTER: feature `to_pointer' in kernel class TYPED_POINTER is not an attribute.

It's because gelint/gec expects to get the version from
FreeELKS I guess, and ISE 5.7 still uses its own version.
I'll look at it.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com