[packages/z3] - moved META file to base ocaml package

qboosh qboosh at pld-linux.org
Mon Dec 20 17:56:52 CET 2021


commit a859ebdf32b0960885c7587c5223f605956b66dd
Author: Jakub Bogusz <qboosh at pld-linux.org>
Date:   Mon Dec 20 17:57:36 2021 +0100

    - moved META file to base ocaml package

 z3.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
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
================================================================

---- gitweb:

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



More information about the pld-cvs-commit mailing list