From e385f6366e0415fa1407d2f7d7b5c90cf4544de7cec832f7c47da25fb7f03060 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Tue, 25 Feb 2025 16:12:13 +0100 Subject: [PATCH] Sync from SUSE:SLFO:Main ocaml-rpm-macros revision 3b6f5dec429970c13c0774ffe03a7704 --- ocaml-rpm-macros.changes | 5 +++++ ocaml-rpm-macros.spec | 12 ++++++++++-- 2 files changed, 15 insertions(+), 2 deletions(-) diff --git a/ocaml-rpm-macros.changes b/ocaml-rpm-macros.changes index ae28d1e..178f3fc 100644 --- a/ocaml-rpm-macros.changes +++ b/ocaml-rpm-macros.changes @@ -1,3 +1,8 @@ +------------------------------------------------------------------- +Mon Sep 9 09:09:09 UTC 2024 - ohering@suse.de + +- Package also *.vo and *.glob, for Coq + ------------------------------------------------------------------- Tue Oct 31 21:44:55 UTC 2023 - Aaron Puchert diff --git a/ocaml-rpm-macros.spec b/ocaml-rpm-macros.spec index 7a66452..520ad23 100644 --- a/ocaml-rpm-macros.spec +++ b/ocaml-rpm-macros.spec @@ -1,7 +1,7 @@ # # spec file for package ocaml-rpm-macros # -# Copyright (c) 2023 SUSE LLC +# Copyright (c) 2024 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -17,7 +17,7 @@ Name: ocaml-rpm-macros -Version: 20231101 +Version: 20240909 Release: 0 Summary: RPM macros for building OCaml source packages License: GPL-2.0-only @@ -330,6 +330,14 @@ tee %buildroot%_rpmmacrodir/macros.%name <<'_EOF_' /\\/[^/]+\\.v$/{\ files_devel($0)\ }\ + # Some Coq files\ + /\\/[^/]+\\.vo$/{\ + files_devel($0)\ + }\ + # Some Coq files\ + /\\/[^/]+\\.glob$/{\ + files_devel($0)\ + }\ #\ # record unknown paths\ files_unhandled($0)\