%global gitcommit e32b76f9da3939214736db73e3ca19c2f120c1d1
%global snapshot 20260222

%global pkg_name pack

%global debug_package %{nil}

Name:           idris2-%{pkg_name}
Version:        0.0.1
Release:        1%{?dist}.%{snapshot}
Summary:        A package manager for Idris2 with curated package collections

License:        BSD-3-Clause
URL:            https://github.com/stefan-hoeck/idris2-filepath
Source0:        https://github.com/stefan-hoeck/idris2-%{pkg_name}/archive/%{gitcommit}.tar.gz#/%{name}-%{version}^%{snapshot}gite32b76f.tar.gz

BuildRequires:  idris2
BuildRequires:  idris2-elab-util
BuildRequires:  idris2-filepath
BuildRequires:  idris2-getopts
BuildRequires:  idris2-ilex-toml
Requires:       idris2

%description
This is a simple package manager taking a slightly different approach than
other available options: it makes use of curated collections of packages linked
to a specific version/commit of Idris2, which are guaranteed to properly work
together (otherwise, that's a bug in the package collection). This is similar
to what stack for Haskell does: It avoids dependency hell by design.

There is a second GitHub repository containing the package collections:
idris2-pack-db.


%prep
%autosetup -n %{name}-%{gitcommit}
sed -i -e 's/prebuild/--prebuild/' -e 's/postbuild/--postbuild/' pack.ipkg
echo "version = \"%{gitcommit}\"" >>src/Pack/Version.idr


%build
idris2 --build %{pkg_name}.ipkg


%install
mkdir -p %{buildroot}%{_bindir}
cp -p build/exec/pack_app/pack.so %{buildroot}%{_bindir}/pack

mkdir -p %{buildroot}%{bash_completions_dir}
%{buildroot}%{_bindir}/pack completion-script pack > %{buildroot}%{bash_completions_dir}/pack


%files
%license LICENSE
%doc CONTRIBUTING.md README.md
%{_bindir}/pack
%{bash_completions_dir}/pack


%changelog
* Mon Mar 02 2026 Jens Petersen <petersen@redhat.com>
- initial package