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

add TBD for dotnet example

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-11-13 15:54:37 -08:00
parent eb682c3e39
commit 225fb82d96
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/mk_util.py
View file

@ -2357,7 +2357,7 @@ class DotNetExampleComponent(ExampleComponent):
ExampleComponent.__init__(self, name, path) ExampleComponent.__init__(self, name, path)
def is_example(self): def is_example(self):
return is_dotnet_enabled() return is_dotnet_enabled() or is_dotnet_core_enabled()
def mk_makefile(self, out): def mk_makefile(self, out):
if is_dotnet_enabled(): if is_dotnet_enabled():
@ -2385,6 +2385,8 @@ class DotNetExampleComponent(ExampleComponent):
out.write(os.path.join(relative_path, csfile)) out.write(os.path.join(relative_path, csfile))
out.write('\n') out.write('\n')
out.write('_ex_%s: %s\n\n' % (self.name, exefile)) out.write('_ex_%s: %s\n\n' % (self.name, exefile))
if is_dotnet_core_enabled():
print("TBD: build script for dotnet_example on core")
class JavaExampleComponent(ExampleComponent): class JavaExampleComponent(ExampleComponent):
def __init__(self, name, path): def __init__(self, name, path):