%global gitcommit a07a214d2284b73622f7ff583b7c2c3f146155ab
%global snapshot 20260122

%global pkg_name ilex

%global debug_package %{nil}

Name:           idris2-%{pkg_name}
Version:        0.1.0
Release:        1%{?dist}.%{snapshot}
Summary:        Generate fast Lexers from an Idris2 DSL

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

BuildRequires:  idris2
BuildRequires:  idris2-elab-util
BuildRequires:  idris2-algebra
BuildRequires:  idris2-array
BuildRequires:  idris2-bytestring
BuildRequires:  idris2-refined
Requires:       idris2
Requires:       idris2-elab-util
Requires:       idris2-algebra
Requires:       idris2-array
Requires:       idris2-bytestring
Requires:       idris2-ilex-core
Requires:       idris2-refined

%description
This is a library for generating performant lexers that can be derived from
a simple regular expression DSL (domain specific language). However, this
library also offers a way to enhance the lexers to become proper parsers.


%package core
Summary:        Core data types and utilities for token bounds and parse errors
Requires:       idris2
Requires:       idris2-elab-util
Requires:       idris2-bytestring

%description core
Core data types and utilities for token bounds and parse errors in Idris2.


%package toml
Summary:        A Feature Complete TOML Parser in Idris2
Requires:       idris2
Requires:       idris2-ilex
Requires:       idris2-refined

%description toml
Stack-safe and efficient parser for the TOML config file language.


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


%build


%install
(cd core
 DESTDIR=%{buildroot} idris2 --install %{pkg_name}-core.ipkg
)

%global idris_libdir %{_libdir}/idris2-0.8.0
export IDRIS2_PACKAGE_PATH=%{buildroot}%{idris_libdir}

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

(cd toml
 DESTDIR=%{buildroot} idris2 --install %{pkg_name}-toml.ipkg
)



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


%files core
%license LICENSE
%{idris_libdir}/%{pkg_name}-core-%{version}


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


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