27 lines
826 B
Diff
27 lines
826 B
Diff
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
|
|
|