%global pkgvers 0
%global scdate0 20260330
%global schash0 6424d15aaece44db1135a268152c226e9ef57562
%global branch0 main
%global source0 https://github.com/YosysHQ/sby.git

%global sshort0 %{expand:%%{lua:print(('%{schash0}'):sub(1,8))}}

Name:           symbiyosys
Version:        0.63
Release:        %{scdate0}.%{pkgvers}.git%{sshort0}%{?dist}
Summary:        Front-end for Yosys-based formal verification flows
BuildArch:      noarch
License:        ISC

URL:            https://github.com/YosysHQ/sby

BuildRequires:  make git python3-devel

Requires:       yices-tools


%description
SymbiYosys (sby) is a front-end driver program for
Yosys-based formal hardware verification flows.


%prep
%setup -T -c -n %{name}
git clone --depth 1 -n -b %{branch0} %{source0} .
git fetch --depth 1 origin %{schash0}
git reset --hard %{schash0}
git log --format=fuller
# clean spurious
find . -name '\.gitignore' -exec rm {} \;


%build


%install
%set_build_flags
%make_install PREFIX="%{_prefix}" STRIP=/bin/true


%files
%doc README.md
%doc docs
%license COPYING
%{_bindir}/*
%{_datadir}/yosys


%changelog
* Sat Nov 07 2020 Cristian Balint <cristian.balint@gmail.com>
- upstream github releases