1
# flask needs to know where to export the libselinux headers.
2
LIBSEL ?= ../../libselinux
4
# flask needs to know where to export the kernel headers.
5
LINUXDIR ?= ../../../linux-2.6
9
CONFIG_SHELL := $(shell if [ -x "$$BASH" ]; then echo $$BASH; \
10
else if [ -x /bin/bash ]; then echo /bin/bash; \
11
else echo sh; fi ; fi)
13
FLASK_H_DEPEND = security_classes initial_sids
14
AV_H_DEPEND = access_vectors
16
FLASK_H_FILES = class_to_string.h flask.h initial_sid_to_string.h
17
AV_H_FILES = av_inherit.h common_perm_to_string.h av_perm_to_string.h av_permissions.h
18
ALL_H_FILES = $(FLASK_H_FILES) $(AV_H_FILES)
22
$(FLASK_H_FILES): $(FLASK_H_DEPEND)
23
$(CONFIG_SHELL) mkflask.sh $(AWK) $(FLASK_H_DEPEND)
25
$(AV_H_FILES): $(AV_H_DEPEND)
26
$(CONFIG_SHELL) mkaccess_vector.sh $(AWK) $(AV_H_DEPEND)
29
install -m 644 flask.h av_permissions.h $(LIBSEL)/include/selinux
30
install -m 644 class_to_string.h av_inherit.h common_perm_to_string.h av_perm_to_string.h $(LIBSEL)/src
33
install -m 644 $(ALL_H_FILES) $(LINUXDIR)/security/selinux/include
40
rm -f $(FLASK_H_FILES)