mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 22:23:22 +00:00
Code Activity

Emit dependency of phony target `examples on _ex_dotnet_example`

Browse source 
when building of the ".NET" bindings is enabled.
This commit is contained in:
Dan Liew 2015-12-15 08:46:47 +00:00
parent d3d10490ea
commit 44393b37de
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -1950,7 +1950,7 @@ class DotNetExampleComponent(ExampleComponent):
ExampleComponent.__init__(self, name, path) ExampleComponent.__init__(self, name, path)
def is_example(self): def is_example(self):
return IS_WINDOWS return is_dotnet_enabled()
def mk_makefile(self, out): def mk_makefile(self, out):
if DOTNET_ENABLED: if DOTNET_ENABLED: