Searched refs:ONLY_MAKEFILES (Results 1 – 2 of 2) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/scripts/ |
| H A D | mk_util.py | 85 ONLY_MAKEFILES = False variable
683 …global VERBOSE, DEBUG_MODE, IS_WINDOWS, VS_X64, ONLY_MAKEFILES, SHOW_CPPS, VS_PROJ, TRACE, VS_PAR,…
716 ONLY_MAKEFILES = True
2445 if ONLY_MAKEFILES:
2793 if not ONLY_MAKEFILES:
2836 if not ONLY_MAKEFILES:
2897 if not ONLY_MAKEFILES:
2916 if not ONLY_MAKEFILES:
2935 if not ONLY_MAKEFILES:
2957 if not ONLY_MAKEFILES:
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/scripts/ |
| H A D | mk_util.py | 85 ONLY_MAKEFILES = False variable
683 …global VERBOSE, DEBUG_MODE, IS_WINDOWS, VS_X64, ONLY_MAKEFILES, SHOW_CPPS, VS_PROJ, TRACE, VS_PAR,…
716 ONLY_MAKEFILES = True
2359 if ONLY_MAKEFILES:
2706 if not ONLY_MAKEFILES:
2749 if not ONLY_MAKEFILES:
2810 if not ONLY_MAKEFILES:
2829 if not ONLY_MAKEFILES:
2848 if not ONLY_MAKEFILES:
2870 if not ONLY_MAKEFILES:
[all …]
|