Packaging issues with files section for my future coq package

Toshio Kuratomi a.badger at gmail.com
Thu Jun 5 15:35:39 UTC 2008


Alan Dunn wrote:
> The full spec file is below -
> 
> My motivation for doing things the way I did was that I wanted to
> incorporate arbitrarily deep (admittedly I know the depth for this
> particular version in advance, but one can imagine this changing
> between versions and it didn't seem like a good solution to create
> something that would have to be fixed with each upgrade) directory
> structures instead of including
> 
> /usr/lib/coq/*
> /usr/lib/coq/*/*
> (etc)
> 
Things listed in %files can be directories and do work recursively.  So 
what do you think of these changes:
> 
> %files -f coqfiles

%files

> %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

%{_bindir}/parser*

> # Parser.opt included seperately
> %exclude %{_bindir}/coqide*
> %exclude %{_libdir}/coq/ide/*

%exclude %{_libdir}/coq/ide/

> 
> %files coqide
> %defattr(-,root,root)
> %{_bindir}/coqide*
> %{_libdir}/coq/ide/*
> 

%{_libdir}/coq/ide/

> %changelog
> * Wed Jun 14 2008 Alan Dunn <amdunn at gmail.com> 8.1pl3-1
> - Initial version.
> 

And then clean out your find invocations in %build as they aren't 
needed.  %exclude

-Toshio

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 197 bytes
Desc: OpenPGP digital signature
Url : http://lists.fedoraproject.org/pipermail/devel/attachments/20080605/ebc95778/attachment.bin 


More information about the devel mailing list