mirror of
https://github.com/Z3Prover/z3
synced 2025-04-28 03:15:50 +00:00
439d8d8afe
for the ".NET" bindings example. Previously there was a hack that would to path separator replacement ( '/' -> '\' ) which breaks paths under non-windows platforms. The hack has been made slightly better by doing ( '/' -> os.path.sep). This preserves the existing behaviour under Windows and unbreaks the build on non-windows platforms. I'm not entirely sure why the path replacement needs to be done in the first place. I thought Windows was supposed to support using '/' as a path separator (as well as '/'). Maybe ``csc.exe`` doesn't support these kind of paths? |
||
|---|---|---|
| .. | ||
| mk_copyright.py | ||
| mk_exception.py | ||
| mk_make.py | ||
| mk_project.py | ||
| mk_unix_dist.py | ||
| mk_util.py | ||
| mk_win_dist.py | ||
| README | ||
| trackall.sh | ||
| update_api.py | ||
| update_header_guards.py | ||
Instructions for updating external Z3 API ----------------------------------------- The python "macros": def_Type() and def_API() are used to add new types and function definitions to the Z3 API. The .h files provided to `mk_bindings(API_files)` contain these definitions. See src\api\z3_api.h for many examples. The bindings for .Net and Python are generated when mk_make.py is invoked.