diff --git a/apron.spec b/apron.spec index b3c67b3..ddbeba0 100644 --- a/apron.spec +++ b/apron.spec @@ -1,6 +1,6 @@ Name: apron Version: 0.9.13 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Numerical abstract domain library # The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of @@ -150,7 +150,7 @@ sed -i 's, install ,&-destdir %{buildroot}%{_libdir}/ocaml -ldconf ignore ,' \ Makefile # Install -mkdir -p %{buildroot}%{_libdir}/ocaml +mkdir -p %{buildroot}%{_libdir}/ocaml/stublibs mkdir -p %{buildroot}%{_jnidir} make install INSTALL="install -p" APRON_PREFIX=%{buildroot}%{_prefix} \ JAVA_PREFIX=%{buildroot}%{_jnidir} @@ -188,7 +188,7 @@ mv apron/html doc/apron mv apronxx/doc/html doc/apronxx %check -export LD_LIBRARY_PATH=%{buildroot}%{_libdir}:%{buildroot}%{_libdir}/ocaml/apron +export LD_LIBRARY_PATH=%{buildroot}%{_libdir} make -C test APRON_INCLUDE=%{buildroot}%{_includedir}/%{name} \ APRON_LIB=%{buildroot}%{_libdir}/ocaml/%{name} \ CAMLIDL_PREFIX=%{buildroot}%{_libdir} @@ -212,7 +212,7 @@ test/ctest1 %{_libdir}/ocaml/%{name}/*.cma %{_libdir}/ocaml/%{name}/*.cmi %{_libdir}/ocaml/%{name}/*.cmxs -%{_libdir}/ocaml/%{name}/*.so +%{_libdir}/ocaml/stublibs/dll* %files -n ocaml-%{name}-devel %doc mlapronidl/html/* @@ -232,6 +232,9 @@ test/ctest1 %{_jnidir}/*.so %changelog +* Fri Nov 20 2020 Jerry James - 0.9.13-2 +- Fix install location of OCaml stublibs + * Fri Sep 25 2020 Jerry James - 0.9.13-1 - Version 0.9.13 - Drop upstreamed -texinfo patch