1# SPDX-License-Identifier: GPL-2.0
2#
3# Makefile for s390 specific build tools
4#
5
6kapi := arch/$(ARCH)/include/generated/asm
7kapi-hdrs-y := $(kapi)/facility-defs.h $(kapi)/dis-defs.h
8
9PHONY += kapi
10
11kapi:	$(kapi-hdrs-y)
12
13hostprogs		    += gen_facilities
14hostprogs		    += gen_opcode_table
15
16HOSTCFLAGS_gen_facilities.o += $(LINUXINCLUDE)
17
18filechk_facility-defs.h = $(obj)/gen_facilities
19
20filechk_dis-defs.h = \
21	$(obj)/gen_opcode_table < $(srctree)/arch/$(ARCH)/tools/opcodes.txt
22
23$(kapi)/facility-defs.h: $(obj)/gen_facilities FORCE
24	$(call filechk,facility-defs.h)
25
26$(kapi)/dis-defs.h: $(obj)/gen_opcode_table FORCE
27	$(call filechk,dis-defs.h)
28