mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

Set target for java classes to 1.8 (#4685)

Browse source
This commit is contained in:
Sergey Vladimirov 2020-09-11 14:05:45 +03:00 committed by GitHub
parent c7ba86e227
commit 6324d2fb55
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scripts/mk_util.py
View file

@ -359,7 +359,7 @@ def check_java():
oo = TempFile('output') oo = TempFile('output')
eo = TempFile('errout') eo = TempFile('errout')
try: try:
subprocess.call([JAVAC, 'Hello.java', '-verbose'], stdout=oo.fname, stderr=eo.fname) subprocess.call([JAVAC, 'Hello.java', '-verbose', '-source', '1.8', '-target', '1.8' ], stdout=oo.fname, stderr=eo.fname)
oo.commit() oo.commit()
eo.commit() eo.commit()
except: except:
@ -1792,9 +1792,9 @@ class JavaDLLComponent(Component):
#if IS_WINDOWS: #if IS_WINDOWS:
JAVAC = '"%s"' % JAVAC JAVAC = '"%s"' % JAVAC
JAR = '"%s"' % JAR JAR = '"%s"' % JAR
t = ('\t%s %s.java -d %s\n' % (JAVAC, os.path.join(self.to_src_dir, 'enumerations', '*'), os.path.join('api', 'java', 'classes'))) t = ('\t%s -source 1.8 -target 1.8 %s.java -d %s\n' % (JAVAC, os.path.join(self.to_src_dir, 'enumerations', '*'), os.path.join('api', 'java', 'classes')))
out.write(t) out.write(t)
t = ('\t%s -cp %s %s.java -d %s\n' % (JAVAC, t = ('\t%s -source 1.8 -target 1.8 -cp %s %s.java -d %s\n' % (JAVAC,
os.path.join('api', 'java', 'classes'), os.path.join('api', 'java', 'classes'),
os.path.join(self.to_src_dir, '*'), os.path.join(self.to_src_dir, '*'),
os.path.join('api', 'java', 'classes'))) os.path.join('api', 'java', 'classes')))