[cduce-devel] config file
Giuseppe.Castagna at ens.fr
Sun Nov 16 23:36:06 CET 2003
On Sun, 2003-11-16 at 22:12, Stefano Zacchiroli wrote:
> On Sun, Nov 16, 2003 at 01:10:30PM +0100, Giuseppe Castagna wrote:
> > - trouver le programme install (sous windows si on ne met pas le path
> > complet il execute le ficher INSTALL :-)
> > - reconnaitre si on est sous cygwin et ajouter le prefixe .exe dans les
> > executables
> > - reconnaitre si la version native de ocaml est installee.
> > - avoir une option --with-expat --with-pxp --prefix
> > Ceci me parait vraiment le minimum. Suggestions?
> It seems to me that al these options can be checked directly in the
> Makefile, in the "install" target. The only exception can be the
> "prefix" option, but we can suggest to the user to modify a simple
> configuration file with the target installation directory. A user
> willing to install cduce in a non-standard path and able to manual tune
> configure is surely also able to edit a configuration file.
Sure, but it is starting to become quite a little bunch of stuff that we
could move in a configure script. Ok I see you are all against a
More information about the Cduce-devel