2018-01-17 01:34:59 +00:00
|
|
|
Name: ocaml-sedlex
|
2019-10-30 07:28:22 +00:00
|
|
|
Version: 2.1
|
2019-12-18 13:59:09 +00:00
|
|
|
Release: 3%{?dist}
|
2018-01-17 01:34:59 +00:00
|
|
|
Summary: Unicode-friendly lexer generator
|
|
|
|
|
|
|
|
License: MIT
|
2019-10-30 07:28:22 +00:00
|
|
|
URL: https://github.com/ocaml-community/sedlex
|
|
|
|
Source0: https://github.com/ocaml-community/sedlex/archive/v%{version}/%{name}-%{version}.tar.gz
|
2018-01-17 01:34:59 +00:00
|
|
|
|
|
|
|
BuildRequires: ocaml
|
|
|
|
BuildRequires: ocaml-findlib
|
2019-10-30 07:28:22 +00:00
|
|
|
BuildRequires: ocaml-dune
|
2018-01-17 01:34:59 +00:00
|
|
|
BuildRequires: ocaml-result-devel
|
|
|
|
BuildRequires: ocaml-migrate-parsetree-devel
|
2019-08-06 13:58:55 +00:00
|
|
|
BuildRequires: ocaml-ppx-derivers-devel
|
2018-01-17 01:34:59 +00:00
|
|
|
BuildRequires: ocaml-ppx-tools-versioned-devel
|
|
|
|
BuildRequires: ocaml-gen-devel
|
|
|
|
|
|
|
|
%description
|
|
|
|
A lexer generator for OCaml, similar to ocamllex, but supporting Unicode.
|
|
|
|
Contrary to ocamllex, lexer specifications for sedlex are embedded in
|
|
|
|
regular OCaml source files.
|
|
|
|
|
|
|
|
|
|
|
|
%package devel
|
|
|
|
Summary: Development files for %{name}
|
|
|
|
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 sedlex-%{version}
|
|
|
|
|
|
|
|
%build
|
2019-10-30 07:28:22 +00:00
|
|
|
dune build -p sedlex --verbose
|
2018-01-17 01:34:59 +00:00
|
|
|
|
|
|
|
%install
|
2019-10-30 07:28:22 +00:00
|
|
|
dune install --destdir="$RPM_BUILD_ROOT" --verbose
|
2018-01-17 01:34:59 +00:00
|
|
|
|
2019-10-30 07:28:22 +00:00
|
|
|
# These will be installed using doc and license directives.
|
|
|
|
rm -r $RPM_BUILD_ROOT%{_prefix}/doc/sedlex/{CHANGES,README.md,LICENSE}
|
2018-01-17 01:34:59 +00:00
|
|
|
|
|
|
|
# Makes *.cmxs and *.opt executable such that they will be stripped.
|
|
|
|
find $RPM_BUILD_ROOT -name '*.{cmxs,opt}' -exec chmod 0755 {} \;
|
|
|
|
|
2019-11-08 07:41:29 +00:00
|
|
|
# uchar is a compatibility package for older OCaml version
|
|
|
|
sed -i 's/uchar//g' $RPM_BUILD_ROOT%{_libdir}/ocaml/sedlex/META
|
|
|
|
sed -i 's/uchar//g' $RPM_BUILD_ROOT%{_libdir}/ocaml/sedlex/dune-package
|
|
|
|
sed -i 's/"uchar"//g' $RPM_BUILD_ROOT%{_libdir}/ocaml/sedlex/opam
|
|
|
|
|
2018-01-17 01:34:59 +00:00
|
|
|
%files
|
|
|
|
%doc README.md CHANGES
|
|
|
|
%license LICENSE
|
|
|
|
%{_libdir}/ocaml/*
|
|
|
|
%ifarch %{ocaml_native_compiler}
|
|
|
|
%exclude %{_libdir}/ocaml/*/*.a
|
|
|
|
%exclude %{_libdir}/ocaml/*/*.cmxa
|
|
|
|
%exclude %{_libdir}/ocaml/*/*.cmx
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
|
|
%files devel
|
|
|
|
%doc README.md CHANGES
|
|
|
|
%license LICENSE
|
|
|
|
%ifarch %{ocaml_native_compiler}
|
|
|
|
%{_libdir}/ocaml/*/*.a
|
|
|
|
%{_libdir}/ocaml/*/*.cmxa
|
|
|
|
%{_libdir}/ocaml/*/*.cmx
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
|
|
%changelog
|
2019-12-18 13:59:09 +00:00
|
|
|
* Wed Jan 01 2020 Andy Li <andy@onthewings.net> - 2.1-3
|
|
|
|
- Rebuild against latest ocaml package.
|
|
|
|
- Remove unneeded BuildRequires on opam-installer.
|
|
|
|
|
2019-11-08 07:41:29 +00:00
|
|
|
* Fri Nov 08 2019 Andy Li <andy@onthewings.net> - 2.1-2
|
|
|
|
- Remove dependency on uchar.
|
|
|
|
|
2019-10-30 07:28:22 +00:00
|
|
|
* Wed Oct 30 2019 Andy Li <andy@onthewings.net> - 2.1-1
|
|
|
|
- New upstream version.
|
|
|
|
- Update URL.
|
|
|
|
|
|
|
|
* Thu Aug 08 2019 Andy Li <andy@onthewings.net> - 1.99.4-7
|
2019-08-06 13:58:55 +00:00
|
|
|
- Add ppx_tools_versioned.diff, fix build.
|
|
|
|
|
2019-07-25 23:01:07 +00:00
|
|
|
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.99.4-6
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
|
|
|
2019-02-14 05:12:26 +00:00
|
|
|
* Thu Feb 14 2019 Andy Li <andy@onthewings.net> - 1.99.4-5
|
|
|
|
- Do not build in parallel since the Makefile does not support it.
|
|
|
|
|
2019-02-01 16:57:46 +00:00
|
|
|
* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.99.4-4
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
|
|
|
2018-07-13 14:48:30 +00:00
|
|
|
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.99.4-3
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
|
|
|
2018-02-08 08:58:21 +00:00
|
|
|
* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.99.4-2
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
|
|
|
2018-01-17 01:34:59 +00:00
|
|
|
* Fri Jan 12 2018 Andy Li <andy@onthewings.net> - 1.99.4-1
|
|
|
|
- Initial RPM release.
|