Re: [Vampire-public] Comments about recent news & some ideas about the future

[Akim Demaille]

>>> "Nicolas" == Nicolas Burrus <address@hidden> writes:

 > Hi all,

Hi one,

 > So what's the point? We would like to share the host informations
 > for Olena and Transformers.

Actually, it seems to me that another critical feature would be to
have Vampire probe the machines to set up this configuration file.  I
don't trust users for this.

I don't think we need something like the Autoconf machinery, a simple,
robust, and generic parsing of -v, --version, -V etc. should suffice.


 > And then, it is up to the tarball configuration file to create
 > virtual host classes, corresponding to the specific needs of the
 > package to be tested. You may think that it's a pity to have to
 > take care about host specific information (software versions, etc.)
 > in the tarball configuration file, but I really don't see how to
 > avoid it.

I subscribe to this.

I like your plan a lot, but the main issues will be... who will
implement this?  Who still has time to devote to Vampire?