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

New upstream version. Ship libraries in the main package.

Browse Source
This commit is contained in:
Jerry James 2018-10-22 21:01:54 -06:00
parent f87119f415
commit a5dd16fae4
2 changed files with 31 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
ocaml-menhir.spec
View File

@ -6,7 +6,7 @@
%endif
Name: ocaml-menhir
Version: 20180905
Version: 20181006
Release: 1%{?dist}
Summary: LR(1) parser generator for OCaml
@ -55,26 +55,50 @@ make -C demos clean
make -C doc
%install
# Remove executable bits from a demo file
chmod a-x demos/find-menhir.sh
# Install
export OCAMLFIND_DESTDIR=%{buildroot}%{_libdir}/ocaml
mkdir -p $OCAMLFIND_DESTDIR
make install PREFIX=%{buildroot}%{_prefix} TARGET=%{target}
rm -fr %{buildroot}%{_docdir}/menhir
# Remove executable bits from demo files
chmod a-x demos/find-menhir.sh \
demos/generate-printers-dune/menhir-generate-printers
# Remove demo files we do not want to ship
find demos -name _build -exec rm -fr {} \+
find demos -name .merlin -exec rm {} \+
%files
%doc CHANGES.md README.md doc/manual.pdf demos
%license LICENSE
%{_bindir}/menhir
%{_mandir}/man1/menhir.1*
%{_datadir}/menhir/
%dir %{_libdir}/ocaml/menhirLib/
%{_libdir}/ocaml/menhirLib/META
%{_libdir}/ocaml/menhirLib/menhirLib.cmi
%{_libdir}/ocaml/menhirLib/menhirLib.cmo
%{_libdir}/ocaml/menhirLib/menhirLib.cmxs
%dir %{_libdir}/ocaml/menhirSdk/
%{_libdir}/ocaml/menhirSdk/META
%{_libdir}/ocaml/menhirSdk/menhirSdk.cmi
%{_libdir}/ocaml/menhirSdk/menhirSdk.cmo
%{_libdir}/ocaml/menhirSdk/menhirSdk.cmxs
%files devel
%{_libdir}/ocaml/menhirLib/
%{_libdir}/ocaml/menhirSdk/
%{_libdir}/ocaml/menhirLib/menhirLib.cmx
%{_libdir}/ocaml/menhirLib/menhirLib.ml
%{_libdir}/ocaml/menhirLib/menhirLib.mli
%{_libdir}/ocaml/menhirLib/menhirLib.o
%{_libdir}/ocaml/menhirSdk/menhirSdk.cmx
%{_libdir}/ocaml/menhirSdk/menhirSdk.o
%changelog
* Mon Oct 22 2018 Jerry James <loganjerry@gmail.com> - 20181006-1
- New upstream version
- Ship libraries in the main package
* Thu Sep 27 2018 Jerry James <loganjerry@gmail.com> - 20180905-1
- New upstream version

2
sources
View File

@ -1 +1 @@
SHA512 (menhir-20180905.tar.gz) = b0d32da97a31376c8d55837c7fc1e7194c801cad454308ff933fa1def765b9aebaded62444c694c205c1fd6a2142f192bfe84366a5965fffb777e7f89dec004c
SHA512 (menhir-20181006.tar.gz) = a838c0b6411345ae64e21f8649367541a7e137af7e552e1dcc3da0c2212813de3d0c359dbd863d0130be897148063b406e0757fd2f18b42d43d3964963ebd4c7