conf.py

   1 import os
   2
   3 def pf(rfile):
   4         "Relative patch of file is decoded to absolute acording to working tree."
   5         return os.path.dirname(os.path.realpath(__file__)) + '/' + rfile
   6
   7 def checkXf(f, message):
   8         "Check if file is executable. If not, raise MissingFile exception."
   9         if os.path.isfile(f) and os.access(f, os.X_OK):
  10                 return f
  11         else:
  12                 raise MissingFile(f, message)
  13
  14 # Global configs
  15 SRCARCH = 'x86' # Kernel architecture
  16 ARCH = SRCARCH
  17 linux_make_args = ['-j8']
  18
  19 # Path settings
  20 linux_sources = pf('linux')
  21 linux_kconfig_head = 'Kconfig'
  22
  23 required = pf('required')
  24 build_folder = pf('build/')
  25 phase_file = build_folder + '/phase'
  26 symbol_map_file = build_folder + '/symbol_map' # Also defined in kconfig_parser
  27 rules_file = build_folder + '/rules' # Also defined in kconfig_parser
  28 solved_file = build_folder + '/solved'
  29 required_file = build_folder + '/required'
  30 solution_file = build_folder + '/solution'
  31 iteration_file = build_folder + '/iteration'
  32
  33 # Programs paths
  34 kconfig_parser = checkXf(pf('programs/kconfig_parser'), 'You must build programs first.')
  35
  36 # Programs output hide
  37 kconfig_parser_output = False
  38 minisat_output = False
  39 kernel_config_output = True