use_config.py

   1 #!/usr/bin/env python
   2
   3 import sys, os
   4
   5 if len(sys.argv) <= 1:
   6         sys.exit("need an argument, config file name")
   7
   8 # import config file
   9 #execfile(sys.argv[1])
  10 # for python3
  11 exec(compile(open(sys.argv[1]).read(), sys.argv[1], 'exec'))
  12
  13 # check arch var exists
  14 if 'ARCH' not in locals():
  15         sys.exit("config file doesn't have ARCH set")
  16
  17 # create new symlinks
  18 try:
  19         os.remove("config.py")
  20         os.remove("config.pyc")
  21         os.remove("include/arch")
  22         os.remove("include/mach")
  23 except:
  24         pass
  25
  26 os.symlink(sys.argv[1], "config.py")
  27 os.symlink("../arch/" + ARCH + "/include/", "include/arch")
  28 if 'MACH' in locals():
  29         os.symlink("../arch/" + ARCH + "/mach-" + MACH + "/include/", "include/mach")