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

more dotnet core

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-11-13 19:58:09 -08:00
parent bd78558826
commit dbd5ef4526
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
scripts/mk_util.py
View file

@ -455,6 +455,10 @@ def check_dotnet():
if r != 0: if r != 0:
raise MKException('Failed testing gacutil. Set environment variable GACUTIL with the path to gacutil.') raise MKException('Failed testing gacutil. Set environment variable GACUTIL with the path to gacutil.')
def check_dotnet_core():
# TBD: check DOTNET
pass
def check_ml(): def check_ml():
t = TempFile('hello.ml') t = TempFile('hello.ml')
t.add('print_string "Hello world!\n";;') t.add('print_string "Hello world!\n";;')
@ -3172,9 +3176,12 @@ def mk_bindings(api_files):
if is_ml_enabled(): if is_ml_enabled():
check_ml() check_ml()
mk_z3consts_ml(api_files) mk_z3consts_ml(api_files)
if is_dotnet_enabled(): if is_dotnet_enabled()
check_dotnet() check_dotnet()
mk_z3consts_dotnet(api_files) mk_z3consts_dotnet(api_files)
if is_dotnetcore_enabled():
check_dotnet_core()
mk_z3consts_dotnet(api_files)
# Extract enumeration types from API files, and add python definitions. # Extract enumeration types from API files, and add python definitions.
def mk_z3consts_py(api_files): def mk_z3consts_py(api_files):