File fiasco.spec of Package fiasco

# norootforbuild

Name:           fiasco
BuildRequires:  gcc-c++ l4-base python
License:        GPL
Version:        820
BuildRequires:  preprocess = %{version}
Release:        1
Summary:        The Fiasco L4 Microkernel
Group:          Productivity/Security
Requires:       l4env
Source:         tud-l4env-snapshot-%version.tar.bz2
Source1:        fiasco-config-i386
BuildRoot:      %{_tmppath}/%{name}-%{version}-build

%description
The Fiasco L4 Microkernel

%prep
%setup -q -n tud-l4env-snapshot-%version

%build
PATH="/usr/share/l4/tool/bin:$PATH"
cd kernel/fiasco
make BUILDDIR=_build
cd _build
if test -e %_sourcedir/fiasco-config-%l4_arch; then
	cp %_sourcedir/fiasco-config-%l4_arch globalconfig.out
else
	echo "No configuration for %_arch "
	exit 1
fi
make oldconfig
make

%install
cd kernel/fiasco/_build
install -d $RPM_BUILD_ROOT/boot/l4/bin
cp -L  fiasco Symbols Lines $RPM_BUILD_ROOT/boot/l4/bin/
%files
%defattr(-, root, root)
/boot/l4/bin

%changelog -n fiasco
* Thu May 29 2008
- create symlink to fiasco binary in /boot/l4/bin
* Wed Oct 18 2006 - mmarek@suse.cz
- initial package created (from lates CVS)