Packaging issues with files section for my future coq package

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]
  Powered by Linux