[packages/z3] - update ocaml META file location - rel 3

[baggins]

commit 68d8dbb414fbbb063bb3a7add85c7b24517098aa
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Sat Mar 27 21:39:02 2021 +0100

    - update ocaml META file location
    - rel 3

 z3.spec | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)
---
diff --git a/z3.spec b/z3.spec
index e47f297..b4a448f 100644
--- a/z3.spec
+++ b/z3.spec
@@ -14,7 +14,7 @@ Summary:	High-performance theorem prover developed at Microsoft Research
 Summary(pl.UTF-8):	Wydajne narzędzie do dowodzenia twierdzeń tworzone przez Microsoft Research
 Name:		z3
 Version:	4.8.7
-Release:	2
+Release:	3
 License:	MIT
 Group:		Applications/Engineering
 #Source0Download: https://github.com/Z3Prover/z3/releases
@@ -216,7 +216,7 @@ rm -rf $RPM_BUILD_ROOT
 
 %if %{with ocaml}
 cd build-cmake
-install -d $RPM_BUILD_ROOT%{_libdir}/ocaml/{site-lib/Z3,stublibs}
+install -d $RPM_BUILD_ROOT%{_libdir}/ocaml/stublibs
 ocamlfind install -destdir $RPM_BUILD_ROOT%{_libdir}/ocaml Z3 src/api/ml/META \
 	src/api/ml/z3*.mli src/api/ml/z3*.cmi \
 	src/api/ml/dllz3ml.so src/api/ml/libz3ml.a src/api/ml/z3ml.cma \
@@ -226,13 +226,9 @@ ocamlfind install -destdir $RPM_BUILD_ROOT%{_libdir}/ocaml Z3 src/api/ml/META \
 %endif
 
 %{__rm} $RPM_BUILD_ROOT%{_libdir}/ocaml/stublibs/dllz3ml.so.owner
-%{__mv} $RPM_BUILD_ROOT%{_libdir}/ocaml/Z3/META $RPM_BUILD_ROOT%{_libdir}/ocaml/site-lib/Z3
 %if %{without ocaml_opt}
-%{__sed} -i -e '/archive.*native/d' $RPM_BUILD_ROOT%{_libdir}/ocaml/site-lib/Z3/META
+%{__sed} -i -e '/archive.*native/d' $RPM_BUILD_ROOT%{_libdir}/ocaml/Z3/META
 %endif
-cat <<EOF >> $RPM_BUILD_ROOT%{_libdir}/ocaml/site-lib/Z3/META
-directory="+Z3"
-EOF
 cd ..
 %endif
 
@@ -286,6 +282,7 @@ rm -rf $RPM_BUILD_ROOT
 
 %files -n ocaml-z3-devel
 %defattr(644,root,root,755)
+%{_libdir}/ocaml/Z3/META
 %{_libdir}/ocaml/Z3/libz3ml.a
 %{_libdir}/ocaml/Z3/z3*.cmi
 %{_libdir}/ocaml/Z3/z3*.mli
@@ -294,7 +291,6 @@ rm -rf $RPM_BUILD_ROOT
 %{_libdir}/ocaml/Z3/z3*.cmx
 %{_libdir}/ocaml/Z3/z3ml.cmxa
 %endif
-%{_libdir}/ocaml/site-lib/Z3
 %endif
 
 %files -n python-z3
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/z3.git/commitdiff/68d8dbb414fbbb063bb3a7add85c7b24517098aa