| From 0f243fb8f19bf6935c41e183a365860ae21a50d1 Mon Sep 17 00:00:00 2001 |
| From: Junjie Mao <eternal.n08@gmail.com> |
| Date: Tue, 7 Apr 2015 07:34:35 +0800 |
| Subject: [PATCH] use lib/flexdll/ as the default library path |
| |
| Signed-off-by: Junjie Mao <eternal.n08@gmail.com> |
| --- |
| reloc.ml | 2 +- |
| 1 file changed, 1 insertion(+), 1 deletion(-) |
| |
| diff --git a/reloc.ml b/reloc.ml |
| index b4b96bd..17eed13 100644 |
| --- a/reloc.ml |
| +++ b/reloc.ml |
| @@ -29,7 +29,7 @@ let flexdir = |
| let s = Sys.getenv "FLEXDIR" in |
| if s = "" then raise Not_found else s |
| with Not_found -> |
| - Filename.dirname Sys.executable_name |
| + List.fold_left (fun base dir -> Filename.concat base dir) (Filename.dirname Sys.executable_name) ["..";"lib";"flexdll"] |
| |
| let ext_obj () = |
| if !toolchain = `MSVC || !toolchain = `MSVC64 then ".obj" else ".o" |
| -- |
| 2.3.4 |
| |
