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

[Maxime Biais]

On Tue, 24 Feb 2004 17:22:04 +0100
address@hidden (Nicolas Burrus) wrote:

> > 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.
> 
> I agree with you, it would be a nice thing to have Vampire checking
> all this information automatically. Actually, I'd like to have a way
> to manually configure Vampire with a lot of flexibility in a first
> step, and then we should add all the automatic probes, default
> parameters, etc. which make the life of the user easier.

Yes, we must write Vampire before "Vampire configurator 3000" ;).

-- 
Maxime Biais