%global debug_package %{nil}

Name:           riscv-pk
Version:        0
Release:        0.2.git@SHORTCOMMIT@%{?dist}
Summary:        RISC-V proxy kernel (pk) and boot loader (bbl)
License:        BSD

URL:            https://github.com/lowRISC/riscv-pk
Source0:        https://github.com/riscv/%{name}/archive/@COMMIT@/%{name}-@SHORTCOMMIT@.tar.gz

BuildRequires:  riscv-gnu-toolchain


%description
This is the RISC-V fork of the GNU cross-compiler toolchain.  It
includes binutils and GCC.


%prep
%setup -q -n %{name}-@COMMIT@


%build
mkdir build
pushd build
# Setting RUN to /bin/true prevents pk from looking for the 'spike'
# RISC-V cycle-accurate emulator, which would be needed to run tests
# but we don't care about here.
../configure --prefix=%{_prefix} \
             --libdir=%{_libdir} \
             --host=riscv64-unknown-elf RUN=/bin/true

make
popd


%install
pushd build
make install DESTDIR=$RPM_BUILD_ROOT
popd


%files
%doc README.md LICENSE
%{_bindir}/bbl
%{_bindir}/pk
%{_includedir}/riscv-pk
%{_prefix}/lib/riscv-pk


%changelog