Name:           lean4-rpm-macros
Version:        1
Release:        2%{?dist}
Summary:        RPM macros for packaging Lake (Lean 4) libraries

License:        MIT
URL:            https://gitlab.com/morgan.hough/neurofedora
Source0:        macros.lean4

BuildArch:      noarch
# the macros run git and lake
Requires:       git-core
Requires:       rpm

%description
Macros for building Lake libraries against the system lean4 toolchain in an
offline buildroot: %%lean4_git_init rebuilds the pinned git checkout Lake
expects from an upstream tarball, %%lean4_dep places an installed library
where Lake materialises dependencies, and %%lean4_build / %%lean4_install
build the library and install it under %%{_lean4_pkgdir}.

%prep

%build

%install
install -Dpm 0644 %{SOURCE0} %{buildroot}%{_rpmmacrodir}/macros.lean4

%files
%{_rpmmacrodir}/macros.lean4

%changelog
* Fri Nov 06 2026 Morgan Hough <morgan.hough@gmail.com> - 1-2
- Rebuild in mhough/scientific: math and computational-physics packages move out
  of mhough/neurofedora

* Mon Nov 02 2026 Morgan Hough <morgan.hough@gmail.com> - 1-1
- Initial package: macros for Lake libraries (Mathlib and its dependencies)