2011-12-21 15:43:28 +00:00
|
|
|
%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
|
|
|
|
%if %opt
|
2013-09-12 20:07:47 +00:00
|
|
|
%global target native
|
2011-12-21 15:43:28 +00:00
|
|
|
%else
|
|
|
|
%global target byte
|
2014-04-30 14:41:40 +00:00
|
|
|
%global debug_package %{nil}
|
2011-12-21 15:43:28 +00:00
|
|
|
%endif
|
|
|
|
|
|
|
|
Name: ocaml-menhir
|
2016-05-13 14:19:46 +00:00
|
|
|
Version: 20160504
|
2016-03-04 04:38:57 +00:00
|
|
|
Release: 1%{?dist}
|
2011-12-21 15:43:28 +00:00
|
|
|
Summary: LR(1) parser generator for OCaml
|
|
|
|
|
2015-01-05 18:38:15 +00:00
|
|
|
# The generator is QPL, with an exception granted to clause 6c.
|
|
|
|
License: QPL with exceptions
|
2011-12-21 15:43:28 +00:00
|
|
|
URL: http://gallium.inria.fr/~fpottier/menhir/
|
|
|
|
Source0: http://gallium.inria.fr/~fpottier/menhir/menhir-%{version}.tar.gz
|
|
|
|
|
|
|
|
BuildRequires: ocaml
|
2013-09-12 20:07:47 +00:00
|
|
|
BuildRequires: ocaml-findlib
|
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}
|
2015-01-05 18:38:15 +00:00
|
|
|
# The library is LGPLv2+ with a linking exception.
|
2011-12-21 15:43:28 +00:00
|
|
|
License: LGPLv2+ with exceptions
|
|
|
|
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}
|
|
|
|
|
|
|
|
# Fix encodings
|
2016-03-04 04:38:57 +00:00
|
|
|
for f in AUTHORS menhir.1; do
|
2011-12-21 15:43:28 +00:00
|
|
|
iconv -f ISO8859-1 -t UTF-8 $f > $f.fixed
|
|
|
|
touch -r $f $f.fixed
|
|
|
|
mv -f $f.fixed $f
|
|
|
|
done
|
|
|
|
|
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
|
|
|
|
|
|
|
|
%install
|
2015-11-13 02:31:51 +00:00
|
|
|
# Remove executable bits from a demo file
|
|
|
|
chmod a-x demos/find-menhir.sh
|
|
|
|
|
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
|
|
|
|
|
|
|
%files
|
2014-08-04 17:48:46 +00:00
|
|
|
%doc AUTHORS CHANGES 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/
|
|
|
|
|
|
|
|
%files devel
|
|
|
|
%{_libdir}/ocaml/menhirLib/
|
|
|
|
|
|
|
|
%changelog
|
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
|
|
|
|
|
2016-02-04 11:08:20 +00:00
|
|
|
* 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.
|
|
|
|
|
2014-08-17 12:58:23 +00:00
|
|
|
* 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
|
|
|
|
|
2014-08-04 17:48:46 +00:00
|
|
|
* 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
|
|
|
|
|
2014-06-07 15:42:05 +00:00
|
|
|
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 20140422-2
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
|
|
|
|
2014-04-30 14:41:40 +00:00
|
|
|
* Wed Apr 30 2014 Jerry James <loganjerry@gmail.com> - 20140422-1
|
|
|
|
- New upstream version
|
|
|
|
- Fix standard.mly character encoding
|
|
|
|
|
2014-04-18 20:28:29 +00:00
|
|
|
* 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
|
|
|
|
|
2013-09-12 20:07:47 +00:00
|
|
|
* Thu Sep 12 2013 Jerry James <loganjerry@gmail.com> - 20130911-1
|
|
|
|
- New upstream version
|
|
|
|
- Allow debuginfo generation since ocaml 4 supports it
|
|
|
|
|
2013-08-03 14:56:23 +00:00
|
|
|
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 20130116-3
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
|
|
|
|
|
2013-02-14 09:00:00 +00:00
|
|
|
* 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.
|
|
|
|
|
2012-07-20 06:02:58 +00:00
|
|
|
* 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
|