aboutsummaryrefslogtreecommitdiff
path: root/Makefile
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