[med-svn] r14385 - in trunk/packages/logol/trunk/debian: . patches

[olivier sallou]

Author: osallou-guest
Date: 2013-08-08 08:31:10 +0000 (Thu, 08 Aug 2013)
New Revision: 14385

Added:
   trunk/packages/logol/trunk/debian/patches/harden_swipl_declarations
Modified:
   trunk/packages/logol/trunk/debian/changelog
   trunk/packages/logol/trunk/debian/patches/series
Log:
Fix new swipl FTBS

Modified: trunk/packages/logol/trunk/debian/changelog
===================================================================
--- trunk/packages/logol/trunk/debian/changelog	2013-08-08 07:05:01 UTC (rev 14384)
+++ trunk/packages/logol/trunk/debian/changelog	2013-08-08 08:31:10 UTC (rev 14385)
@@ -1,3 +1,9 @@
+logol (1.6.2-3) UNRELEASED; urgency=low
+
+  * Fix swi-prolog compilation (Closes: #719030).
+
+ -- Olivier Sallou <osallou at debian.org>  Thu, 08 Aug 2013 10:30:12 +0200
+
 logol (1.6.2-2) unstable; urgency=low
 
   [ Olivier Sallou ]

Added: trunk/packages/logol/trunk/debian/patches/harden_swipl_declarations
===================================================================
--- trunk/packages/logol/trunk/debian/patches/harden_swipl_declarations	                        (rev 0)
+++ trunk/packages/logol/trunk/debian/patches/harden_swipl_declarations	2013-08-08 08:31:10 UTC (rev 14385)
@@ -0,0 +1,16 @@
+Author: Olivier Sallou <osallou at debian.org>
+Subject: swi-prolog raise error instead of warnings for undefined modules
+Description: swi-prolog raise an error for exported procedure not matching
+ declared procedure. 
+ It also raises error on modules declared for sicstus prolog. Patch need to 
+ remove them (not needed for swi-prolog)
+Forwarded: yes
+Bug: https://gforge.inria.fr/tracker/index.php?func=detail&aid=16249&group_id=1318&atid=5219
+--- a/prolog/logol.pl
++++ b/prolog/logol.pl
+@@ -1,4 +1,4 @@
+-:- module(logol,[writeFinalMatches/0,isMin/5,replaceMatch/4,appendMatch/3,getCounter/1,config/1,optimalmatch/5,matchstore/2,isMax/3,parseResults/2,checkAlphabetPercentage/3,mapListExact/2,mapListGlobal/2,mapListLocal/2,mapListLocal0/2,matchExist/2,mapModels/3,externalinterfacewithspacer/2,externalinterface/2,notpred_pos/6,between/3,notexact_pos/6,notexact/3,matchExist/1,mapModels/2,mapList/2,mydb/1,matchlist/2,isexactwithgaponly/5,isexactwithgaponly_pos/5,setParent/2,getParent/2,logData/2,logolMain/5,cut_sequence/3,isequal/2,isexact_pos/4,isexactwithgapanderror_pos/5,isexactwitherroronly_pos/5,spacer_withresult_pos/5,wordSize_pos/4,getPosition_pos/3,wordContent_pos/4,checkPosition_pos/4,anySpacer_pos/7,repeatPredicate_pos/14,testOverlap_pos/5,getsuffixmatch_pos/12,getWordContent/4,openSequenceStream/1,closeSequenceStream/0,getCharsFromPosition/3,getNChar/3,resetParamList/3,getKnownVariables/2,getPosition/3,myCost/4,getDistance/3,initResultFile/1,closeResultFile/1,getParentVariable/2,is4me/5,outputfile/1,writeallresult/2,maxsize/1,getresult/2,offset/1,setSequence/2,computeCost/2,getsuffixmatch/12,writeSequence/2,sequenceData/3,suffixmatch/9,repeatPredicate/14,anySpacer/5,anySpacer/7,any/2,isoverlap/5,morphism/3,spacer_withresult/5,isexact/3,isexact/4,isexact/5,isexactwithgapanderror/4,isexactwithgapanderror/5,isexactwitherroronly/4,isexactwitherroronly/5,matrix/3, iscompequal/2,getcomplement/2,getreversecomplement/2,applymorphism/4, checkCost/4,cost/4,parentalCost/4,varDefinition/5,saveVariable/7,saveVariableByRef/7,saveVariable/8,getVariable/9,removeVariable/1,wordSize/3,wordSize/4,percent/3,percent2int/3,checkCost/4,checkCost/5,checkPosition/3,checkPosition/5,checkRelativePosition/4,getContent/3,getContent/4,pushResult/2],[assertions,basicmodes,functions,regtypes,hiord]).
++:- module(logol,[writeFinalMatches/0,isMin/5,replaceMatch/4,appendMatch/3,getCounter/1,config/1,optimalmatch/5,matchstore/2,isMax/3,parseResults/2,checkAlphabetPercentage/3,mapListExact/2,mapListGlobal/2,mapListLocal/2,mapListLocal0/2,matchExist/2,mapModels/3,externalinterfacewithspacer/2,externalinterface/2,notpred_pos/6,between/3,notexact_pos/6,notexact/3,matchExist/1,mapModels/2,mapList/2,mydb/1,matchlist/2,isexactwithgaponly/5,isexactwithgaponly_pos/5,setParent/2,getParent/2,logData/2,logolMain/5,cut_sequence/3,isequal/2,isexact_pos/4,isexactwithgapanderror_pos/5,isexactwitherroronly_pos/5,spacer_withresult_pos/5,wordSize_pos/4,getPosition_pos/2,wordContent_pos/4,checkPosition_pos/4,anySpacer_pos/7,repeatPredicate_pos/14,testOverlap_pos/5,getsuffixmatch_pos/12,getWordContent/4,openSequenceStream/2,closeSequenceStream/0,getCharsFromPosition/3,getNChar/3,resetParamList/3,getKnownVariables/2,getPosition/3,myCost/4,getDistance/3,initResultFile/1,closeResultFile/1,getParentVariable/2,is4me/5,outputfile/1,writeallresult/2,maxsize/1,getresult/2,offset/1,setSequence/2,computeCost/2,getsuffixmatch/12,writeSequence/2,sequenceData/3,suffixmatch/9,repeatPredicate/14,anySpacer/5,anySpacer/7,any/2,isoverlap/5,morphism/3,spacer_withresult/5,isexact/3,isexact/4,isexact/5,isexactwithgapanderror/4,isexactwithgapanderror/5,isexactwitherroronly/4,isexactwitherroronly/5,matrix/3, iscompequal/2,getcomplement/2,getreversecomplement/2,applymorphism/4, checkCost/4,cost/4,parentalCost/4,varDefinition/5,saveVariable/8,saveVariable/9,getVariable/9,removeVariable/1,wordSize/3,wordSize/4,percent/3,percent2int/3,checkCost/4,checkCost/5,checkPosition/3,checkPosition/5,checkRelativePosition/4,getContent/3,getContent/4,pushResult/2],[]).
+ 
+ 
+ /** <module> Logol Prolog API

Modified: trunk/packages/logol/trunk/debian/patches/series
===================================================================
--- trunk/packages/logol/trunk/debian/patches/series	2013-08-08 07:05:01 UTC (rev 14384)
+++ trunk/packages/logol/trunk/debian/patches/series	2013-08-08 08:31:10 UTC (rev 14385)
@@ -2,3 +2,4 @@
 fixDrmmato6.2
 setDebianDirs
 fix_doc_generation
+harden_swipl_declarations