1 .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
5 all: parse_kconfig write_config permute picosat
8 @echo "all - Builds basic programs and prints message about next steps."
9 @echo "help - Prints this text"
10 @echo "mbuildroot - Calls 'make menuconfig' in buildroot folder. Use this for"
11 @echo " buildroot configuration."
12 @echo "mlinux - Calls 'make menuconfig' in linux folder. Use this for linux"
13 @echo " configuration."
14 @echo "deflinux - Executes 'make defconfig' in linux folder. This generates default"
15 @echo " linux configuration for architecture specified in conf.py"
16 @echo "initialize - Executes only initialization. Depending on configuration this"
17 @echo " can take various amount of time."
18 @echo "test - Executes boot and benchmark test. You should use this before"
19 @echo " target run. This target is for testing if initial kernel"
20 @echo " configuration, buildroot configuration and benchmark are"
21 @echo " configured right."
22 @echo "run - Executes loop of kernel building, booting and benchmark execution."
23 @echo "evaluate - Creating result statistics from generated data."
25 @echo "clean - Cleans all generated files. Except those in"
26 @echo " linux and buildroot."
27 @echo "distclean - Cleans all configurations and generated files."
28 @echo " Including linux and buildroot."
29 @echo "clean_linux - Executes 'make clean' in linux folder."
30 @echo "distclean_linux - Executes 'make distclean' in linux folder."
31 @echo "clean_buildroot - Executes 'make clean' in buildroot folder."
32 @echo "distclean_buildroot - Executes 'make distclean' in buildroot folder."
34 mbuildroot: buildroot/.config buildroot/system/skeleton/usr/bin/linux-conf-perf
35 $(MAKE) -C buildroot menuconfig
38 ARCH=$(ARCH) $(MAKE) -C linux menuconfig
41 ARCH=$(ARCH) $(MAKE) -C linux defconfig
44 cd linux && SRCARCH=$(ARCH) ARCH=$(ARCH) KERNELVERSION=$(ARCH) ../scripts/permute/permute Kconfig
47 initialize: parse_kconfig picosat
53 run: parse_kconfig write_config picosat
60 @$(MAKE) -C scripts/parse_kconfig clean
61 @$(MAKE) -C scripts/write_config clean
62 @if [ -e scripts/picosat-959/makefile ]; then $(MAKE) -C scripts/picosat-959 clean; fi
64 $(RM) -r jobfiles output result
67 distclean: clean distclean_linux distclean_buildroot
71 @$(MAKE) -C linux clean
74 @$(MAKE) -C linux distclean
77 @$(MAKE) -C scripts/buildroot clean
80 @$(MAKE) -C scripts/buildroot distclean
82 #######################################
88 @$(MAKE) -C scripts/parse_kconfig/
91 @$(MAKE) -C scripts/write_config/
94 @$(MAKE) -C scripts/permute/
97 cp $(BUILDROOT_DEF_CONFIG) $@
99 buildroot/system/skeleton/usr/bin/linux-conf-perf:
100 cp $(BUILDROOT_INITSCRIPT) $@
101 cat $(BUILDROOT_INITTAB_DIRECTIVE) >> buildroot/system/skeleton/etc/inittab
103 picosat: scripts/picosat-959/picosat
104 scripts/picosat-959/picosat:
105 cd scripts/picosat-959 && ./configure
106 $(MAKE) -C scripts/picosat-959