RE: SPARK package for Debian
'Eugeniy Meshcheryakov' wrote:
> 9 березня 2011 о 17:34 +0000 Florian Schanda написав(-ла):
>> 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.
> Good to have some SPARK developers here. I was going to to split and
> clean up my patches, but if you have some better ones, then I can do
> other tasks first.
I will try posting mine today or tomorrow. I need to check them first
as it has been a while since I last updated that branch.
>> I am also happy to assist in any other way I can.
> Is there any publically available testsuite for spark? Especially for
> parts written in Prolog?
No; the testsuite is not public. I can however check patches you or
I procude with it; but bear in mind that this does not equate to an
official blessing since this is a spare-time project of mine :)
>> I have just subscribed
>> to this mailing list so I may have missed some interesting messages
>> on this topic.
> As I wrote earlier in this thread, I put packaging in public
> repository. You can see patches here:
> http://git.debian.org/?p=users/eugen/spark.git;a=tree;f=debian/patches
I will have a look at that. I have tried creating a Debian package
before but my main challenge was making sense of the debian package
creation system...
> But most of the patches are needed only for Debian package. Also patch
> for checker is not complete. There are still problems with predicates
> that raise exceptions in SWI prolog (like seeing(user) if input is
> from file).
I would suggest completely omitting the checker from an initial release
as the most common usage pattern is Simplifier (+ Victor) + user rules.
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: