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 permute_conf
   2
   3 -include .conf.mk
   4
   5 all: parse_kconfig write_config allconfig permute_conf 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 linux menuconfig
  39
  40 deflinux:
  41         ARCH=$(CONF_KERNEL_ARCH) $(MAKE) -C linux defconfig
  42
  43 mpermute_conf: permute_conf
  44         cd linux && \
  45         SRCARCH=$(CONF_KERNEL_ARCH) ARCH=$(CONF_KERNEL_ARCH) \
  46         KERNELVERSION=$(CONF_KERNEL_ARCH) \
  47         ../scripts/permute_conf/permute_conf Kconfig
  48
  49 init: initialize
  50 initialize: parse_kconfig picosat
  51         scripts/initialize.py
  52
  53 initdb: initialize_database
  54 initialize_database:
  55         echo "$(CONF_DB_HOST):$(CONF_DB_PORT):$(CONF_DB_DATABASE):$(CONF_DB_USER):$(CONF_DB_PASSWORD)" > .pgpass
  56         psql -d "$(CONF_DB_DATABASE)" -h "$(CONF_DB_HOST)" -p "$(CONF_DB_PORT)" -f scripts/databaseinit.sql
  57         $(RM) .pgpass
  58
  59 test: parse_kconfig
  60         scripts/test.py
  61
  62 run: parse_kconfig write_config picosat
  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/permute_conf clean
  72         @$(MAKE) -C scripts/allconfig clean
  73         @if [ -e scripts/picosat-959/makefile ]; then $(MAKE) -C scripts/picosat-959 clean; fi
  74         $(RM) .conf.mk
  75         $(RM) -r jobfiles
  76
  77 clean_measure: cleandb
  78         $(RM) -r configurations
  79         $(RM) -r output
  80         $(RM) -r result
  81
  82 cleandb: clean_database
  83 clean_database:
  84         echo "$(CONF_DB_HOST):$(CONF_DB_PORT):$(CONF_DB_DATABASE):$(CONF_DB_USER):$(CONF_DB_PASSWORD)" > .pgpass
  85         psql -d "$(CONF_DB_DATABASE)" -h "$(CONF_DB_HOST)" -p "$(CONF_DB_PORT)" -f scripts/databaseclean.sql
  86         rm -f .pgpass
  87
  88 distclean: clean distclean_linux distclean_buildroot
  89         $(RM) .conf.mk
  90
  91 clean_linux:
  92         @$(MAKE) -C linux clean
  93
  94 distclean_linux:
  95         @$(MAKE) -C linux distclean
  96
  97 clean_buildroot:
  98         @$(MAKE) -C buildroot clean
  99
 100 distclean_buildroot:
 101         @$(MAKE) -C buildroot distclean
 102
 103 #######################################
 104
 105 .conf.mk: conf.py
 106         scripts/confmk.py
 107
 108 parse_kconfig:
 109         @$(MAKE) -C scripts/parse_kconfig/
 110
 111 write_config:
 112         @$(MAKE) -C scripts/write_config/
 113
 114 allconfig:
 115         @$(MAKE) -C scripts/allconfig/
 116
 117 permute_conf:
 118         @$(MAKE) -C scripts/permute_conf/
 119
 120 buildroot/.config:
 121         cp $(CONF_BUILDROOT_DEF_CONFIG) $@
 122
 123 buildroot/system/skeleton/usr/bin/linux-conf-perf:
 124         cp $(CONF_BUILDROOT_INITSCRIPT) $@
 125         cat $(CONF_BUILDROOT_INITTAB_DIRECTIVE) >> buildroot/system/skeleton/etc/inittab
 126
 127 picosat: scripts/picosat-959/picosat
 128 scripts/picosat-959/picosat:
 129         cd scripts/picosat-959 && ./configure
 130         $(MAKE) -C scripts/picosat-959