From 4a3abbfe0f473976c4af5c764dd5341114021950 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 7 Apr 2015 13:47:34 +0100 Subject: [PATCH] Added (un)install targets for the Java API --- scripts/mk_util.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 99df6aa4d..da2fbb8b5 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1344,6 +1344,15 @@ class JavaDLLComponent(Component): so = get_so_ext() shutil.copy(os.path.join(build_path, 'libz3java.%s' % so), os.path.join(dist_path, 'bin', 'libz3java.%s' % so)) + def mk_install(self, out): + dllfile = '%s$(SO_EXT)' % self.dll_name + out.write('\t@cp %s %s\n' % (dllfile, os.path.join('$(PREFIX)', 'lib', dllfile))) + out.write('\t@cp %s.jar %s.jar\n' % (self.package_name, os.path.join('$(PREFIX)', 'lib', self.package_name))) + + def mk_uninstall(self, out): + dllfile = '%s$(SO_EXT)' % self.dll_name + out.write('\t@rm %s\n' % (os.path.join('$(PREFIX)', 'lib', dllfile))) + out.write('\t@rm %s.jar\n' % (os.path.join('$(PREFIX)', 'lib', self.package_name))) class MLComponent(Component): def __init__(self, name, lib_name, path, deps):