From 225fb82d9656b17b5c36266b05cc1b0ab051116e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 13 Nov 2018 15:54:37 -0800 Subject: [PATCH] add TBD for dotnet example Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 08ff771e7..c73e1f1d1 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -2357,7 +2357,7 @@ class DotNetExampleComponent(ExampleComponent): ExampleComponent.__init__(self, name, path) def is_example(self): - return is_dotnet_enabled() + return is_dotnet_enabled() or is_dotnet_core_enabled() def mk_makefile(self, out): if is_dotnet_enabled(): @@ -2385,6 +2385,8 @@ class DotNetExampleComponent(ExampleComponent): out.write(os.path.join(relative_path, csfile)) out.write('\n') 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): def __init__(self, name, path):