From b743e210f8e2be03150032b5be07540818fa91d3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 15 Jul 2022 08:43:46 -0700 Subject: [PATCH] give java dynamic lib a chance for extra flags for #5848 --- scripts/mk_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 13c01567d34..54242dfe603 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1831,7 +1831,7 @@ def mk_makefile(self, out): out.write('\t$(SLINK) $(SLINK_OUT_FLAG)libz3java$(SO_EXT) $(SLINK_FLAGS) %s$(OBJ_EXT) libz3$(LIB_EXT)\n' % os.path.join('api', 'java', 'Native')) else: - out.write('\t$(SLINK) $(SLINK_OUT_FLAG)libz3java$(SO_EXT) $(SLINK_FLAGS) %s$(OBJ_EXT) libz3$(SO_EXT)\n' % + out.write('\t$(SLINK) $(SLINK_OUT_FLAG)libz3java$(SO_EXT) $(SLINK_FLAGS) $(SLINK_EXTRA_FLAGS) %s$(OBJ_EXT) libz3$(SO_EXT)\n' % os.path.join('api', 'java', 'Native')) out.write('%s.jar: libz3java$(SO_EXT) ' % self.package_name) deps = ''