From: Christoph Bauer <christoph.bauer@lms-gmbh.de>
To: Erik de Castro Lopo <mle+ocaml@mega-nerd.com>
Cc: caml-list@inria.fr
Subject: AW: [Menhir-list] Error: /share/menhir/standard.mly: No such file or directory
Date: Tue, 8 Aug 2006 11:11:01 +0200 [thread overview]
Message-ID: <26EB47FDD566A7469FC862DAF373792F01711A61@kaiserslautern1.lmsintl.com> (raw)
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
>
reply other threads:[~2006-08-08 9:11 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=26EB47FDD566A7469FC862DAF373792F01711A61@kaiserslautern1.lmsintl.com \
--to=christoph.bauer@lms-gmbh.de \
--cc=caml-list@inria.fr \
--cc=mle+ocaml@mega-nerd.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox