From: Jakub Bogusz <qboosh@pld-linux.org>
Date: Mon, 20 Dec 2021 16:57:36 +0000 (+0100)
Subject: - moved META file to base ocaml package
X-Git-Tag: auto/th/z3-4.8.13-1
X-Git-Url: http://git.pld-linux.org/gitweb.cgi?a=commitdiff_plain;h=a859ebdf32b0960885c7587c5223f605956b66dd;p=packages%2Fz3.git

- moved META file to base ocaml package
---

diff --git a/z3.spec b/z3.spec
index 2bbdf3c..b179df4 100644
--- a/z3.spec
+++ b/z3.spec
@@ -274,6 +274,7 @@ rm -rf $RPM_BUILD_ROOT
 %defattr(644,root,root,755)
 %attr(755,root,root) %{_libdir}/ocaml/stublibs/dllz3ml.so
 %dir %{_libdir}/ocaml/Z3
+%{_libdir}/ocaml/Z3/META
 %{_libdir}/ocaml/Z3/z3ml.cma
 %if %{with ocaml_opt}
 %attr(755,root,root) %{_libdir}/ocaml/Z3/z3ml.cmxs
@@ -281,7 +282,6 @@ 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