]> git.pld-linux.org Git - packages/z3.git/commitdiff
- moved META file to base ocaml package auto/th/z3-4.8.13-1
authorJakub Bogusz <qboosh@pld-linux.org>
Mon, 20 Dec 2021 16:57:36 +0000 (17:57 +0100)
committerJakub Bogusz <qboosh@pld-linux.org>
Mon, 20 Dec 2021 16:57:36 +0000 (17:57 +0100)
z3.spec

diff --git a/z3.spec b/z3.spec
index 2bbdf3cc0756b515dd983bcff8f2640d5561bafe..b179df44b165f210cac93dc08994d106d29d9294 100644 (file)
--- 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
This page took 0.103385 seconds and 4 git commands to generate.