[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