rpms/ocaml-menhir
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rebuilt with ocaml 4.14.1 [release 20230608-2mamba;Thu Jul 06 2023]

Browse Source
This commit is contained in:
Sdk Build System 2024-01-06 07:56:00 +01:00
parent 7ea8b24f54
commit afbeb79298
1 changed files with 22 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
ocaml-menhir.spec
View File

@ -1,22 +1,23 @@
%define ocamlpck menhirLib
Name: ocaml-menhir
Version: 20211230
Release: 1mamba
Version: 20230608
Release: 2mamba
Summary: An LR(1) parser generator for OCaml
Group: System/Libraries/OCaml
Vendor: openmamba
Distribution: openmamba
Packager: Silvan Calarco <silvan.calarco@mambasoft.it>
URL: http://gitlab.inria.fr/fpottier/menhir
URL: https://gitlab.inria.fr:443/fpottier/menhir
Source: https://gitlab.inria.fr/fpottier/menhir.git/%{version}/menhir-%{version}.tar.bz2
License: LGPL
## AUTOBUILDREQ-BEGIN
BuildRequires: glibc-devel
BuildRequires: ocaml
BuildRequires: ocaml-runtime
## AUTOBUILDREQ-END
BuildRequires: ocaml >= 4.14.1
BuildRequires: dune
BuildRequires: ocaml
BuildRequires: ocaml-findlib
%description
@ -40,7 +41,7 @@ dune build
%install
[ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
DESTDIR=%{buildroot} dune install --prefix "/usr" --libdir "%{_lib}/ocaml"
DESTDIR=%{buildroot} dune install --prefix "/usr" --libdir "%{_libdir}/ocaml"
rm -rf %{buildroot}/usr/doc
@ -84,5 +85,20 @@ mv %{buildroot}/usr/man %{buildroot}%{_datadir}/
%{_libdir}/ocaml/menhirSdk/*.mli
%changelog
* Thu Feb 03 2022 Silvan Calarco <silvan.calarco@mambasoft.it> 20211230-1mamba
* 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
- package created using the webbuild interface