Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv11492
Added Files:
tptp.info tptp.patch
Log Message:
TPTP version 6.0.0.
--- NEW FILE: tptp.patch ---
diff -Naur --ignore-trailing-space '--exclude=*~' TPTP-v6.0.0/Scripts/tptp2T
TPTP-v6.0.0.fink/Scripts/tptp2T
--- TPTP-v6.0.0/Scripts/tptp2T 2013-08-12 16:57:36.000000000 +0200
+++ TPTP-v6.0.0.fink/Scripts/tptp2T 2013-09-22 09:54:21.000000000 +0200
@@ -8,7 +8,7 @@
use strict "vars";
#------------------------------------------------------------------------------
#----Defines default TPTP home directory
-my $TPTPDirectory = '/home/tptp/TPTP';
+my $TPTPDirectory = '@PREFIX@/share/tptp';
#----Replaces default with user defined
if (exists($ENV{TPTP})) {
diff -Naur --ignore-trailing-space '--exclude=*~' TPTP-v6.0.0/TPTP2X/tptp2X
TPTP-v6.0.0.fink/TPTP2X/tptp2X
--- TPTP-v6.0.0/TPTP2X/tptp2X 2013-07-09 16:50:39.000000000 +0200
+++ TPTP-v6.0.0.fink/TPTP2X/tptp2X 2013-09-22 10:05:52.000000000 +0200
@@ -2,9 +2,9 @@
#--------------------------------------------------------------------------
#----These need to be installed
set TPTPDirectory=/home/tptp/TPTP
-set PrologInterpreter='/opt/bin/eclipse'
+set PrologInterpreter='@PREFIX@/bin/swipl'
set PrologArguments='-l 1024000 -g 1024000'
-set Gawk=/bin/awk
+set Gawk=@PREFIX@/bin/awk
#--------------------------------------------------------------------------
#----Set default values for tptp2X parameters
set FilesToConvert="$TPTPDirectory/Problems/*/*.p"
diff -Naur --ignore-trailing-space '--exclude=*~'
TPTP-v6.0.0/TPTP2X/tptp2X.config TPTP-v6.0.0.fink/TPTP2X/tptp2X.config
--- TPTP-v6.0.0/TPTP2X/tptp2X.config 2013-05-07 19:22:59.000000000 +0200
+++ TPTP-v6.0.0.fink/TPTP2X/tptp2X.config 2013-09-22 09:57:15.000000000
+0200
@@ -74,5 +74,5 @@
%------------------------------------------------------------------------------
%----This specifies the parent directory of the TPTP Problems, Axioms and
%----TPTP2X directories. Do not use a ~ in this.
-tptp_directory('/home/tptp/TPTP').
+tptp_directory('@PREFIX@/share/tptp').
%------------------------------------------------------------------------------
--- NEW FILE: tptp.info ---
Package: tptp
Description: Thousands of Problems for Theorem Provers
Homepage: http://www.tptp.org
Version: 6.0.0
Revision: 1
License: Commercial
Source: http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v%v.tgz
Source-MD5: dffabadd1b543a57f04e7cc3aa55d0b9
PatchFile: %n.patch
PatchFile-MD5: ce966d47ea0f35e274bc1d0061284730
PatchScript: sed 's|@PREFIX@|%p|g' < %{PatchFile} | patch -p1
DescDetail: <<
The TPTP (Thousands of Problems for Theorem Provers) Problem Library
is a library of test problems for automated theorem proving (ATP)
systems. The TPTP supplies the ATP community with:
* A comprehensive library of the ATP test problems that are available
today, in order to provide an overview and a simple, unambiguous
reference mechanism.
* A comprehensive list of references and other interesting information
for each problem.
* New generalized variants of problems whose original presentation is
hand-tailored towards a particular automated proof.
* Arbitrary size instances of generic problems (e.g., the N-queens
problem).
* A utility to convert the problems to existing ATP formats. Currently
the Bliksem, CARINE, Dedam, DFG, DIMACS, FINDER, KIF, Otter, PROTEIN,
Prover9, PTTP, Satchmo, SCOTT, SEM, SETHEO, THINKER, Waldmeister
formats are supported, and other formats can be easily produced.
* General guidelines outlining the requirements for ATP system
evaluation.
The principal motivation for the TPTP is to support the testing and
evaluation of ATP systems, to help ensure that performance results
accurately reflect the capabilities of the ATP system being
considered. A common library of problems is necessary for meaningful
system evaluations, meaningful system comparisons, repeatability of
testing, and the production of statistically significant results. The
TPTP is such a library.
<<
Maintainer: Jesse Alama <jesse.al...@gmail.com>
CompileScript: <<
<<
InstallScript: <<
# TPTP2X
mkdir -p %i/lib/tptp
find TPTP2X -type f -name 'format.*' -exec install -m 644 {} %i/lib/tptp
';'
find TPTP2X -type f -name 'tptp2X.*' -exec install -m 644 {} %i/lib/tptp
';'
find TPTP2X -type f -name 'transform.*' -exec install -m 644 {} %i/lib/tptp
';'
mkdir -p %i/bin
install -m 755 TPTP2X/tptp2X %i/bin
# scripts and generators
mkdir -p %i/bin
install -m 755 Scripts/tptp2T %i/bin
mkdir -p %i/lib/tptp
find Generators -type f -exec install -m 644 {} %i/lib/tptp ';'
# axioms and problems
mkdir -p %i/share/tptp
cp -R Axioms %i/share/tptp
cp -R Problems %i/share/tptp
# documentation
mkdir -p %i/share/doc/tptp
cp -R Documents/* %i/share/doc/tptp
<<
RuntimeVars: <<
TPTP: %p/share/tptp
<<
Depends: tptp2x, tptp-axioms, tptp-problems
Recommends: tptp2x
SplitOff: <<
Package: tptp2x
Description: Transform TPTP files into other formats
Recommends: tptp
Depends: swi-prolog, gawk
Files: <<
bin/tptp2x
lib/tptp/format.bliksem
lib/tptp/format.carine
lib/tptp/format.clif
lib/tptp/format.clin-s
lib/tptp/format.code
lib/tptp/format.dedam
lib/tptp/format.dfg
lib/tptp/format.dimacs
lib/tptp/format.eqp
lib/tptp/format.finder
lib/tptp/format.ftprolog
lib/tptp/format.geo
lib/tptp/format.hol
lib/tptp/format.ilf
lib/tptp/format.isabelle
lib/tptp/format.kif
lib/tptp/format.leancop
lib/tptp/format.leantap
lib/tptp/format.lf
lib/tptp/format.lf.florian
lib/tptp/format.metitarski
lib/tptp/format.mgtp
lib/tptp/format.oldtptp
lib/tptp/format.omdoc
lib/tptp/format.oscar
lib/tptp/format.otter
lib/tptp/format.prefix
lib/tptp/format.protein
lib/tptp/format.prover9
lib/tptp/format.pttp
lib/tptp/format.satchmo
lib/tptp/format.scott
lib/tptp/format.sem
lib/tptp/format.setheo
lib/tptp/format.sex
lib/tptp/format.smt
lib/tptp/format.smt1
lib/tptp/format.sprfn
lib/tptp/format.tap
lib/tptp/format.thinker
lib/tptp/format.tps
lib/tptp/format.tptp
lib/tptp/format.waldmeister
<<
DocFiles: TPTP2X/ReadMe
<<
SplitOff2: <<
Package: tptp-generators
Description: Generate theorem proving problems
Recommends: swi-prolog
Files: <<
lib/tptp/GRP123-1.g
lib/tptp/GRP123-2.g
lib/tptp/GRP123-3.g
lib/tptp/GRP123-4.g
lib/tptp/GRP123-6.g
lib/tptp/GRP123-7.g
lib/tptp/GRP123-8.g
lib/tptp/GRP123-9.g
lib/tptp/GRP124-1.g
lib/tptp/GRP124-2.g
lib/tptp/GRP124-3.g
lib/tptp/GRP124-4.g
lib/tptp/GRP124-6.g
lib/tptp/GRP124-7.g
lib/tptp/GRP124-8.g
lib/tptp/GRP124-9.g
lib/tptp/GRP125-1.g
lib/tptp/GRP125-2.g
lib/tptp/GRP125-3.g
lib/tptp/GRP125-4.g
lib/tptp/GRP126-1.g
lib/tptp/GRP126-2.g
lib/tptp/GRP126-3.g
lib/tptp/GRP126-4.g
lib/tptp/GRP127-1.g
lib/tptp/GRP127-2.g
lib/tptp/GRP127-3.g
lib/tptp/GRP127-4.g
lib/tptp/GRP128-1.g
lib/tptp/GRP128-2.g
lib/tptp/GRP128-3.g
lib/tptp/GRP128-4.g
lib/tptp/GRP129-1.g
lib/tptp/GRP129-2.g
lib/tptp/GRP129-3.g
lib/tptp/GRP129-4.g
lib/tptp/GRP130-1.g
lib/tptp/GRP130-2.g
lib/tptp/GRP130-3.g
lib/tptp/GRP130-4.g
lib/tptp/GRP131-1.g
lib/tptp/GRP131-2.g
lib/tptp/GRP132-1.g
lib/tptp/GRP132-2.g
lib/tptp/GRP133-1.g
lib/tptp/GRP133-2.g
lib/tptp/GRP134-1.g
lib/tptp/GRP134-2.g
lib/tptp/GRP135-1.g
lib/tptp/GRP135-2.g
lib/tptp/MSC007-1.g
lib/tptp/MSC007-2.g
lib/tptp/MSC008-1.g
lib/tptp/NUM283-1.g
lib/tptp/NUM284-1.g
lib/tptp/PUZ015-2.g
lib/tptp/PUZ016-2.g
lib/tptp/PUZ034-1.g
lib/tptp/PUZ036-1.g
lib/tptp/SYN001-1.g
lib/tptp/SYN002-1.g
lib/tptp/SYN003-1.g
lib/tptp/SYN004-1.g
lib/tptp/SYN005-1.g
lib/tptp/SYN007+1.g
lib/tptp/SYN010-1.g
lib/tptp/SYN085-1.g
lib/tptp/SYN086-1.g
lib/tptp/SYN087-1.g
lib/tptp/SYN088-1.g
lib/tptp/SYN089-1.g
lib/tptp/SYN090-1.g
lib/tptp/SYN091-1.g
lib/tptp/SYN092-1.g
lib/tptp/SYN093-1.g
lib/tptp/SYN094-1.g
lib/tptp/SYN095-1.g
lib/tptp/SYN096-1.g
lib/tptp/SYN097-1.g
lib/tptp/SYN098-1.g
lib/tptp/SYN099-1.g
lib/tptp/SYN100-1.g
lib/tptp/SYN101-1.g
lib/tptp/SYN102-1.g
lib/tptp/SYN302-1.g
lib/tptp/SYN313-1.g
lib/tptp/SYN314-1.g
<<
<<
SplitOff3: <<
Package: tptp-axioms
Description: Axioms for the TPTP Problem Library
Files: share/tptp/Axioms/
Suggests: tptp-problems
<<
SplitOff4: <<
Package: tptp-problems
Description: The TPTP Problem Library
Depends: tptp-axioms
Files: share/tptp/Problems/
<<
------------------------------------------------------------------------------
LIMITED TIME SALE - Full Year of Microsoft Training For Just $49.99!
1,500+ hours of tutorials including VisualStudio 2012, Windows 8, SharePoint
2013, SQL 2012, MVC 4, more. BEST VALUE: New Multi-Library Power Pack includes
Mobile, Cloud, Java, and UX Design. Lowest price ever! Ends 9/22/13.
http://pubads.g.doubleclick.net/gampad/clk?id=64545871&iu=/4140/ostg.clktrk
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
