1 # SPDX-License-Identifier: GPL-2.0
2 #
3 # Makefile for s390 specific build tools
4 #
5 
6 kapi := arch/$(ARCH)/include/generated/asm
7 kapi-hdrs-y := $(kapi)/facility-defs.h $(kapi)/dis-defs.h
8 
9 PHONY += kapi
10 
11 kapi:	$(kapi-hdrs-y)
12 
13 hostprogs		    += gen_facilities
14 hostprogs		    += gen_opcode_table
15 
16 HOSTCFLAGS_gen_facilities.o += $(LINUXINCLUDE)
17 
18 filechk_facility-defs.h = $(obj)/gen_facilities
19 
20 filechk_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