diff --git a/Agda.spec b/Agda.spec index b17006c..3f03e51 100644 --- a/Agda.spec +++ b/Agda.spec @@ -17,7 +17,7 @@ Name: %{pkg_name} Version: 2.6.1 # can only be reset when all subpkgs bumped -Release: 25%{?dist} +Release: 26%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -166,6 +166,10 @@ fi %build +# This patch has LTO symbol mismatches when built on s390x, so disable it on that +# platform for now +%define _lto_cflags %{nil} + %define elisp_files eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el # check no missing new elisp files @@ -247,6 +251,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode %changelog +* Mon Jul 27 2020 Jeff Law - 2.6.1-26 +- Disable LTO on s390 + * Mon Jul 27 2020 Fedora Release Engineering - 2.6.1-25 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild