Home
last modified time | relevance | path

Searched refs:add_dotnet_example (Results 1 – 5 of 5) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/scripts/
H A Dmk_project.py108 add_dotnet_example('dotnet_example', 'dotnet')
H A Dmk_util.py2428 def add_dotnet_example(name, path=None): function
/dports/math/py-z3-solver/z3-z3-4.8.10/scripts/
H A Dmk_project.py107 add_dotnet_example('dotnet_example', 'dotnet')
H A Dmk_util.py2342 def add_dotnet_example(name, path=None): function
/dports/math/py-or-tools/or-tools-9.2/cmake/
H A Ddotnet.cmake364 # add_dotnet_example()
369 # add_dotnet_example(Foo.cs)
370 function(add_dotnet_example FILE_NAME) function