diff options
author | Armin Rigo <arigo@tunes.org> | 2013-08-07 12:03:32 +0200 |
---|---|---|
committer | Armin Rigo <arigo@tunes.org> | 2013-08-07 12:03:32 +0200 |
commit | 602ac403803deba956477fed2efbc95ce09fd285 (patch) | |
tree | 20e99d3ce73b79dd0ec8569d078ee3c1f6fed916 /cffi/vengine_gen.py | |
parent | 59470108f6f0106602b54e859f2304a9874aec82 (diff) | |
download | cffi-602ac403803deba956477fed2efbc95ce09fd285.tar.gz |
In this case, we must call backend.load_library() with a path
that contains a '/'.
Diffstat (limited to 'cffi/vengine_gen.py')
-rw-r--r-- | cffi/vengine_gen.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cffi/vengine_gen.py b/cffi/vengine_gen.py index 43ca807..dc725fc 100644 --- a/cffi/vengine_gen.py +++ b/cffi/vengine_gen.py @@ -61,7 +61,9 @@ class VGenericEngine(object): def load_library(self): # import it with the CFFI backend backend = self.ffi._backend - module = backend.load_library(self.verifier.modulefilename) + # needs to make a path that contains '/', on Posix + filename = os.path.join(os.curdir, self.verifier.modulefilename) + module = backend.load_library(filename) # # call loading_gen_struct() to get the struct layout inferred by # the C compiler |