704 |
|
|
705 |
env.Alias('remember_options', remember_list) |
env.Alias('remember_options', remember_list) |
706 |
|
|
707 |
|
|
708 |
|
############### Record python interpreter version ############## |
709 |
|
|
710 |
|
if not IS_WINDOWS_PLATFORM: |
711 |
|
versionstring="Python "+str(sys.version_info[0])+"."+str(sys.version_info[1])+"."+str(sys.version_info[2]) |
712 |
|
os.system("echo "+versionstring+" > "+env['libinstall']+"/pyversion") |
713 |
|
|
714 |
############ Targets to build and install libraries ############ |
############ Targets to build and install libraries ############ |
715 |
|
|
716 |
target_init = env.Command(env['pyinstall']+'/__init__.py', None, Touch('$TARGET')) |
target_init = env.Command(env['pyinstall']+'/__init__.py', None, Touch('$TARGET')) |