diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2016-09-20 08:17:28 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-20 08:17:28 +0200 |
commit | 27384ea726edd394c31a3bd35503488f5494fe67 (patch) | |
tree | 1b63e4c6d9e91361d7555831c59f62e6001f1fda /src/fontloader/misc/fontloader-swiglib.lua | |
parent | 692704c12ac6f952080aad16df123400a0c82c0e (diff) | |
parent | 83b27d3d2faa30ef518f1b5e0a4a87a74107a93c (diff) | |
download | luaotfload-27384ea726edd394c31a3bd35503488f5494fe67.tar.gz |
Merge pull request #379 from phi-gamma/master
latest loader and changes for a pre-release
Diffstat (limited to 'src/fontloader/misc/fontloader-swiglib.lua')
-rw-r--r-- | src/fontloader/misc/fontloader-swiglib.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/fontloader/misc/fontloader-swiglib.lua b/src/fontloader/misc/fontloader-swiglib.lua index 7ffcdc3..3108dd4 100644 --- a/src/fontloader/misc/fontloader-swiglib.lua +++ b/src/fontloader/misc/fontloader-swiglib.lua @@ -8,7 +8,8 @@ if not modules then modules = { } end modules ['luatex-swiglib'] = { local savedrequire = require -local libsuffix = os.type == "windows" and ".dll" or ".so" +local libsuffix = os.type == "windows" and ".dll" or ".so" +local pathsplit = "([^" .. io.pathseparator .. "]+)" function requireswiglib(required,version) local library = package.loaded[required] @@ -17,7 +18,7 @@ function requireswiglib(required,version) else local name = string.gsub(required,"%.","/") .. libsuffix local list = kpse.show_path("clua") - for root in string.gmatch(list,"([^;]+)") do + for root in string.gmatch(list,pathsplit) do local full = false if type(version) == "string" and version ~= "" then full = root .. "/" .. version .. "/" .. name |