Compare commits
22 commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
9f95d8f96d | ||
|
|
d3ad66862d | ||
|
|
e159c59783 | ||
|
|
8b7d7ff555 | ||
|
|
df1e0a1208 | ||
|
|
2822470107 | ||
|
|
8f3116aefe | ||
|
|
909f5f3a4b | ||
|
|
c582eb2bb5 | ||
|
|
3c1b2c0091 | ||
|
|
e1e1701c18 | ||
|
|
1b94fd41be | ||
|
|
894ac8b54c | ||
|
|
446a8340b2 | ||
|
|
96cf69b8bd | ||
| 068eac9566 | |||
|
|
e752707fe0 | ||
|
|
633a8254bb | ||
|
|
10db322d61 | ||
|
|
b9ca408c1b | ||
|
|
882a5b3b20 | ||
|
|
c0e9b47e2b |
4 changed files with 3 additions and 191 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
|
@ -1 +0,0 @@
|
|||
/undertaker-1.2.tar.gz
|
||||
3
dead.package
Normal file
3
dead.package
Normal file
|
|
@ -0,0 +1,3 @@
|
|||
2016-05-19: Retired orphaned package, because it was orphaned for
|
||||
more than six weeks.
|
||||
|
||||
1
sources
1
sources
|
|
@ -1 +0,0 @@
|
|||
455613fb59573a12d5b30abcd87d474b undertaker-1.2.tar.gz
|
||||
189
undertaker.spec
189
undertaker.spec
|
|
@ -1,189 +0,0 @@
|
|||
Name: undertaker
|
||||
Version: 1.2
|
||||
Release: 9%{?dist}
|
||||
Summary: Find always-on and always-off conditional C code
|
||||
|
||||
Group: Development/Languages
|
||||
License: GPLv2 and GPLv3+
|
||||
URL: http://vamos.informatik.uni-erlangen.de/trac/undertaker
|
||||
Source0: http://vamos.informatik.uni-erlangen.de/files/%{name}-%{version}.tar.gz
|
||||
|
||||
BuildRequires: boost-devel
|
||||
BuildRequires: emacs
|
||||
BuildRequires: ncurses-devel
|
||||
BuildRequires: picosat-devel
|
||||
BuildRequires: python2-devel
|
||||
BuildRequires: xemacs
|
||||
BuildRequires: xemacs-packages-extra
|
||||
|
||||
# Needed for undertaker-calc-coverage
|
||||
Requires: cpp
|
||||
Requires: git
|
||||
Requires: make
|
||||
Requires: sparse
|
||||
|
||||
%description
|
||||
The undertaker is an implementation of the Vamos project's preprocessor
|
||||
and configuration analysis approaches. It can check the structure of
|
||||
preprocessor directives against different configuration models to find
|
||||
blocks that can't be selected or deselected.
|
||||
|
||||
%package emacs
|
||||
Summary: Emacs support for %{name}
|
||||
Group: Development/Languages
|
||||
Requires: emacs(bin) >= %{_emacs_version}
|
||||
Requires: %{name} = %{version}-%{release}
|
||||
BuildArch: noarch
|
||||
|
||||
%description emacs
|
||||
Emacs support for %{name}.
|
||||
|
||||
%package emacs-el
|
||||
Summary: Source for Emacs support for %{name}
|
||||
Group: Development/Languages
|
||||
Requires: %{name}-emacs = %{version}-%{release}
|
||||
BuildArch: noarch
|
||||
|
||||
%description emacs-el
|
||||
Source Elisp code for Emacs support for %{name}.
|
||||
|
||||
%package xemacs
|
||||
Summary: XEmacs support for %{name}
|
||||
Group: Development/Languages
|
||||
Requires: xemacs(bin) >= %{_xemacs_version}, xemacs-packages-extra
|
||||
Requires: %{name} = %{version}-%{release}
|
||||
BuildArch: noarch
|
||||
|
||||
%description xemacs
|
||||
XEmacs support for %{name}.
|
||||
|
||||
%package xemacs-el
|
||||
Summary: Source for XEmacs support for %{name}
|
||||
Group: Development/Languages
|
||||
Requires: %{name}-xemacs = %{version}-%{release}
|
||||
BuildArch: noarch
|
||||
|
||||
%description xemacs-el
|
||||
Source Elisp code for XEmacs support for %{name}.
|
||||
|
||||
%prep
|
||||
%setup -q -n vamos-%{version}
|
||||
|
||||
# Fix up one include path
|
||||
sed -i 's|picosat/picosat.h|picosat.h|' undertaker/SatChecker.h
|
||||
|
||||
# Fix a python path
|
||||
sed -i "s|^PYTHONPATH=.*|PYTHONPATH=\""%{python2_sitelib}"\"|" \
|
||||
rsf2model/undertaker-kconfigdump.in
|
||||
|
||||
# Fix a python dependency
|
||||
sed 's|env python|python|' undertaker/undertaker-calc-coverage > foo
|
||||
chmod a+x foo
|
||||
touch -r undertaker/undertaker-calc-coverage foo
|
||||
mv -f foo undertaker/undertaker-calc-coverage
|
||||
|
||||
# Use the right flags when building and linking
|
||||
sed -e "s|-Wall -Wextra -O2|$RPM_OPT_FLAGS|" \
|
||||
-e "s|^LDFLAGS =.*|LDFLAGS = $RPM_OPT_FLAGS|" \
|
||||
-i undertaker/Makefile
|
||||
sed -e "s|^LDXX=.*|LDXX=g++ \$(CXXFLAGS)|" \
|
||||
-e "s|^DEBUG =.*|DEBUG=|" \
|
||||
-e "s|-Wall -Wextra -O2|$RPM_OPT_FLAGS|" \
|
||||
-i ziz/Makefile
|
||||
|
||||
# Fix the Makefile so we don't rebuild everything when installing
|
||||
sed -e "s|^all:.*|all: \$(PROGS) \$(TEMPLATED) \$(MANPAGES)|" \
|
||||
-e "s|^install: all.*|install:|" \
|
||||
-e "s|check undertaker-lcov|check install undertaker-lcov|" \
|
||||
-i Makefile
|
||||
|
||||
# Remove prebuilt objects
|
||||
make clean
|
||||
rm -f scripts/basic/docproc scripts/basic/fixdep scripts/basic/hash \
|
||||
scripts/kconfig/dumpconf undertaker/test-ConditionalBlock \
|
||||
undertaker/test-SatChecker undertaker/undertaker ziz/zizler
|
||||
|
||||
# Fix end-of-line encodings
|
||||
for f in DeadAnalysis ElDocumentation Interactive ModelFiles Preconditions; do
|
||||
sed -i.orig 's/\r//' doc/Undertaker$f
|
||||
touch -r doc/Undertaker$f.orig doc/Undertaker$f
|
||||
rm -f doc/Undertaker$f.orig
|
||||
done
|
||||
|
||||
%build
|
||||
# FIXME: building with %%{?_smp_mflags} sometimes fails
|
||||
make PREFIX=%{_prefix} LIBDIR=%{_libdir} \
|
||||
HOSTCFLAGS="${RPM_OPT_FLAGS}" HOSTCXXFLAGS="${RPM_OPT_FLAGS}" \
|
||||
HOSTLDFLAGS="${RPM_LD_FLAGS} -Wl,--as-needed"
|
||||
|
||||
%install
|
||||
make install DESTDIR=$RPM_BUILD_ROOT PREFIX=%{_prefix} LIBDIR=%{_libdir}
|
||||
|
||||
# The rsf2model script is installed in two places. We only need one.
|
||||
rm -f $RPM_BUILD_ROOT%{_bindir}/rsf2model
|
||||
|
||||
# Copy the Emacs support to the appropriate XEmacs dir and byte compile
|
||||
mkdir -p $RPM_BUILD_ROOT%{_xemacs_sitelispdir}
|
||||
cp -a $RPM_BUILD_ROOT%{_emacs_sitelispdir}/%{name} \
|
||||
$RPM_BUILD_ROOT%{_xemacs_sitelispdir}
|
||||
cd $RPM_BUILD_ROOT%{_xemacs_sitelispdir}/%{name}
|
||||
%{_xemacs_bytecompile} *.el
|
||||
|
||||
# Byte compile the Emacs support file
|
||||
cd $RPM_BUILD_ROOT%{_emacs_sitelispdir}/%{name}
|
||||
%{_emacs_bytecompile} *.el
|
||||
|
||||
%files
|
||||
%doc AUTHORS LICENSE README
|
||||
%doc doc/UndertakerDeadAnalysis doc/UndertakerInteractive
|
||||
%doc doc/UndertakerModelFiles doc/UndertakerPreconditions
|
||||
%{_bindir}/*
|
||||
%{_libdir}/undertaker
|
||||
%{_mandir}/man1/*
|
||||
%{python_sitelib}/undertaker*
|
||||
|
||||
%files emacs
|
||||
%doc doc/UndertakerElDocumentation
|
||||
%dir %{_emacs_sitelispdir}/%{name}
|
||||
%{_emacs_sitelispdir}/%{name}/*.elc
|
||||
|
||||
%files emacs-el
|
||||
%{_emacs_sitelispdir}/%{name}/*.el
|
||||
|
||||
%files xemacs
|
||||
%doc doc/UndertakerElDocumentation
|
||||
%dir %{_xemacs_sitelispdir}/%{name}
|
||||
%{_xemacs_sitelispdir}/%{name}/*.elc
|
||||
|
||||
%files xemacs-el
|
||||
%{_xemacs_sitelispdir}/%{name}/*.el
|
||||
|
||||
%changelog
|
||||
* Sat Feb 09 2013 Denis Arnaud <denis.arnaud_fedora@m4x.org> - 1.2-9
|
||||
- Rebuild for Boost-1.53.0
|
||||
|
||||
* Mon Aug 20 2012 Jerry James <loganjerry@gmail.com> - 1.2-8
|
||||
- Rebuild for new picosat
|
||||
|
||||
* Mon Aug 6 2012 Jerry James <loganjerry@gmail.com> - 1.2-7
|
||||
- Rebuild for boost 1.50
|
||||
|
||||
* Sun Jul 22 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.2-6
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
||||
|
||||
* Tue Feb 28 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.2-5
|
||||
- Rebuilt for c++ ABI breakage
|
||||
|
||||
* Tue Jan 10 2012 Jerry James <loganjerry@gmail.com> - 1.2-4
|
||||
- Rebuild to fix python dependencies
|
||||
- Drop unnecessary BRs
|
||||
- Ensure correct LDFLAGS
|
||||
|
||||
* Mon Jan 6 2012 Jerry James <loganjerry@gmail.com> - 1.2-3
|
||||
- Rebuild for GCC 4.7
|
||||
|
||||
* Sun Nov 20 2011 Jerry James <loganjerry@gmail.com> - 1.2-2
|
||||
- Rebuild for new boost
|
||||
|
||||
* Tue Sep 20 2011 Jerry James <loganjerry@gmail.com> - 1.2-1
|
||||
- Initial RPM
|
||||
Loading…
Add table
Add a link
Reference in a new issue