tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1diff --git a/src/installation.ml b/src/installation.ml
2index 3c64e395..be7d6e7b 100644
3--- a/src/installation.ml
4+++ b/src/installation.ml
5@@ -39,13 +39,4 @@ let rec normalize fn =
6 and hope that it is of the form [.../bin/menhir]. We change this to
7 [.../lib/menhirLib], and hope that this is where MenhirLib is installed. *)
8
9-let libdir () =
10- let root =
11- Sys.executable_name
12- |> normalize
13- |> Filename.dirname (* remove [menhir] *)
14- |> Filename.dirname (* remove [bin] *)
15- in
16- Filename.concat
17- root
18- (Filename.concat "lib" "menhirLib")
19+let libdir () = ignore normalize; "@libdir@"