From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,fe994c21fbcf8fd5,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!eternal-september.org!.POSTED!not-for-mail
From: Alexander Senier <mail@senier.net>
Newsgroups: comp.lang.ada
Subject: Building SPARK GPL with an open toolchain
Date: Thu, 29 Jul 2010 00:43:28 +0200
Organization: A noiseless patient Spider
Message-ID: <20100729004328.7f9064f5@t60>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 28 Jul 2010 22:43:29 +0000 (UTC)
Injection-Info: mx03.eternal-september.org;
 posting-host="hgseNTinQUJ5sqy98WiAlQ";
	logging-data="11120"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18dbU9pL2fLOV0W2CbsOAAH"
X-Newsreader: Claws Mail 3.7.4 (GTK+ 2.20.0; x86_64-pc-linux-gnu)
Cancel-Lock: sha1:aSC4nTIt2rOGXJGOdB91v0J0LvE=
Xref: g2news1.google.com comp.lang.ada:12649
Date: 2010-07-29T00:43:28+02:00
List-Id: <comp.lang.ada>

Hi,

SPARK GPL 2010 is out (check out http://libre.adacore.com) as binaries
and source. While the SPARK and Ada tools can be build with gcc, the
parts implemented in Prolog (namely the Simplifier and the Checker)
require a commercial license of SICStus Prolog.

I put together an experimental set of patches to build SPARK GPL 2010
using SWI Prolog. Preliminary tests indicate that the Simplifier built
with SWI actually does the right thing. The patches can be downloaded
here:

http://senier.net/spark-gpl-2010-swi_patches.tgz

Instructions how to build and test SPARK and known limitations are
contained within the README file.

Caveat: This port is in a very early stage -- use it at your own risk!
Comments, suggestions and contributions are very welcome. Please do not
use it to verify your airplane firmware (or any other critical piece of
software) ;-)

Regards
Alex