[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] PVS 5.0 missing sources
I replaced the pvs-5.0-source.tgz file. It was created from the bin/dist
script, but for this one I did it more directly:
I got the sources from subversion
then cd'd to pvs5.0 and tarred it with
tar czf ../pvs-5.0-source.tgz --exclude-vcs .
I'm going to modify the bin/dist script to do this, rather than
modifying it every time there are new sources.
Jerry James <email@example.com> wrote:
> Thanks for the PVS 5.0 release! I'm working on packaging it for
> Fedora, and have encountered some missing files and directories. In
> particular, these are in subversion, but not in the released source
> Can you respin the source tarball with the missing elements included?
> Thank you and regards,
> Jerry James