ocaml-menhir/ocaml-menhir.spec

288 lines
9.4 KiB
RPMSpec
Raw Normal View History

2017-12-09 20:03:34 +00:00
%ifarch %{ocaml_native_compiler}
%global target native
2011-12-21 15:43:28 +00:00
%else
%global target byte
%global debug_package %{nil}
2011-12-21 15:43:28 +00:00
%endif
Name: ocaml-menhir
2018-11-15 01:48:44 +00:00
Version: 20181113
Release: 2%{?dist}
2011-12-21 15:43:28 +00:00
Summary: LR(1) parser generator for OCaml
# The generator is GPLv2
License: GPLv2
2011-12-21 15:43:28 +00:00
URL: http://gallium.inria.fr/~fpottier/menhir/
2018-11-15 01:48:44 +00:00
Source0: https://gitlab.inria.fr/fpottier/menhir/-/archive/%{version}/menhir-%{version}.tar.bz2
2011-12-21 15:43:28 +00:00
2018-06-07 02:49:16 +00:00
BuildRequires: hevea
BuildRequires: ImageMagick
2011-12-21 15:43:28 +00:00
BuildRequires: ocaml
2016-11-05 15:36:48 +00:00
BuildRequires: ocaml-ocamlbuild
BuildRequires: ocaml-findlib
BuildRequires: tex(latex)
2018-06-07 02:49:16 +00:00
BuildRequires: tex(comment.sty)
BuildRequires: tex(moreverb.sty)
2011-12-21 15:43:28 +00:00
%description
Menhir is a LR(1) parser generator for the Objective Caml programming
language. That is, Menhir compiles LR(1) grammar specifications down to
OCaml code. Menhir was designed and implemented by François Pottier and
Yann Régis-Gianas.
%package devel
Summary: Development files for %{name}
# The library is LGPLv2 with a linking exception.
License: LGPLv2 with exceptions
2011-12-21 15:43:28 +00:00
Requires: %{name}%{?_isa} = %{version}-%{release}
%description devel
The %{name}-devel package contains libraries and signature files
for developing applications that use %{name}.
%prep
%setup -q -n menhir-%{version}
2013-09-16 16:41:44 +00:00
# Enable debuginfo
sed -i 's/-j 0/-cflag -g -lflag -g &/' src/Makefile
2015-09-19 17:15:49 +00:00
# Do not ship the obsolete demos
rm -fr demos/obsolete
2015-01-05 18:38:15 +00:00
2011-12-21 15:43:28 +00:00
%build
make PREFIX=%{_prefix} TARGET=%{target}
make -C demos clean
make -C doc
2011-12-21 15:43:28 +00:00
%install
# Install
2015-09-19 17:15:49 +00:00
export OCAMLFIND_DESTDIR=%{buildroot}%{_libdir}/ocaml
2011-12-21 15:43:28 +00:00
mkdir -p $OCAMLFIND_DESTDIR
2015-09-19 17:15:49 +00:00
make install PREFIX=%{buildroot}%{_prefix} TARGET=%{target}
rm -fr %{buildroot}%{_docdir}/menhir
2011-12-21 15:43:28 +00:00
# Remove demo files we do not want to ship
find demos -name _build -exec rm -fr {} \+
2018-11-15 01:48:44 +00:00
find demos \( -name .merlin -o -name .gitignore \) -exec rm {} \+
2011-12-21 15:43:28 +00:00
%files
2018-06-07 02:49:16 +00:00
%doc CHANGES.md README.md doc/manual.pdf demos
%license LICENSE
2015-09-19 17:15:49 +00:00
%{_bindir}/menhir
2011-12-21 15:43:28 +00:00
%{_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
2011-12-21 15:43:28 +00:00
%files devel
%{_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
2011-12-21 15:43:28 +00:00
%changelog
* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 20181113-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-11-15 01:48:44 +00:00
* Wed Nov 14 2018 Jerry James <loganjerry@gmail.com> - 20181113-1
- New upstream version
- New source URL
* Mon Oct 22 2018 Jerry James <loganjerry@gmail.com> - 20181006-1
- New upstream version
- Ship libraries in the main package
2018-09-28 03:03:01 +00:00
* Thu Sep 27 2018 Jerry James <loganjerry@gmail.com> - 20180905-1
- New upstream version
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 20180530-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-11 15:30:37 +00:00
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 20180530-3
- OCaml 4.07.0 (final) rebuild.
2018-06-20 09:12:02 +00:00
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 20180530-2
- OCaml 4.07.0-rc1 rebuild.
2018-06-07 02:49:16 +00:00
* Wed Jun 6 2018 Jerry James <loganjerry@gmail.com> - 20180530-1
- New upstream version
* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 20171222-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-12-24 18:03:01 +00:00
* Sat Dec 23 2017 Jerry James <loganjerry@gmail.com> - 20171222-1
- New upstream version
2017-12-09 20:03:34 +00:00
* Sat Dec 9 2017 Jerry James <loganjerry@gmail.com> - 20171206-1
- New upstream version
2017-11-08 18:18:52 +00:00
* Wed Nov 08 2017 Richard W.M. Jones <rjones@redhat.com> - 20170712-5
- OCaml 4.06.0 rebuild.
2017-08-07 22:40:22 +00:00
* Mon Aug 07 2017 Richard W.M. Jones <rjones@redhat.com> - 20170712-4
- OCaml 4.05.0 rebuild.
* Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 20170712-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 20170712-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Sat Jul 15 2017 Jerry James <loganjerry@gmail.com> - 20170712-1
- New upstream version
- Build the manual from LaTeX sources
2017-06-26 20:09:35 +00:00
* Mon Jun 26 2017 Richard W.M. Jones <rjones@redhat.com> - 20170607-2
- OCaml 4.04.2 rebuild.
2017-06-10 20:26:17 +00:00
* Sat Jun 10 2017 Jerry James <loganjerry@gmail.com> - 20170607-1
- New upstream version
* Fri May 19 2017 Jerry James <loganjerry@gmail.com> - 20170509-1
- New upstream version
- License change: QPL with exceptions to GPLv2
2017-05-12 12:20:06 +00:00
* Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 20170101-3
- OCaml 4.04.1 rebuild.
* Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 20170101-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2017-01-02 17:06:43 +00:00
* Mon Jan 2 2017 Jerry James <loganjerry@gmail.com> - 20170101-1
- New upstream version
2016-11-16 02:28:39 +00:00
* Tue Nov 15 2016 Jerry James <loganjerry@gmail.com> - 20161115-1
- New upstream version
2016-11-15 03:41:33 +00:00
* Mon Nov 14 2016 Jerry James <loganjerry@gmail.com> - 20161114-1
- New upstream version
2016-11-05 15:31:17 +00:00
* Sat Nov 05 2016 Richard W.M. Jones <rjones@redhat.com> - 20160825-2
- Rebuild for OCaml 4.04.0.
2016-11-05 15:36:48 +00:00
- Add explicit dep on ocamlbuild.
2016-11-05 15:31:17 +00:00
2016-08-27 17:36:25 +00:00
* Sat Aug 27 2016 Jerry James <loganjerry@gmail.com> - 20160825-1
- New upstream version
2016-07-04 22:11:03 +00:00
* Mon Jul 4 2016 Jerry James <loganjerry@gmail.com> - 20160526-1
- New upstream version
2016-05-13 14:19:46 +00:00
* Thu May 12 2016 Jerry James <loganjerry@gmail.com> - 20160504-1
- New upstream version
2016-03-04 04:38:57 +00:00
* Thu Mar 3 2016 Jerry James <loganjerry@gmail.com> - 20160303-1
- New upstream version
* Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 20151112-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2015-11-13 02:31:51 +00:00
* Thu Nov 12 2015 Jerry James <loganjerry@gmail.com> - 20151112-1
- New upstream version
2015-10-27 03:39:41 +00:00
* Mon Oct 26 2015 Jerry James <loganjerry@gmail.com> - 20151026-1
- New upstream version
2015-10-24 18:07:01 +00:00
* Sat Oct 24 2015 Jerry James <loganjerry@gmail.com> - 20151023-1
- New upstream version
2015-10-15 01:54:17 +00:00
* Wed Oct 14 2015 Jerry James <loganjerry@gmail.com> - 20151012-1
- New upstream version
2015-10-09 14:50:14 +00:00
* Fri Oct 9 2015 Jerry James <loganjerry@gmail.com> - 20151005-1
- New upstream version
2015-09-19 17:15:49 +00:00
* Sat Sep 19 2015 Jerry James <loganjerry@gmail.com> - 20150914-1
- New upstream version
2015-07-28 16:33:00 +00:00
* Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 20141215-5
- OCaml 4.02.3 rebuild.
2015-06-24 18:52:39 +00:00
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 20141215-4
- ocaml-4.02.2 final rebuild.
2015-06-17 19:58:14 +00:00
* Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 20141215-3
- ocaml-4.02.2 rebuild.
2015-02-17 10:10:01 +00:00
* Tue Feb 17 2015 Richard W.M. Jones <rjones@redhat.com> - 20141215-2
- ocaml-4.02.1 rebuild.
2015-01-05 18:38:15 +00:00
* Mon Jan 5 2015 Jerry James <loganjerry@gmail.com> - 20141215-1
- New upstream version
2014-08-31 09:43:05 +00:00
* Sun Aug 31 2014 Richard W.M. Jones <rjones@redhat.com> - 20140422-7
- ocaml-4.02.0 final rebuild.
2014-08-23 18:49:30 +00:00
* Sat Aug 23 2014 Richard W.M. Jones <rjones@redhat.com> - 20140422-6
- ocaml-4.02.0+rc1 rebuild.
* Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 20140422-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Mon Aug 4 2014 Jerry James <loganjerry@gmail.com> - 20140422-4
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
- Fix license handling
2014-07-21 17:42:25 +00:00
* Mon Jul 21 2014 Jerry James <loganjerry@gmail.com> - 20140422-3
- OCaml 4.02.0 beta rebuild
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 20140422-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Wed Apr 30 2014 Jerry James <loganjerry@gmail.com> - 20140422-1
- New upstream version
- Fix standard.mly character encoding
* Fri Apr 18 2014 Jerry James <loganjerry@gmail.com> - 20130911-3
- Remove ocaml_arches macro (bz 1087794)
2013-09-16 16:41:44 +00:00
* Mon Sep 16 2013 Jerry James <loganjerry@gmail.com> - 20130911-2
- Rebuild for OCaml 4.01.0
* Thu Sep 12 2013 Jerry James <loganjerry@gmail.com> - 20130911-1
- New upstream version
- Allow debuginfo generation since ocaml 4 supports it
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 20130116-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 20130116-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
2013-01-21 18:45:29 +00:00
* Mon Jan 21 2013 Jerry James <loganjerry@gmail.com> - 20130116-1
- New upstream version
2012-10-17 15:22:13 +00:00
* Wed Oct 17 2012 Jerry James <loganjerry@gmail.com> - 20120123-5
- Rebuild for OCaml 4.00.1.
* Fri Jul 20 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 20120123-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
2012-06-11 08:10:44 +00:00
* Mon Jun 11 2012 Richard W.M. Jones <rjones@redhat.com> - 20120123-3
- Rebuild for OCaml 4.00.0.
2012-06-08 22:13:37 +00:00
* Fri Jun 8 2012 Jerry James <loganjerry@gmail.com> - 20120123-2
- Rebuild for OCaml 4.00.0
2012-01-23 18:14:36 +00:00
* Mon Jan 23 2012 Jerry James <loganjerry@gmail.com> - 20120123-1
- New upstream version
2012-01-06 17:25:35 +00:00
* Fri Jan 6 2012 Jerry James <loganjerry@gmail.com> - 20111019-3
- Rebuild for ocaml 3.12.1
2011-12-21 15:43:28 +00:00
* Mon Dec 19 2011 Jerry James <loganjerry@gmail.com> - 20111019-2
- Change the subpackages to match Debian
- Add patch to allow building demos outside of the menhir source tree
* Wed Nov 9 2011 Jerry James <loganjerry@gmail.com> - 20111019-1
- Initial RPM