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

Re: [PVS-Help] PVS 5.0 missing sources

Hi Jerry,

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
  https://spartan.csl.sri.com/svn/public/pvs/trunk pvs5.0
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 <loganjerry@gmail.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
> tarball:
> BDD/bdd_interface.h
> BDD/mu_interface.h
> bin/tar-b64-mail
> doc/api
> doc/datatypes
> doc/interpretations
> doc/semantics
> src/Field
> src/Manip
> src/ProofLite
> src/rahd
> Can you respin the source tarball with the missing elements included?
> Thank you and regards,
> -- 
> Jerry James
> http://www.jamezone.org/