blob: 52eef26b9b247974f7a3b4e46b70fd5f12d65df2 (
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
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
.PHONY: all help parse_kconfig write_config build run test clean clean_db clean_database clean_measure clean_linux clean_buildroot mlinux mbuildroot deflinux distclean_linux distclean_buildroot distclean picosat init initialize initialize_database initdb permute_conf
-include .conf.mk
all: parse_kconfig write_config allconfig permute_conf 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=$(CONF_KERNEL_ARCH) $(MAKE) -C linux menuconfig
deflinux:
ARCH=$(CONF_KERNEL_ARCH) $(MAKE) -C linux defconfig
mpermute_conf: permute_conf
cd linux && \
SRCARCH=$(CONF_KERNEL_ARCH) ARCH=$(CONF_KERNEL_ARCH) \
KERNELVERSION=$(CONF_KERNEL_ARCH) \
../scripts/permute_conf/permute_conf Kconfig
init: initialize
initialize: parse_kconfig picosat
scripts/initialize.py
initdb: initialize_database
initialize_database:
echo "$(CONF_DB_HOST):$(CONF_DB_PORT):$(CONF_DB_DATABASE):$(CONF_DB_USER):$(CONF_DB_PASSWORD)" > .pgpass
psql -d "$(CONF_DB_DATABASE)" -h "$(CONF_DB_HOST)" -p "$(CONF_DB_PORT)" -f scripts/databaseinit.sql
$(RM) .pgpass
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
@$(MAKE) -C scripts/permute_conf clean
@$(MAKE) -C scripts/allconfig clean
@if [ -e scripts/picosat-959/makefile ]; then $(MAKE) -C scripts/picosat-959 clean; fi
$(RM) .conf.mk
$(RM) -r jobfiles
clean_measure: cleandb
$(RM) -r configurations
$(RM) -r output
$(RM) -r result
cleandb: clean_database
clean_database:
echo "$(CONF_DB_HOST):$(CONF_DB_PORT):$(CONF_DB_DATABASE):$(CONF_DB_USER):$(CONF_DB_PASSWORD)" > .pgpass
psql -d "$(CONF_DB_DATABASE)" -h "$(CONF_DB_HOST)" -p "$(CONF_DB_PORT)" -f scripts/databaseclean.sql
rm -f .pgpass
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 buildroot clean
distclean_buildroot:
@$(MAKE) -C buildroot distclean
#######################################
.conf.mk: conf.py
scripts/confmk.py
parse_kconfig:
@$(MAKE) -C scripts/parse_kconfig/
write_config:
@$(MAKE) -C scripts/write_config/
allconfig:
@$(MAKE) -C scripts/allconfig/
permute_conf:
@$(MAKE) -C scripts/permute_conf/
buildroot/.config:
cp $(CONF_BUILDROOT_DEF_CONFIG) $@
buildroot/system/skeleton/usr/bin/linux-conf-perf:
cp $(CONF_BUILDROOT_INITSCRIPT) $@
cat $(CONF_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
|
