Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci In directory vz-cvs-3.sog:/tmp/cvs-serv10223
Modified Files: eprover.info eprover.patch Log Message: Ensure correct version (1.3). Index: eprover.patch =================================================================== RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/eprover.patch,v retrieving revision 1.3 retrieving revision 1.4 diff -u -d -r1.3 -r1.4 --- eprover.patch 30 Jun 2011 11:08:49 -0000 1.3 +++ eprover.patch 13 Jul 2011 16:28:47 -0000 1.4 @@ -1,22 +1,22 @@ -diff -Naur --exclude='*~' E/Makefile E-fink/Makefile ---- E/Makefile 2010-07-20 13:13:34.000000000 +0200 -+++ E-fink/Makefile 2011-06-30 13:03:09.000000000 +0200 -@@ -132,12 +132,12 @@ - # Configure and copy executables to the installation directory +diff -Naur --exclude='*~' E/Makefile E.fink/Makefile +--- E/Makefile 2011-06-25 09:06:19.000000000 -0700 ++++ E.fink/Makefile 2011-07-13 09:23:34.000000000 -0700 +@@ -133,12 +133,12 @@ install: E -- -sh -c 'mkdir -p $(EXECPATH)' + -sh -c 'mkdir -p $(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 'mkdir -p $(DESTDIR)$(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 '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/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 '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)' Index: eprover.info =================================================================== RCS file: /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/eprover.info,v retrieving revision 1.5 retrieving revision 1.6 diff -u -d -r1.5 -r1.6 --- eprover.info 30 Jun 2011 11:08:49 -0000 1.5 +++ eprover.info 13 Jul 2011 16:28:47 -0000 1.6 @@ -2,7 +2,7 @@ Description: Powerful equational logic theorem prover Homepage: http://www.eprover.org Version: 1.3 -Revision: 1 +Revision: 2 Depends: gawk, help2man BuildDepends: fink (>= 0.24.12) Maintainer: Jesse Alama <jesse.al...@gmail.com> @@ -34,10 +34,10 @@ 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: acee33e200af096b65c94df16b992c87 +Source: http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_1.3/E.tgz +Source-MD5: f18fb8e54b34eee11e83250df324306b PatchFile: %n.patch -PatchFile-MD5: 9a87dbb5fee253bbcafe7e8d5f387375 +PatchFile-MD5: c78ef88089cb72fe82d29ee9bc157c2f DocFiles: COPYING README DOC/eprover.pdf DOC/ANNOUNCE DOC/CREDITS DOC/NEWS License: GPL InstallScript: << @@ -49,6 +49,7 @@ 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 ------------------------------------------------------------------------------ AppSumo Presents a FREE Video for the SourceForge Community by Eric Ries, the creator of the Lean Startup Methodology on "Lean Startup Secrets Revealed." This video shows you how to validate your ideas, optimize your ideas and identify your business strategy. http://p.sf.net/sfu/appsumosfdev2dev _______________________________________________ Fink-commits mailing list Fink-commits@lists.sourceforge.net http://news.gmane.org/gmane.os.apple.fink.cvs