mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
fixed: make examples
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
0c445cec57
commit
30905da58c
|
@ -1097,7 +1097,7 @@ class JavaExampleComponent(ExampleComponent):
|
|||
ExampleComponent.__init__(self, name, path)
|
||||
|
||||
def is_example(self):
|
||||
return True
|
||||
return JAVA_ENABLED
|
||||
|
||||
def mk_makefile(self, out):
|
||||
if JAVA_ENABLED:
|
||||
|
|
Loading…
Reference in a new issue