[Caml-list] 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-li...@yquem.inria.fr
> [mailto:menhir-li...@yquem.inria.fr] Im Auftrag von
> Erik de Castro Lopo
> Gesendet: Dienstag, 8. August 2006 10:41
> An: menhi...@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
> Menhi...@yquem.inria.fr
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/menhir-list
>

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs