[rpms/E] rawhide: Version 3.3.5

[rpms/E] rawhide: Version 3.3.5

[Jerry James]

            A new commit has been pushed.

            Repo   : rpms/E
            Branch : rawhide
            Commit : ec66ab6222b8ff7a92f42230362ea1b2cd8af8d3
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-06-16T08:36:28-06:00
            Stats  : +14/-8 in 2 file(s)
            URL    : https://src.fedoraproject.org/rpms/E/c/ec66ab6222b8ff7a92f42230362ea1b2cd8af8d3?branch=rawhide

            Log:
            Version 3.3.5

- Reduce the number of installed texlive packages
- Run pdflatex in nonstop mode
- Build with -DNDEBUG

---
diff --git a/E.spec b/E.spec
index ae5fa8f..263a1f9 100644
--- a/E.spec
+++ b/E.spec
@@ -1,7 +1,7 @@
 %global giturl  https://github.com/eprover/eprover
 
 Name:		E
-Version:	3.2.5
+Version:	3.3.5
 Release:	%autorelease
 Summary:	Equational Theorem Prover
 
@@ -26,8 +26,16 @@ BuildRequires:	gcc
 BuildRequires:	help2man
 BuildRequires:	make
 BuildRequires:	picosat-devel
-BuildRequires:	tex(latex)
+BuildRequires:	tex(afterpage.sty)
+BuildRequires:	tex(amsmath.sty)
+BuildRequires:	tex(amssymb.sty)
+BuildRequires:	tex(graphicx.sty)
+BuildRequires:	tex(makeidx.sty)
 BuildRequires:	tex(supertabular.sty)
+BuildRequires:	tex(theorem.sty)
+BuildRequires:	tex(url.sty)
+BuildRequires:	texlive-ec
+BuildRequires:	texlive-latex
 # You can verify the CASC results here: http://www.cs.miami.edu/~tptp/CASC/J4/
 
 %description
@@ -68,29 +76,27 @@ rm -fr CONTRIB
 # Set up Fedora CFLAGS and paths
 sed -e "s|^EXECPATH = .*|EXECPATH = %{buildroot}%{_bindir}|" \
     -e "s|^MANPATH = .*|MANPATH = %{buildroot}%{_mandir}/man1|" \
-    -e "s|^CFLAGS.*|CFLAGS     = %{build_cflags} \$(BUILDFLAGS) -I../include|" \
+    -e "s|^CFLAGS.*|CFLAGS     = %{build_cflags} \$(BUILDFLAGS) -I../include -DNDEBUG|" \
     -e "s|^LDFLAGS.*|LDFLAGS    = %{build_ldflags}|" \
     -i Makefile.vars
 
 # smp_mflags causes unwelcome races, so we will not use it
 make remake
-ln -s eprover-ho PROVER/eprover
 make man
 
 # We need one more pdflatex invocation to fix up cross references
 cd DOC
 bibtex eprover || :
-pdflatex eprover
+pdflatex -interaction=nonstopmode eprover
 cd -
 
 %install
 %make_install
-mv %{buildroot}%{_bindir}/eprover-ho %{buildroot}%{_bindir}/eprover
 
 %check
 ./PROVER/eprover -s --tstp-in EXAMPLE_PROBLEMS/TPTP/SYN190-1.p \
   | sed '/Freeing FVIndex/d' | tail -1 > test-results
-echo "# SZS status Unsatisfiable" > test-expected-results
+echo "% SZS status Unsatisfiable" > test-expected-results
 diff -u test-results test-expected-results
 
 %files

diff --git a/sources b/sources
index f9cce3c..b008079 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (E-3.2.5.tar.gz) = fabd365ad7b41f5d8e959c70409782686b3408527b9d5c8e89f49abef15da0acb86db4334fc49bc1386dcf4b2a62e5bd02047873d6b81ea3f1ee951dbcf0862f
+SHA512 (E-3.3.5.tar.gz) = 82dad1ff7dade4ba8d758f45b35c9275b9d9d8ba3710b32cab6ee73acaaa2d8fb3f8508de1d8a31be5a1a6bb512868268964974dc132736ba74e5b7be5a92bfe