diff --git a/.gitignore b/.gitignore index e3379cc13..f1cabe581 100644 --- a/.gitignore +++ b/.gitignore @@ -65,5 +65,5 @@ cerb_times.csv .DS_Store .AppleDouble .LSOverride -Icon[] +Icon[\] ._* diff --git a/util/cerb_runtime.ml b/util/cerb_runtime.ml index e4450d327..9721c5203 100644 --- a/util/cerb_runtime.ml +++ b/util/cerb_runtime.ml @@ -44,7 +44,7 @@ let detect_runtime : unit -> runtime_loc = fun _ -> (* Then check for build time runtime (in repository). *) find_cerblib_sourceroot () else None - ; mk= fun ~pkg -> source, prefix / "lib" / pkg / "runtime" } in + ; mk= fun ~pkg -> source, prefix / pkg / "runtime" } in match !specified_runtime with Some(path) -> wrap `SPECIFIED path | None -> (* Then check the CERB_INSTALL_PREFIX environment variable. *) try wrap `ENV_VAR (Sys.getenv "CERB_INSTALL_PREFIX") with Not_found ->