Class: FFI::DynamicLibrary

Inherits:
Object
  • Object
show all
Defined in:
lib/udb/z3_loader.rb

Class Method Summary collapse

Class Method Details

.load_library(name, flags) ⇒ Object 



24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
 
# File 'lib/udb/z3_loader.rb', line 24

def self.load_library(name, flags)
  names =
    if name.is_a?(::Array)
      name
    else
      [name]
    end
  names.map! do |name|
    if name =~ /z3/
      unless Pathname.new(name).absolute?
        # when we load z3, make sure we get our installed version
        File.join(Udb::Z3Loader.z3_lib_dir, name)
      else
        name
      end
    else
      name
    end
  end
  orig_load_library(names, flags)
end

.orig_load_library ⇒ Object 



22
 
# File 'lib/udb/z3_loader.rb', line 22

alias_method :orig_load_library, :load_library