Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv9721
Modified Files:
eprover.info eprover.patch
Log Message:
Upstream update: Badamtam (1.2).
Index: eprover.patch
===================================================================
RCS file: /cvsroot/fink/experimental/jessealama/finkinfo/eprover.patch,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- eprover.patch 3 Dec 2009 14:13:35 -0000 1.1
+++ eprover.patch 19 Sep 2010 12:59:31 -0000 1.2
@@ -1,18 +1,22 @@
diff -Naur --exclude='*~' E/Makefile E.fink/Makefile
---- E/Makefile 2009-08-06 05:27:01.000000000 +0100
-+++ E.fink/Makefile 2009-12-03 11:43:15.000000000 +0000
-@@ -142,10 +142,10 @@
+--- E/Makefile 2010-07-20 12:13:34.000000000 +0100
++++ E.fink/Makefile 2010-09-19 13:54:05.000000000 +0100
+@@ -132,12 +132,12 @@
+ # Configure and copy executables to the installation directory
install: E
- -sh -c 'mkdir -p $(EXECPATH)'
-- -sh -c 'cp PROVER/eprover $(EXECPATH)'
-- -sh -c 'cp PROVER/epclextract $(EXECPATH)'
-- -sh -c 'cp PROVER/eproof $(EXECPATH)'
-- -sh -c 'cp PROVER/eground $(EXECPATH)'
-+ -sh -c 'cp PROVER/eprover $(DESTDIR)$(EXECPATH)'
-+ -sh -c 'cp PROVER/epclextract $(DESTDIR)$(EXECPATH)'
-+ -sh -c 'cp PROVER/eproof $(DESTDIR)$(EXECPATH)'
-+ -sh -c 'cp PROVER/eground $(DESTDIR)$(EXECPATH)'
-
- # Also remake documentation
-
+- -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/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 '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.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- eprover.info 3 Dec 2009 14:13:35 -0000 1.1
+++ eprover.info 19 Sep 2010 12:59:31 -0000 1.2
@@ -1,7 +1,7 @@
Package: eprover
Description: Powerful equational logic theorem prover
Homepage: http://www.eprover.org
-Version: 1.1-001
+Version: 1.2
Revision: 1
Depends: gawk, help2man
BuildDepends: fink (>= 0.24.12)
@@ -35,9 +35,9 @@
system.
<<
Source:
http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_%v/E.tgz
-Source-MD5: 24a52a1d047a242d8cb0a159289b2ee3
+Source-MD5: 42d60fd3b798e05b4231294b05feb0cc
PatchFile: %n.patch
-PatchFile-MD5: 088c22d1bfb25830d8fb7ba9377254d2
+PatchFile-MD5: 75cfeccd6a0facf41486f8d17158e045
DocFiles: COPYING README DOC/eprover.pdf DOC/ANNOUNCE DOC/CREDITS DOC/NEWS
License: GPL
InstallScript: <<
------------------------------------------------------------------------------
Start uncovering the many advantages of virtual appliances
and start using them to simplify application deployment and
accelerate your shift to cloud computing.
http://p.sf.net/sfu/novell-sfdev2dev
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
