| if not get_option('tcg').allowed() |
| if get_option('tcg_interpreter') |
| libffi = dependency('libffi', version: '>=3.0', required: true, |
| tcg_ss.add(files('tci.c')) |
| tcg_ss.add(when: libdw, if_true: files('debuginfo.c')) |
| tcg_ss.add(files('perf.c')) |
| tcg_ss = tcg_ss.apply({}) |
| libtcg_user = static_library('tcg_user', |
| dependencies: tcg_ss.dependencies(), |
| c_args: '-DCONFIG_USER_ONLY', |
| tcg_user = declare_dependency(objects: libtcg_user.extract_all_objects(recursive: false), |
| dependencies: tcg_ss.dependencies()) |
| libtcg_system = static_library('tcg_system', |
| dependencies: tcg_ss.dependencies(), |
| c_args: '-DCONFIG_SOFTMMU', |
| tcg_system = declare_dependency(objects: libtcg_system.extract_all_objects(recursive: false), |
| dependencies: tcg_ss.dependencies()) |
| system_ss.add(tcg_system) |