Makefile

   1 .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
   2
   3 -include .conf.mk
   4
   5 all: parse_kconfig write_config allconfig picosat
   6
   7 help:
   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."
  24         @echo
  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."
  33
  34 mbuildroot: buildroot/.config buildroot/system/skeleton/usr/bin/linux-conf-perf
  35         $(MAKE) -C buildroot menuconfig
  36
  37 mlinux:
  38         ARCH=$(CONF_KERNEL_ARCH) $(MAKE) -C $(CONF_LINUX_SOURCES) menuconfig
  39
  40 deflinux:
  41         ARCH=$(CONF_KERNEL_ARCH) $(MAKE) -C $(CONF_LINUX_SOURCES) defconfig
  42
  43 dot_config: allconfig
  44         cd $(CONF_LINUX_SOURCES) && \
  45                 SRCARCH=$(CONF_KERNEL_ARCH) \
  46                 ARCH=$(CONF_KERNEL_ARCH) \
  47                 KERNELVERSION=$(CONF_KERNEL_ARCH) \
  48                 $(CONF_ABSROOT)/scripts/allconfig/allconfig \
  49                 Kconfig .config $(CONF_ABSROOT)/$(CONF_DOT_CONFIG)
  50
  51 init: initialize
  52 initialize: all
  53         scripts/initialize.py
  54
  55 initdb: initialize_database
  56 initialize_database:
  57         PGPASSWORD="$(CONF_DB_PASSWORD)" psql -d "$(CONF_DB_DATABASE)" -h "$(CONF_DB_HOST)" -p "$(CONF_DB_PORT)" -f scripts/databaseinit.sql
  58
  59 test: parse_kconfig
  60         scripts/test.py
  61
  62 run: all
  63         scripts/loop.py
  64
  65 evaluate:
  66         scripts/evaluate.py
  67
  68 clean:
  69         @$(MAKE) -C scripts/parse_kconfig clean
  70         @$(MAKE) -C scripts/write_config clean
  71         @$(MAKE) -C scripts/allconfig clean
  72         @if [ -e scripts/picosat-959/makefile ]; then $(MAKE) -C scripts/picosat-959 clean; fi
  73         $(RM) .conf.mk
  74         $(RM) -r jobfiles
  75
  76 clean_measure:
  77         $(RM) -r configurations
  78         $(RM) -r output
  79         $(RM) -r result
  80         $(RM) $(CONF_DOT_CONFIG)
  81
  82 cleandb: clean_database
  83 clean_database:
  84         PGPASSWORD="$(CONF_DB_PASSWORD)" psql -d "$(CONF_DB_DATABASE)" -h "$(CONF_DB_HOST)" -p "$(CONF_DB_PORT)" -f scripts/databaseclean.sql
  85
  86 distclean: clean distclean_linux distclean_buildroot clean_measure
  87
  88 clean_linux:
  89         @$(MAKE) -C $(CONF_LINUX_SOURCES) clean
  90
  91 distclean_linux:
  92         @$(MAKE) -C $(CONF_LINUX_SOURCES) distclean
  93
  94 clean_buildroot:
  95         @$(MAKE) -C buildroot clean
  96
  97 distclean_buildroot:
  98         @$(MAKE) -C buildroot distclean
  99
 100 #######################################
 101
 102 .conf.mk: conf.py .target
 103         scripts/confmk.py
 104
 105 .target:
 106         $(error Please select target by writing it to .target file)
 107
 108 parse_kconfig:
 109         @if [ `$(MAKE) -C scripts/parse_kconfig/ -q; echo $$?` != "0" ]; then \
 110         $(MAKE) -C scripts/parse_kconfig/; fi
 111
 112 write_config:
 113         @if [ `$(MAKE) -C scripts/write_config/ -q; echo $$?` != "0" ]; then \
 114         $(MAKE) -C scripts/write_config/; fi
 115
 116 allconfig:
 117         @if [ `$(MAKE) -C scripts/allconfig/ -q; echo $$?` != "0" ]; then \
 118         $(MAKE) -C scripts/allconfig/; fi
 119
 120 picosat:
 121         @if [ ! -e scripts/picosat-959/makefile ]; then \
 122         cd scripts/picosat-959 && ./configure; fi
 123         @if [ `$(MAKE) -C scripts/picosat-959 -q; echo $$?` != "0" ]; then \
 124         $(MAKE) -C scripts/picosat-959; fi