AW: [Menhir-list] Error: /share/menhir/standard.mly: No such file or directory

AW: [Menhir-list] Error: /share/menhir/standard.mly: No such file or directory

[Christoph Bauer]

Hi,

you should compile likewise with the PREFIX-flags:

make clean
make PREFIX=$HOME/Tools/
make PREFIX=$HOME/Tools/ install

Christoph Bauer

> -----Ursprüngliche Nachricht-----
> Von: menhir-list-bounces@yquem.inria.fr 
> [mailto:menhir-list-bounces@yquem.inria.fr] Im Auftrag von 
> Erik de Castro Lopo
> Gesendet: Dienstag, 8. August 2006 10:41
> An: menhir-list@yquem.inria.fr
> Betreff: [Menhir-list] Error: /share/menhir/standard.mly: No 
> such file or directory
> 
> Hi all,
> 
> I've got the latest tarball (menhir-20060615.tar.gz) and 
> installed it using:
> 
>      PREFIX=$HOME/Tools/ make install
> 
> and when I run it I get the following error message:
> 
>     Error: /share/menhir/standard.mly: No such file or directory
> 
> but that file is actually at $HOME/Tools/share/menhir/standard.mly
> 
> 
> Can this please be fixed so I can play with menhir?
> 
> Thanks,
> Erik
> -- 
> +-----------------------------------------------------------+
>   Erik de Castro Lopo
> +-----------------------------------------------------------+
> "Christianity has a nasty habit of ignoring the major 
> problems of our time, including overpopulation and exhaustion 
> of resources, because they aren't mentioned in the Bible."
> -- Paula L. Craig
> 
> _______________________________________________
> Menhir-list mailing list
> Menhir-list@yquem.inria.fr
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/menhir-list
>