Bugs in the “external function” feature?

[Lqs66]

Unable to open other shared libraries error when .so imported in uppaal depends on other *.so. This causes my program to not execute as expected.

Below is the result I got using strace.

openat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/yaml-cpp/libllvmloader.so", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
openat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/mmc2/libllvmloader.so", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
openat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/glibc-hwcaps/x86-64-v3/libllvmloader.so", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
newfstatat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/glibc-hwcaps/x86-64-v3", 0x7fffe9fb65e0, 0) = -1 ENOENT (No such file or directory)
openat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/glibc-hwcaps/x86-64-v2/libllvmloader.so", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
newfstatat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/glibc-hwcaps/x86-64-v2", 0x7fffe9fb65e0, 0) = -1 ENOENT (No such file or directory)
openat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/tls/haswell/x86_64/libllvmloader.so", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
newfstatat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/tls/haswell/x86_64", 0x7fffe9fb65e0, 0) = -1 ENOENT (No such file or directory)
openat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/tls/haswell/libllvmloader.so", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
newfstatat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/tls/haswell", 0x7fffe9fb65e0, 0) = -1 ENOENT (No such file or directory)
openat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/tls/x86_64/libllvmloader.so", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
newfstatat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/tls/x86_64", 0x7fffe9fb65e0, 0) = -1 ENOENT (No such file or directory)
openat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/tls/libllvmloader.so", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
newfstatat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/tls", 0x7fffe9fb65e0, 0) = -1 ENOENT (No such file or directory)
openat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/haswell/x86_64/libllvmloader.so", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
newfstatat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/haswell/x86_64", 0x7fffe9fb65e0, 0) = -1 ENOENT (No such file or directory)
openat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/haswell/libllvmloader.so", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
newfstatat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/haswell", 0x7fffe9fb65e0, 0) = -1 ENOENT (No such file or directory)
openat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/x86_64/libllvmloader.so", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
newfstatat(AT_FDCWD, "/home/lqs66/Desktop/uppllvm/build/external/minimc/libs/loaders/llvm/x86_64", 0x7fffe9fb65e0, 0) = -1 ENOENT (No such file or directory)

More complete information:
strace_out.log