(output_dir, target_arch, os_name)
| 184 | |
| 185 | |
| 186 | def generate_headers(output_dir, target_arch, os_name): |
| 187 | base_dir = Path(__file__).resolve().parent |
| 188 | output_dir = Path(str(output_dir).strip().strip('"')) |
| 189 | output_dir.mkdir(parents=True, exist_ok=True) |
| 190 | |
| 191 | target, target_dir = get_target(os_name, target_arch) |
| 192 | ffitarget_src = base_dir / 'src' / target_dir / 'ffitarget.h' |
| 193 | if not ffitarget_src.exists(): |
| 194 | raise FileNotFoundError(f'Missing libffi target header: {ffitarget_src}') |
| 195 | |
| 196 | (output_dir / 'ffi.h').write_text( |
| 197 | render_ffi_header(base_dir, os_name, target_arch, target), |
| 198 | encoding='utf-8') |
| 199 | (output_dir / 'fficonfig.h').write_text( |
| 200 | render_fficonfig(os_name, target_arch), |
| 201 | encoding='utf-8') |
| 202 | (output_dir / 'ffitarget.h').write_text( |
| 203 | ffitarget_src.read_text(encoding='utf-8'), |
| 204 | encoding='utf-8') |
| 205 | |
| 206 | |
| 207 | def detect_os_name(): |
no test coverage detected
searching dependent graphs…