blob: 0211910c4c1f9bfb6520e9156df123b6601c000a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
.PHONY: all help parse_kconfig write_config build run test clean clean_linux clean_buildroot mlinux mbuildroot deflinux distclean_linux distclean_buildroot distclean picosat init initialize permute
-include .conf.mk
all: parse_kconfig write_config permute picosat
help:
@echo "all - Builds basic programs and prints message about next steps."
@echo "help - Prints this text"
@echo "mbuildroot - Calls 'make menuconfig' in buildroot folder. Use this for"
@echo " buildroot configuration."
@echo "mlinux - Calls 'make menuconfig' in linux folder. Use this for linux"
@echo " configuration."
@echo "deflinux - Executes 'make defconfig' in linux folder. This generates default"
@echo " linux configuration for architecture specified in conf.py"
@echo "initialize - Executes only initialization. Depending on configuration this"
@echo " can take various amount of time."
@echo "test - Executes boot and benchmark test. You should use this before"
@echo " target run. This target is for testing if initial kernel"
@echo " configuration, buildroot configuration and benchmark are"
@echo " configured right."
@echo "run - Executes loop of kernel building, booting and benchmark execution."
@echo "evaluate - Creating result statistics from generated data."
@echo
@echo "clean - Cleans all generated files. Except those in"
@echo " linux and buildroot."
@echo "distclean - Cleans all configurations and generated files."
@echo " Including linux and buildroot."
@echo "clean_linux - Executes 'make clean' in linux folder."
@echo "distclean_linux - Executes 'make distclean' in linux folder."
@echo "clean_buildroot - Executes 'make clean' in buildroot folder."
@echo "distclean_buildroot - Executes 'make distclean' in buildroot folder."
mbuildroot: buildroot/.config buildroot/system/skeleton/usr/bin/linux-conf-perf
$(MAKE) -C buildroot menuconfig
mlinux:
ARCH=$(ARCH) $(MAKE) -C linux menuconfig
deflinux:
ARCH=$(ARCH) $(MAKE) -C linux defconfig
mpermute: permute
cd linux && SRCARCH=$(ARCH) ARCH=$(ARCH) KERNELVERSION=$(ARCH) ../scripts/permute/permute Kconfig
init: initialize
initialize: parse_kconfig picosat
scripts/initialize.py
test: parse_kconfig
scripts/test.py
run: parse_kconfig write_config picosat
scripts/loop.py
evaluate:
scripts/evaluate.py
clean:
@$(MAKE) -C scripts/parse_kconfig clean
@$(MAKE) -C scripts/write_config clean
@if [ -e scripts/picosat-959/makefile ]; then $(MAKE) -C scripts/picosat-959 clean; fi
$(RM) .conf.mk
$(RM) -r jobfiles output result
distclean: clean distclean_linux distclean_buildroot
$(RM) .conf.mk
clean_linux:
@$(MAKE) -C linux clean
distclean_linux:
@$(MAKE) -C linux distclean
clean_buildroot:
@$(MAKE) -C scripts/buildroot clean
distclean_buildroot:
@$(MAKE) -C scripts/buildroot distclean
#######################################
.conf.mk: conf.py
scripts/confmk.py
parse_kconfig:
@$(MAKE) -C scripts/parse_kconfig/
write_config:
@$(MAKE) -C scripts/write_config/
permute:
@$(MAKE) -C scripts/permute/
buildroot/.config:
cp $(BUILDROOT_DEF_CONFIG) $@
buildroot/system/skeleton/usr/bin/linux-conf-perf:
cp $(BUILDROOT_INITSCRIPT) $@
cat $(BUILDROOT_INITTAB_DIRECTIVE) >> buildroot/system/skeleton/etc/inittab
picosat: scripts/picosat-959/picosat
scripts/picosat-959/picosat:
cd scripts/picosat-959 && ./configure
$(MAKE) -C scripts/picosat-959
|
