rpms/E/F-9 E.spec,1.1,1.2
David A. Wheeler
dwheeler at fedoraproject.org
Tue Dec 23 00:12:34 UTC 2008
- Previous message (by thread): rpms/hdf5/F-9 hdf5.spec,1.24,1.25
- Next message (by thread): rpms/util-linux-ng/devel util-linux-ng-2.14-ipcs-32bit.patch, NONE, 1.1 .cvsignore, 1.13, 1.14 sources, 1.13, 1.14 util-linux-ng-2.13-fdisk-b-4096.patch, 1.2, 1.3 util-linux-ng-2.13-login-lastlog.patch, 1.1, 1.2 util-linux-ng-2.13-login-pamstart.patch, 1.2, 1.3 util-linux-ng-2.14-mount-managed.patch, 1.1, 1.2 util-linux-ng.spec, 1.35, 1.36 util-linux-ng-2.13-ipcs-32bit.patch, 1.1, NONE util-linux-ng-2.14-fdisk-cylinder.patch, 1.1, NONE util-linux-ng-2.14-mount-file_t.patch, 1.4, NONE util-linux-ng-2.14-mount-man-tmpfs.patch, 1.1, NONE
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Author: dwheeler
Update of /cvs/pkgs/rpms/E/F-9
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv5115
Modified Files:
E.spec
Log Message:
Updated to E version 1.0, fixed python use.
Index: E.spec
===================================================================
RCS file: /cvs/pkgs/rpms/E/F-9/E.spec,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- E.spec 27 Aug 2008 00:06:59 -0000 1.1
+++ E.spec 23 Dec 2008 00:12:04 -0000 1.2
@@ -1,12 +1,13 @@
Name: E
-Version: 0.999.006
-Release: 2%{?dist}
+Version: 1.0.002
+Release: 3%{?dist}
Summary: Equational Theorem Prover
Group: Applications/Engineering
License: GPLv2
URL: http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
-Source0: http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_0.999-006/E.tgz
+Source0: http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_1.0-002/E.tgz
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
+
# BuildRequires refers to files, not packages, because the package name differs
# between releases. This is okay by Fedora's Packaging/Guidelines, which only
# say "Whenever possible you should avoid file dependencies outside of
@@ -15,7 +16,11 @@
BuildRequires: /usr/bin/dvips
BuildRequires: /usr/bin/pdflatex
BuildRequires: /usr/bin/bibtex
+# Building actually checks for specific versions of python; building may
+# need to be updated for new versions of python 2:
+BuildRequires: python
# You can verify the CASC results here: http://www.cs.miami.edu/~tptp/CASC/J4/
+
%description
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
@@ -37,7 +42,7 @@
%build
sed -i -e 's/^EXECPATH = .*/EXECPATH = \/usr\/bin/' Makefile.vars
sed -i -e 's/^CFLAGS.*=.*-O6/CFLAGS = %{optflags} /' Makefile.vars
-# smp_mflags causes unwelcome races
+# smp_mflags causes unwelcome races, so we will not use it
make tools
make rebuild
make documentation
@@ -90,10 +95,24 @@
%changelog
+* Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-3
+- Work around local tags
+
+* Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-2
+- Repaired for python2 variations (different releases have different versions
+ of python2)
+
+* Mon Dec 22 2008 David A. Wheeler <dwheeler at, dwheeler.com> 1.0.002-1
+- Added python2.5 as BuildRequires
+- Update to E version 1.0 ("Temi"). This includes...
+- Improved eproof script signal handling.
+- Fixed a number of warnings with the latest gcc version.
+- Updated proof objects to latest SZS ontology.
+
* Tue Aug 16 2008 David A. Wheeler <dwheeler at, dwheeler.com> 0.999.006-2
- Change executable permissions from 0775 to 0755
- Use compilation switches (e.g., -O2 instead of pointless -O6, and use -g)
-
+
* Tue Aug 16 2008 David A. Wheeler <dwheeler at, dwheeler.com> 0.999.006-1
- Initial package
- Previous message (by thread): rpms/hdf5/F-9 hdf5.spec,1.24,1.25
- Next message (by thread): rpms/util-linux-ng/devel util-linux-ng-2.14-ipcs-32bit.patch, NONE, 1.1 .cvsignore, 1.13, 1.14 sources, 1.13, 1.14 util-linux-ng-2.13-fdisk-b-4096.patch, 1.2, 1.3 util-linux-ng-2.13-login-lastlog.patch, 1.1, 1.2 util-linux-ng-2.13-login-pamstart.patch, 1.2, 1.3 util-linux-ng-2.14-mount-managed.patch, 1.1, 1.2 util-linux-ng.spec, 1.35, 1.36 util-linux-ng-2.13-ipcs-32bit.patch, 1.1, NONE util-linux-ng-2.14-fdisk-cylinder.patch, 1.1, NONE util-linux-ng-2.14-mount-file_t.patch, 1.4, NONE util-linux-ng-2.14-mount-man-tmpfs.patch, 1.1, NONE
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the fedora-extras-commits
mailing list