I'm trying to package the Coq theorem proving system.
My goal is to create a main package with the system and then a
subpackage for the (optional) IDE. I've written out a spec file, and
it does compile (that is, I can generate rpms with "rpmbuild -bb
SPECS/coq.spec"), but this process generates quite a number of "file
listed twice" warnings that I would like to eliminate like:
warning: File listed twice: /usr/lib/coq/contrib
warning: File listed twice: /usr/lib/coq/contrib.cma
warning: File listed twice: /usr/lib/coq/contrib.cmxa
warning: File listed twice: /usr/lib/coq/contrib/field
warning: File listed twice: /usr/lib/coq/contrib/field
warning: File listed twice: /usr/lib/coq/contrib/field/LegacyField.vo
warning: File listed twice: /usr/lib/coq/contrib/field/LegacyField.vo
warning: File listed twice: /usr/lib/coq/contrib/field/LegacyField.vo
...
(the duplicated warnings are listed multiple times in the output, as
are many files)
I thought that somehow things could've gone wrong in the files list
that I generate to use in the %files section via:
find %{buildroot}%{_libdir}/coq -fprint coqlibfiles
sed -i -e "s|%{buildroot}||" coqlibfiles
cat coqlibfiles >> coqfiles
but none of the files are duplicated in the coqfiles file
%files -f coqfiles
%defattr(-,root,root)
%doc CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL INSTALL.ide
KNOWN-BUGS LICENSE README
%doc %{_mandir}/man1/coq*
%doc %{_mandir}/man1/gallina.1.gz
%doc %{_mandir}/man1/parser.1.gz
%{_bindir}/coq*
%{_bindir}/gallina
%{_bindir}/parser
# Parser.opt included seperately
%exclude %{_bindir}/coqide*
%exclude %{_libdir}/coq/ide/*
%files coqide
%defattr(-,root,root)
%{_bindir}/coqide*
%{_libdir}/coq/ide/*
Anyone know what I'm doing wrong?
--
fedora-devel-list mailing list
fedora-devel-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-devel-list
