Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory vz-cvs-3.sog:/tmp/cvs-serv10099
Modified Files:
eprover.info eprover.patch
Log Message:
Ensure correct version (1.3).
Index: eprover.patch
===================================================================
RCS file: /cvsroot/fink/experimental/jessealama/finkinfo/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:01 -0000 1.3
+++ eprover.patch 13 Jul 2011 16:27:59 -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/experimental/jessealama/finkinfo/eprover.info,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -d -r1.4 -r1.5
--- eprover.info 30 Jun 2011 11:08:01 -0000 1.4
+++ eprover.info 13 Jul 2011 16:27:58 -0000 1.5
@@ -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
