2024-01-06 07:55:59 +01:00
|
|
|
%define ocamlpck menhirLib
|
|
|
|
|
|
|
|
Name: ocaml-menhir
|
2024-01-08 00:59:45 +01:00
|
|
|
Version: 20231231
|
|
|
|
Release: 1mamba
|
2024-01-06 07:55:59 +01:00
|
|
|
Summary: An LR(1) parser generator for OCaml
|
|
|
|
Group: System/Libraries/OCaml
|
|
|
|
Vendor: openmamba
|
|
|
|
Distribution: openmamba
|
|
|
|
Packager: Silvan Calarco <silvan.calarco@mambasoft.it>
|
2024-01-06 07:56:00 +01:00
|
|
|
URL: https://gitlab.inria.fr:443/fpottier/menhir
|
2024-01-06 07:55:59 +01:00
|
|
|
Source: https://gitlab.inria.fr/fpottier/menhir.git/%{version}/menhir-%{version}.tar.bz2
|
|
|
|
License: LGPL
|
|
|
|
## AUTOBUILDREQ-BEGIN
|
|
|
|
BuildRequires: glibc-devel
|
2024-01-06 07:56:00 +01:00
|
|
|
BuildRequires: ocaml-runtime
|
2024-01-06 07:55:59 +01:00
|
|
|
## AUTOBUILDREQ-END
|
2024-01-06 07:56:00 +01:00
|
|
|
BuildRequires: ocaml >= 4.14.1
|
2024-01-06 07:55:59 +01:00
|
|
|
BuildRequires: dune
|
|
|
|
BuildRequires: ocaml-findlib
|
|
|
|
|
|
|
|
%description
|
|
|
|
%{summary}.
|
|
|
|
|
|
|
|
%package devel
|
|
|
|
Group: Development/Libraries/OCaml
|
|
|
|
Summary: Development files for %{name}
|
|
|
|
Requires: %{name} = %{?epoch:%epoch:}%{version}-%{release}
|
|
|
|
|
|
|
|
%description devel
|
|
|
|
This package contains libraries and signature files for developing applications that use %{name}.
|
|
|
|
|
|
|
|
%debug_package
|
|
|
|
|
|
|
|
%prep
|
|
|
|
%setup -q -n menhir-%{version}
|
|
|
|
|
|
|
|
%build
|
|
|
|
dune build
|
|
|
|
|
|
|
|
%install
|
|
|
|
[ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
|
2024-01-06 07:56:00 +01:00
|
|
|
DESTDIR=%{buildroot} dune install --prefix "/usr" --libdir "%{_libdir}/ocaml"
|
2024-01-06 07:55:59 +01:00
|
|
|
|
|
|
|
rm -rf %{buildroot}/usr/doc
|
|
|
|
|
|
|
|
install -d -m0755 %{buildroot}%{_datadir}
|
|
|
|
mv %{buildroot}/usr/man %{buildroot}%{_datadir}/
|
|
|
|
|
|
|
|
%clean
|
|
|
|
[ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
|
|
|
|
|
|
|
|
%files
|
|
|
|
%defattr(-,root,root)
|
|
|
|
%{_bindir}/menhir
|
|
|
|
%dir %{_libdir}/ocaml/%{ocamlpck}
|
|
|
|
%{_libdir}/ocaml/%{ocamlpck}/*
|
|
|
|
%exclude %{_libdir}/ocaml/%{ocamlpck}/*.a
|
|
|
|
%exclude %{_libdir}/ocaml/%{ocamlpck}/*.cmx
|
|
|
|
%exclude %{_libdir}/ocaml/%{ocamlpck}/*.cmxa
|
|
|
|
%exclude %{_libdir}/ocaml/%{ocamlpck}/*.mli
|
|
|
|
%dir %{_libdir}/ocaml/menhir
|
|
|
|
%{_libdir}/ocaml/menhir/*
|
|
|
|
%dir %{_libdir}/ocaml/coq-menhirlib
|
|
|
|
%{_libdir}/ocaml/coq-menhirlib/*
|
2024-01-08 00:59:45 +01:00
|
|
|
%dir %{_libdir}/ocaml/menhirCST
|
|
|
|
%{_libdir}/ocaml/menhirCST/*
|
|
|
|
%exclude %{_libdir}/ocaml/menhirCST/*.a
|
|
|
|
%exclude %{_libdir}/ocaml/menhirCST/*.cmx
|
|
|
|
%exclude %{_libdir}/ocaml/menhirCST/*.cmxa
|
|
|
|
%exclude %{_libdir}/ocaml/menhirCST/*.mli
|
2024-01-06 07:55:59 +01:00
|
|
|
%dir %{_libdir}/ocaml/menhirSdk
|
|
|
|
%{_libdir}/ocaml/menhirSdk/*
|
|
|
|
%exclude %{_libdir}/ocaml/menhirSdk/*.a
|
|
|
|
%exclude %{_libdir}/ocaml/menhirSdk/*.cmx
|
|
|
|
%exclude %{_libdir}/ocaml/menhirSdk/*.cmxa
|
|
|
|
%exclude %{_libdir}/ocaml/menhirSdk/*.mli
|
|
|
|
%{_mandir}/man1/menhir.1*
|
|
|
|
%doc LICENSE*
|
|
|
|
|
|
|
|
%files devel
|
|
|
|
%defattr(-,root,root)
|
|
|
|
%{_libdir}/ocaml/%{ocamlpck}/*.a
|
|
|
|
%{_libdir}/ocaml/%{ocamlpck}/*.cmx
|
|
|
|
%{_libdir}/ocaml/%{ocamlpck}/*.cmxa
|
|
|
|
%{_libdir}/ocaml/%{ocamlpck}/*.mli
|
2024-01-08 00:59:45 +01:00
|
|
|
%{_libdir}/ocaml/menhirCST/*.a
|
|
|
|
%{_libdir}/ocaml/menhirCST/*.cmx
|
|
|
|
%{_libdir}/ocaml/menhirCST/*.cmxa
|
|
|
|
%{_libdir}/ocaml/menhirCST/*.mli
|
2024-01-06 07:55:59 +01:00
|
|
|
%{_libdir}/ocaml/menhirSdk/*.a
|
|
|
|
%{_libdir}/ocaml/menhirSdk/*.cmx
|
|
|
|
%{_libdir}/ocaml/menhirSdk/*.cmxa
|
|
|
|
%{_libdir}/ocaml/menhirSdk/*.mli
|
|
|
|
|
|
|
|
%changelog
|
2024-01-08 00:59:45 +01:00
|
|
|
* Sun Jan 07 2024 Automatic Build System <autodist@openmamba.org> 20231231-1mamba
|
|
|
|
- automatic version update by autodist
|
|
|
|
|
2024-01-06 07:56:00 +01:00
|
|
|
* Thu Jul 06 2023 Sdk Build System <sdk@mambasoft.it> 20230608-2mamba
|
|
|
|
- rebuilt with ocaml 4.14.1
|
|
|
|
|
|
|
|
* Mon Jul 03 2023 Automatic Build System <autodist@mambasoft.it> 20230608-1mamba
|
|
|
|
- automatic version update by autodist
|
|
|
|
|
|
|
|
* Fri May 26 2023 Automatic Build System <autodist@mambasoft.it> 20230415-1mamba
|
|
|
|
- automatic version update by autodist
|
|
|
|
|
|
|
|
* Thu Mar 03 2022 Automatic Build System <autodist@mambasoft.it> 20220210-1mamba
|
|
|
|
- automatic version update by autodist
|
|
|
|
|
|
|
|
* Tue Feb 08 2022 Automatic Build System <autodist@mambasoft.it> 20211230-1mamba
|
|
|
|
- automatic version update by autodist
|
|
|
|
|
|
|
|
* Mon Feb 07 2022 Silvan Calarco <silvan.calarco@mambasoft.it> 20211128-1mamba
|
2024-01-06 07:55:59 +01:00
|
|
|
- package created using the webbuild interface
|