Re: SofCheck merged with AdaCore

[Martin <martin@thedowies.com>]

On Jan 10, 2:38 pm, Georg Bauhaus <rm.dash-bauh...@futureapps.de>
wrote:
> Turning co-operation into a single operation, AdaCore and SofCheck,
> maker of AdaMagic, static analyis tools, and the ParaSail language
> merge to become AdaCore.
>
> http://www.adacore.com/2012/01/10/adacore-sofcheck-merge/
>
> If spreading some FUD is o.K., the merger might result in one compiler
> less to be had; to be had, in particular, for what small shops can
> name reasonable money, for less demanding support requirements, of course.
>
> OTOH, AdaMagic might continue to exist in its C++ or C generating
> form, since this is a very viable tool targeting platforms with
> existing compilers and runtimes for C++ or C.
>
> AdaMagic might even start to become available using a different
> licensing scheme.  Generating shrouded source, maybe?


Might result in 3 compilers less not 1, don't GHS and ObjectAda use
AdaMagic as their front-end?

I guess users will be offered a migration path from AdaMagic
technology to GNAT but for a lot of cash-strapped projects that would
be an option - even if they were offered GNAT for free, the cost of
porting to GNAT is > $0.

-- Martin