%global gitcommit 0d41b98f83f3707deb0ffbc595ef36b7d9cb9eab
%global snapshot 20231028

%global pkg_name getopts

%global debug_package %{nil}

Name:           idris2-%{pkg_name}
Version:        0.1.0
Release:        1%{?dist}.%{snapshot}
Summary:        Processing command line options

License:        BSD-3-Clause
URL:            https://github.com/idris-community/idris2-array
Source0:        https://github.com/idris-community/idris2-%{pkg_name}/archive/%{gitcommit}.tar.gz#/%{name}-%{version}^%{snapshot}.git0d41b98.tar.gz

BuildRequires:  idris2
Requires:       idris2

%description
This is a port of the corresponding module in the contrib package of
the main Idris2 project, but the module has been moved to System.GetOpts
in order not to be in conflict with the one from contrib.


%prep
%autosetup -n %{name}-%{gitcommit}


%build


%install
DESTDIR=%{buildroot} idris2 --install %{pkg_name}.ipkg

%global idris_libdir %{_libdir}/idris2-0.8.0

%files
%license LICENSE
%doc README.md
%{idris_libdir}/%{pkg_name}-%{version}



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