RE: SPARK package for Debian
Eugeniy Meshcheryakov wrote:
> Hello Alexander,
>
> 9 березня 2011 о 16:48 +0100 Alexander Senier написав(-ла):
>> Hi Eugeniy,
>>
>> I made some patches against SPARK-GPL 2010 a while ago to build it
>> against SWI Prolog:
>>
>> http://senier.net/spark-gpl-2010-swi_patches.tgz
>>
>> They at least resulted in a working Simplifier. Maybe that helps...
>> Thanks a lot,
>
> I did most of thing in those patches already, and was looking how to
> fix a bug in zombiescope. Your patch
> 0010-Remove-additional-read_line_from_stream.patch was very helpfull.
> Now it seems to work.
Hello Eugeniy,
I am a member of the SPARK Team. I have sortof maintained Alex' patches
in a private effort and added some of my own; I will port them to the
latest GPL simplifier and post them here.
I am also happy to assist in any other way I can. I have just subscribed
to this mailing list so I may have missed some interesting messages on this
topic.
Thanks,
Florian
This email is confidential and intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient, be advised that you have received this email in error and that any use, disclosure, copying or distribution or any action taken or omitted to be taken in reliance on it is strictly prohibited. If you have received this email in error please contact the sender. Any views or opinions presented in this email are solely those of the author and do not necessarily represent those of Altran Praxis.
Although this email and any attachments are believed to be free of any virus or other defect, no responsibility is accepted by Altran Praxis or any of its associated companies for any loss or damage arising in any way from the receipt or use thereof. The IT Department at Altran Praxis can be contacted at it.support@altran-praxis.com.
Altran Praxis Ltd:
Company Number: 3302507, registered in England and Wales
Registered Address: 20 Manvers Street, Bath. BA1 1PX
VAT Registered in Great Britain: 682635707
Reply to: