## START: Set by rpmautospec
## (rpmautospec version 0.6.3)
## RPMAUTOSPEC: autorelease, autochangelog
%define autorelease(e:s:pb:n) %{?-p:0.}%{lua:
    release_number = 1;
    base_release_number = tonumber(rpm.expand("%{?-b*}%{!?-b:1}"));
    print(release_number + base_release_number - 1);
}%{?-e:.%{-e*}}%{?-s:.%{-s*}}%{!?-n:%{?dist}}
## END: Set by rpmautospec

Name:           ott
Version:        0.33
Release:        %autorelease
Summary:        The Ott tool for writing definitions of programming languages and calculi

License:        Ott
URL:            https://github.com/ott-lang/ott
Source0:        https://github.com/ott-lang/ott/archive/%{version}/ott-%{version}.tar.gz

BuildRequires:  coq
BuildRequires:  ocaml >= 4.08.1
BuildRequires:  ocaml-dune >= 2.7
BuildRequires:  ocaml-ocamlgraph-devel

%global debug_package %{nil}

%description
Ott is a tool for writing definitions of programming languages and calculi. It takes as input a definition of a language syntax and semantics, in a concise and readable ASCII notation that is close to what one would write in informal mathematics.

%package        devel
Summary:        Development files for %{name}
Requires:       %{name}%{?_isa} = %{version}-%{release}
 
%description    devel
The %{name}-devel package contains libraries and signature files for
developing applications that use %{name}.

%prep
%autosetup -n ott-%{version} -p1

%build
make
%dune_build

%install
%dune_install
mkdir -p %{buildroot}/usr/bin
cp bin/ott %{buildroot}/usr/bin/ott

%check
%dune_check

%files -f .ofiles
%doc README.md
%{_bindir}/ott

%files devel -f .ofiles-devel

%changelog
## START: Generated by rpmautospec
* Thu Apr 25 2024 U2FsdGVkX1 <U2FsdGVkX1@gmail.com> - 0.33-1
- first commit
## END: Generated by rpmautospec