Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci In directory vz-cvs-3.sog:/tmp/cvs-serv7782
Added Files: eprover.info eprover.patch Log Message: Initial commit to the 10.7 tree. --- NEW FILE: eprover.patch --- diff -Naur --exclude='*~' E/Makefile E.fink/Makefile --- E/Makefile 2011-08-07 15:53:22.000000000 +0200 +++ E.fink/Makefile 2011-06-25 18:06:19.000000000 +0200 @@ -133,12 +133,12 @@ install: E -sh -c 'mkdir -p $(EXECPATH)' - -sh -c 'development_tools/e_install PROVER/eprover $(DESTDIR)$(EXECPATH) ' - -sh -c 'development_tools/e_install PROVER/epclextract $(DESTDIR)$(EXECPATH)' - -sh -c 'development_tools/e_install PROVER/eproof $(DESTDIR)$(EXECPATH)' - -sh -c 'development_tools/e_install PROVER/eground $(DESTDIR)$(EXECPATH)' - -sh -c 'development_tools/e_install PROVER/e_ltb_runner $(DESTDIR)$(EXECPATH)' - -sh -c 'development_tools/e_install PROVER/e_axfilter $(DESTDIR)$(EXECPATH)' + -sh -c 'development_tools/e_install PROVER/eprover $(EXECPATH) ' + -sh -c 'development_tools/e_install PROVER/epclextract $(EXECPATH)' + -sh -c 'development_tools/e_install PROVER/eproof $(EXECPATH)' + -sh -c 'development_tools/e_install PROVER/eground $(EXECPATH)' + -sh -c 'development_tools/e_install PROVER/e_ltb_runner $(EXECPATH)' + -sh -c 'development_tools/e_install PROVER/e_axfilter $(EXECPATH)' -sh -c 'mkdir -p $(MANPATH)' -sh -c 'development_tools/e_install DOC/man/eprover.1 $(MANPATH)' -sh -c 'development_tools/e_install DOC/man/epclextract.1 $(MANPATH)' diff -Naur --exclude='*~' E/Makefile.vars E.fink/Makefile.vars --- E/Makefile.vars 2011-06-27 20:49:01.000000000 +0200 +++ E.fink/Makefile.vars 2011-08-07 15:53:35.000000000 +0200 @@ -133,7 +133,7 @@ # -pedantic -I../include $(DEBUGFLAGS) \ # $(BUILDFLAGS) $(ARCHFLAGS) -CFLAGS = -O6 -fomit-frame-pointer -Wall -Wno-char-subscripts -std=gnu99 \ +CFLAGS = -fomit-frame-pointer -Wall -Wno-char-subscripts -std=gnu99 \ -I../include $(DEBUGFLAGS) \ $(BUILDFLAGS) $(ARCHFLAGS) --- NEW FILE: eprover.info --- Package: eprover Description: Powerful equational logic theorem prover Homepage: http://www.eprover.org Version: 1.3 Revision: 3 Depends: gawk, help2man BuildDepends: fink (>= 0.24.12) Maintainer: Jesse Alama <jesse.al...@gmail.com> DescDetail: << E is a purely equational theorem prover for full first-order logic. That means it is a program that you can stuff a mathematical specification (in first-order format) and a hypothesis into, and which will then run forever, using up all of your machines resources. Very occasionally it will find a proof for the hypothesis and tell you so... E's inference core is based on a modified version of the superposition calculus for equational clausal logic as described in [BG94]. For the case of pure unit equality (where both goals and axioms are simple equations, not disjunctions of literals or conditional rules), the calculus degenerates to unfailing completion [BDP89] extended to deal with arbitrarily quantified goals as implemented in DISCOUNT [DKS97]. Current versions offers a variety of literal selection functions and can e.g. emulate the unit-paramodulation strategy described in [Der91] for Horn clauses. E can now also handle full first-order logic. It uses a standard clausification algorithm to translate first order formula to clausal logic. Both clausification and reasoning on the clausal form can be documented in checkable proof objects. The prover was intended to become part of a METOP-based version of E-SETHEO [Mos96]. E-SETHEO now has evolved into a multi-paradigm strategy parallel proof system, but E is still a cornerstone of the system. << Source: http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_%v/E.tgz Source-MD5: f18fb8e54b34eee11e83250df324306b PatchFile: %n.patch PatchFile-MD5: 0b5f15ad3fe42a104c06c12beeed38c9 DocFiles: COPYING README DOC/eprover.pdf DOC/ANNOUNCE DOC/CREDITS DOC/NEWS License: GPL InstallScript: << mkdir -p %i/bin make install DESTDIR=%d MANPATH=%i/share/man # man mkdir -p %i/share/man/man1 install -m 644 \ DOC/man/eground.1 \ DOC/man/epclextract.1 \ DOC/man/e_axfilter.1 \ DOC/man/eproof.1 \ DOC/man/eprover.1 \ %i/share/man/man1 << ------------------------------------------------------------------------------ BlackBerry® DevCon Americas, Oct. 18-20, San Francisco, CA The must-attend event for mobile developers. Connect with experts. Get tools for creating Super Apps. See the latest technologies. Sessions, hands-on labs, demos & much more. Register early & save! http://p.sf.net/sfu/rim-blackberry-1 _______________________________________________ Fink-commits mailing list Fink-commits@lists.sourceforge.net http://news.gmane.org/gmane.os.apple.fink.cvs