diff --git a/ltl2ba.rpmlintrc b/ltl2ba.rpmlintrc deleted file mode 100644 index 57b39cb..0000000 --- a/ltl2ba.rpmlintrc +++ /dev/null @@ -1,5 +0,0 @@ -# THIS FILE IS FOR WHITELISTING RPMLINT ERRORS AND WARNINGS IN TASKOTRON -# https://fedoraproject.org/wiki/Taskotron/Tasks/dist.rpmlint#Whitelisting_errors - -# The dictionary is missing some technical terms -addFilter(r'W: spelling-error .* automata') diff --git a/ltl2ba.spec b/ltl2ba.spec index 4818d51..b98e1df 100644 --- a/ltl2ba.spec +++ b/ltl2ba.spec @@ -4,8 +4,8 @@ Release: 4%{?dist} Summary: Fast translation from LTL formulas to Buchi automata License: GPLv2+ -URL: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ -Source0: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/%{name}-%{version}.tar.gz +URL: http://www.lsv.fr/~gastin/ltl2ba/ +Source0: %{url}/%{name}-%{version}.tar.gz BuildRequires: gcc BuildRequires: help2man @@ -33,7 +33,7 @@ iconv -f latin1 -t utf8 README > README.utf8 mv README.utf8 README %build -%make_build CFLAGS="%{optflags} -DNXT $RPM_LD_FLAGS" +%make_build CFLAGS="%{build_cflags} -DNXT %{build_ldflags}" help2man -N --version-string=%{version} ./ltl2ba > ltl2ba.1 %check