mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

For ocamlfind install, set rpath to package directory if stublibs does not exist

Browse source
This commit is contained in:
Zachary Kincaid 2015-10-04 10:10:53 -04:00
parent eca2488ab4
commit 9e34872e8f
1 changed files with 7 additions and 2 deletions

9
scripts/mk_util.py
View file

@ -1497,8 +1497,13 @@ class MLComponent(Component):
print ('ocamlfind destdir=%s' % ocamlfind_destdir)
t.close()
rmf('output')
out.write("-rpath %s " % os.path.join(ocamlfind_destdir, 'stublibs'))
out.write("-L%s" % os.path.join(ocamlfind_destdir, 'stublibs'))
# DLLs are installed into stublibs if it exists, Z3 if not
if os.path.exists(os.path.join(ocamlfind_destdir, 'stublibs')):
dll_path = os.path.join(ocamlfind_destdir, 'stublibs')
else:
dll_path = os.path.join(ocamlfind_destdir, 'Z3')
out.write("-rpath %s " % dll_path)
out.write("-L%s" % dll_path)
for m in modules:
out.write(' %s' % (os.path.join(sub_dir, m+'.ml')))