# workaround "Empty %files file BUILD/*/debugsourcefiles.list"
%define debug_package %{nil}

Name:           elan
Version:        3.1.1
Release:        1%{?dist}
Summary:        Lean4 version manager

License:        Apache-2.0
URL:            https://github.com/leanprover/elan
Source0:        https://github.com/leanprover/elan/archive/refs/tags/v%{version}.tar.gz#/%{name}-%{version}.tar.gz

BuildRequires:  cargo
BuildRequires:  openssl-devel
BuildRequires:  perl
BuildRequires:  perl-FindBin
BuildRequires:  perl-IPC-Cmd

%description
elan is a small tool for managing your installations of the Lean
theorem prover. It places lean and lake binaries in your PATH that
automatically select and, if necessary, download the Lean version
described in your project's lean-toolchain file. You can also install,
select, run, and uninstall Lean versions manually using the commands
of the elan executable.

%prep
%autosetup

%build

%install
cargo install --path . --root %{buildroot}%{_prefix}
strip %{buildroot}%{_bindir}/elan-init
rm %{buildroot}%{_prefix}/.crates*

ln -s elan-init %{buildroot}%{_bindir}/elan

%check
%{buildroot}%{_bindir}/elan --version | grep %{version}


%files
%license LICENSE
%{_bindir}/elan
%{_bindir}/elan-init


%changelog
* Sun Jul 14 2024 Jens Petersen <petersen@redhat.com> - 3.1.1-1
- initial copr package