Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory vz-cvs-3.sog:/tmp/cvs-serv21948
Added Files:
prover9.info prover9.patch
Log Message:
Initial commit to 10.7 stable tree.
--- NEW FILE: prover9.patch ---
diff -Naur --exclude='*~' LADR-2009-11A/Makefile LADR-2009-11A.fink/Makefile
--- LADR-2009-11A/Makefile 2007-10-22 22:33:12.000000000 +0100
+++ LADR-2009-11A.fink/Makefile 2010-03-08 15:33:57.000000000 +0000
@@ -6,7 +6,7 @@
cd mace4.src && $(MAKE) all
cd provers.src && $(MAKE) all
cd apps.src && $(MAKE) all
- /bin/cp -p utilities/* bin
+ find utilities -type f -exec cp {} @PREFIX@/bin ";";
@echo ""
@echo "**** Now try 'make test1'. ****"
@echo ""
@@ -33,7 +33,7 @@
@echo ""
@echo "*** If you see 5 interpretations, the apps are probably okay.
***"
@echo ""
- @echo "*** All of the programs are in ./bin, and they can be copied
anywhere you like. ***"
+ @echo "*** All of the programs are in @PREXI@/bin, and they can be
copied anywhere you like. ***"
@echo ""
clean:
diff -Naur --exclude='*~' LADR-2009-11A/provers.src/ladr_to_tptp.c
LADR-2009-11A.fink/provers.src/ladr_to_tptp.c
--- LADR-2009-11A/provers.src/ladr_to_tptp.c 2009-06-29 18:51:25.000000000
+0100
+++ LADR-2009-11A.fink/provers.src/ladr_to_tptp.c 2010-03-08
15:20:34.000000000 +0000
@@ -40,7 +40,7 @@
/* This is similar to the way Prover9 initializes and reads its input. */
- input = std_prover_init_and_input(0, NULL,
+ input = std_prover_init_and_input(1, argv, // ignore command-line args
FALSE, // clausify formulas
FALSE, // echo input to stdout
IGNORE_UNKNOWN); // for unknown flags/parms
--- NEW FILE: prover9.info ---
Info2: <<
Package: prover9
Description: Prove theorems and build models
Version: 2009-11a
Type: w (2009-11A)
Revision: 3
License: OSI-Approved
BuildDepends: fink (>= 0.24.12)
Source: http://www.cs.unm.edu/~mccune/prover9/download/LADR-%type_raw[w].tar.gz
Source-MD5: ab409f31ecbb4410b1c7d75deadea2c6
SourceDirectory: LADR-%type_raw[w]
Source2:
http://www.cs.unm.edu/~mccune/prover9/manual/%n-manual-%type_raw[w].tar.gz
Source2-MD5: 23fbb9c6b3cbfbb2b893fb788e248a29
Source2ExtractDir: LADR-%type_raw[w]
PatchFile: %n.patch
PatchFile-MD5: 9118398fbe396580b4cc98303d8baa7b
PatchScript: sed 's|@PREFIX@|%i|g' < %{PatchFile} | patch -p1
CompileScript: <<
make all
make test1
make test2
make test3
<<
InstallScript: <<
mkdir -p %i/share/xml/xsl
install -m 644 utilities/proof3fo.xsl %i/share/xml/xsl
install -m 644 apps.src/interp3.xsl %i/share/xml/xsl
install -m 644 apps.src/proof3.xsl %i/share/xml/xsl
chmod 755 utilities/gvizify
mkdir -p %i/bin
install -m 755 bin/* %i/bin
install -m 755 utilities/attack %i/bin
install -m 755 utilities/get_givens %i/bin
install -m 755 utilities/get_interps %i/bin
install -m 755 utilities/get_kept %i/bin
install -m 755 utilities/looper %i/bin
install -m 755 utilities/prover9-mace4 %i/bin
# Documentation and examples
mkdir -p %i/share/doc/prover9
cp -R %n-manual-%type_raw[w]/* %i/share/doc/prover9
<<
DescDetail: <<
Prover9 is an automated theorem prover for first-order and equational
logic, and Mace4 searches for finite models and
counterexamples. Prover9 is the successor of the Otter prover.
<<
Homepage: http://www.cs.unm.edu/~mccune/prover9
Maintainer: Jesse Alama <jesse.al...@gmail.com>
<<
------------------------------------------------------------------------------
Get a FREE DOWNLOAD! and learn more about uberSVN rich system,
user administration capabilities and model configuration. Take
the hassle out of deploying and managing Subversion and the
tools developers use with it.
http://p.sf.net/sfu/wandisco-dev2dev
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
