Summary(pl.UTF-8): Kompilator OCamla (Objective Caml) oraz środowisko programistyczne
Name: ocaml
Version: 4.12.0
-Release: 2
+Release: 5
Epoch: 1
License: QPL v1.0 with linking exception (compiler), LGPL v2 with linking exception (library)
Group: Development/Languages
# note: dead URL
Source5: http://www.ocaml.info/ocaml_sources/ds-contrib.tar.gz
# Source5-md5: 77fa1da7375dea1393cc0b6cd802d7e1
+Patch0: %{name}-10266.patch
URL: https://www.ocaml.org/
Requires: %{name}-runtime = %{epoch}:%{version}-%{release}
Provides: ocaml-bytes-devel
Provides: ocaml-ocamldoc
Obsoletes: ocaml-bytes-devel
-Obsoletes: ocaml-doc-ps < 4.12
-Obsoletes: ocaml-emacs < 4.12
+Obsoletes: ocaml-doc-ps < 1:4.12
+Obsoletes: ocaml-emacs < 1:4.12
Obsoletes: ocaml-ocamldoc
-Obsoletes: ocaml-x11graphics < 4.12
-Obsoletes: ocaml-x11graphics-devel < 4.12
+Obsoletes: ocaml-x11graphics < 1:4.12
+Obsoletes: ocaml-x11graphics-devel < 1:4.12
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
%define specflags -fno-strict-aliasing
+%if %{without ocaml_opt}
+%define _noautoreq Backend_intf Inlining_decision_intf Simplify_boxed_integer_ops_intf
+%endif
+
%description
Objective Caml is a high-level, strongly-typed, functional and
object-oriented programming language from the ML family of languages.
%prep
%setup -q -a1 -a3
+%patch0 -p1
+
mkdir examples
tar xzf %{SOURCE4} -C examples
tar xzf %{SOURCE5} -C examples
# order mess with docs somewhat
mkdir -p docs/html
-mv htmlman docs/html/ocaml
+%{__mv} htmlman docs/html/ocaml
%build
%configure \
%install
rm -rf $RPM_BUILD_ROOT
install -d $RPM_BUILD_ROOT{%{_includedir},%{_infodir},%{_examplesdir}/%{name}-%{version}}
-install -d $RPM_BUILD_ROOT%{_libdir}/%{name}/site-lib
%{__make} install \
DESTDIR=$RPM_BUILD_ROOT
%{__rm} -r $RPM_BUILD_ROOT%{_mandir}/man3
# install info pages
-cp -f infoman/*.gz $RPM_BUILD_ROOT%{_infodir}
+cp -p infoman/ocaml.info{,.body-*}.gz $RPM_BUILD_ROOT%{_infodir}
%clean
rm -rf $RPM_BUILD_ROOT
%attr(755,root,root) %{_bindir}/ocamlrund
%attr(755,root,root) %{_bindir}/ocamlruni
%dir %{_libdir}/%{name}
-%dir %{_libdir}/%{name}/site-lib
%dir %{_libdir}/%{name}/stublibs
%{_libdir}/%{name}/eventlog_metadata
%attr(755,root,root) %{_libdir}/%{name}/stublibs/dll*.so