File lean4.spec of Package lean4

#
# spec file for package lean4
#
# Copyright (c) 2023 SUSE LLC
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.

# Please submit bugfixes or comments via https://bugs.opensuse.org/
#


Name:           lean4
Version:        4.2.0
Release:        0
Summary:        Lean 4 programming language and theorem prover
License:        Apache-2.0
URL:            https://github.com/leanprover/lean4
Source:         https://github.com/leanprover/lean4/archive/v%{version}/%{name}-%{version}.tar.gz
Patch0:         prevent_copying_of_source_files.patch
Patch1:         fix_lib_install_dir.patch
BuildRequires:  cmake
BuildRequires:  gcc-c++
BuildRequires:  pkgconfig(gmp)

%description
Lean 4 programming language and theorem prover

%package devel
Summary:        Lean 4 header files

%description devel
Header files for Lean 4.

%prep
%autosetup -p1

%build
%cmake -DINSTALL_LICENSE=OFF
%cmake_build

%install
%cmake_install

sed -i 's|#!/usr/bin/env bash|#!/bin/bash|g' %{buildroot}%{_bindir}/leanmake

%files devel
%{_includedir}/lean
%{_libdir}/lean/*.a

%files
%license LICENSE
%doc README.md RELEASES.md
%{_bindir}/lake
%{_bindir}/lean
%{_bindir}/leanc
%{_bindir}/leanmake
%{_libdir}/lean
%{_datadir}/lean

%changelog