mirror of
https://github.com/terrapkg/packages.git
synced 2026-06-02 18:02:19 +00:00
Raboneko
86 lines
2.7 KiB
RPMSpec
86 lines
2.7 KiB
RPMSpec
%define debug_package %{nil}
|
|
%global __provides_exclude_from ^%{_libdir}/bsc/SAT/.*
|
|
%global __requires_exclude libstp\\.so\\.1|libyices\\.so\\.2\\.6
|
|
|
|
Name: bsc
|
|
Version: 2026.01
|
|
Release: 1%{?dist}
|
|
Summary: Bluespec Compiler (BSC)
|
|
|
|
License: BSD-3-Clause AND BSD-2-Clause AND MIT AND LGPL-2.0-or-later AND AND BSL-1.0
|
|
URL: https://github.com/B-Lang-org/bsc
|
|
Source: %{url}/archive/refs/tags/%{version}.tar.gz
|
|
|
|
BuildRequires: ghc
|
|
BuildRequires: ghc-regex-compat-devel
|
|
BuildRequires: ghc-syb-devel
|
|
BuildRequires: ghc-old-time-devel
|
|
BuildRequires: ghc-split-devel
|
|
BuildRequires: ghc-strict-concurrency-devel
|
|
BuildRequires: gperf
|
|
BuildRequires: gcc-c++
|
|
BuildRequires: autoconf
|
|
BuildRequires: flex
|
|
BuildRequires: bison
|
|
BuildRequires: zlib-ng-compat-devel
|
|
BuildRequires: tcl-devel
|
|
|
|
# For check
|
|
BuildRequires: binutils
|
|
BuildRequires: iverilog
|
|
|
|
Provides: bundled(stp)
|
|
Provides: bundled(yices)
|
|
|
|
Packager: Owen Zimmerman <owen@fyralabs.com>
|
|
|
|
%description
|
|
Compiler, simulator, and tools for the Bluespec Hardware Description Language.
|
|
Bluespec is a single language for digital electronic hardware designs that
|
|
comes in two syntactic flavors, which are interchangeable:
|
|
|
|
Bluespec SystemVerilog (BSV)
|
|
Bluespec Haskell (BH, or "Bluespec Classic")
|
|
|
|
Bluespec is a high-level hardware description language. It has a variety of
|
|
advanced features including a powerful type system that can prevent errors prior
|
|
to synthesis time, and its most distinguishing feature, Guarded Atomic Actions,
|
|
allow you to define hardware components in a modular manner based on their
|
|
invariants, and let the compiler pick a scheduler.
|
|
|
|
%prep
|
|
%git_clone %{url} %{version}
|
|
|
|
%build
|
|
%make_build install-src GHCJOBS=%{_smp_build_ncpus}
|
|
|
|
%install
|
|
mkdir -p %{buildroot}%{_datadir}/bsc/
|
|
mkdir -p %{buildroot}%{_bindir}
|
|
cp -r inst/ %{buildroot}%{_datadir}/bsc/
|
|
|
|
# https://github.com/B-Lang-org/bsc/blob/main/INSTALL.md#overview
|
|
# Note this is symlinking the wrapper scripts, not the ELFs
|
|
%{__ln_s} -f %{_datadir}/bsc/inst/bin/bsc %{buildroot}%{_bindir}/bsc
|
|
%{__ln_s} -f %{_datadir}/bsc/inst/bin/bluetcl %{buildroot}%{_bindir}/bluetcl
|
|
|
|
# Patch wrapper scripts to use correct paths
|
|
for wrapper in %{buildroot}%{_datadir}/bsc/inst/bin/bsc %{buildroot}%{_datadir}/bsc/inst/bin/bluetcl; do
|
|
sed -i 's|BLUESPECDIR="$(cd ${BINDIR}/../lib; echo $PWD)"|BLUESPECDIR="%{_datadir}/bsc/inst/lib"|' $wrapper
|
|
sed -i 's|BLUESPECEXEC=${BINDIR}/core/${SCRIPTNAME}|BLUESPECEXEC="%{_datadir}/bsc/inst/bin/core/${SCRIPTNAME}"|' $wrapper
|
|
done
|
|
|
|
%check
|
|
%{make_build} check-smoke
|
|
|
|
%files
|
|
%doc README.md DEVELOP.md
|
|
%license COPYING LICENSES/
|
|
%{_bindir}/bsc
|
|
%{_bindir}/bluetcl
|
|
%{_datadir}/bsc/*
|
|
|
|
%changelog
|
|
* Fri Apr 24 2026 Owen Zimmerman <owen@fyralabs.com>
|
|
- Initial commit
|