[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Vampire-public] Comments about recent news & some ideas about the f
From: |
Maxime Biais |
Subject: |
Re: [Vampire-public] Comments about recent news & some ideas about the future |
Date: |
Tue, 24 Feb 2004 23:32:14 +0100 |
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