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