1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
# This file is included by the other shell scripts to set up some variables.
# Each of the scripts (including this) gets 2 arguments: <config> <branch>
# It sets the following variables:
# - CONFIG : configuration (default, debug, syncdebug, etc.)
# - BRANCH : branch (master, etc.)
# - CONFIG_ : $CONFIG wrapped in [] or empty if CONFIG=default
# - BRANCH_ : $BRANCH wrapped in {} or empty if BRANCH=master
# - REV : output of `git describe --tags'
# - SOURCEDIR: absolute path to the source directory
# - BUILDDIR : absolute path to the build directory
# - TMP_BASE : folder for temporary work items
# - TMP_PATH : $TMP_BASE/$CONFIG/$BRANCH/$REV
# - VERSION_ : version string, unsafe, may include special characters
# - VERSION : sanitized version string, suitable for filenames
# Quit on error.
import os, sys, subprocess, tempfile
if len(sys.argv) < 2:
print("Please run with %s <config> <branch>" %(sys.argv[0]))
exit(1)
print(sys.argv)
CONFIG=sys.argv[1]
BRANCH=sys.argv[2]
REV=subprocess.check_output(["git", "describe", "--tags"], universal_newlines=True).strip()
SOURCEDIR=os.getcwd()
BUILDDIR=os.path.join(os.getcwd(), "build", CONFIG)
TMP_BASE=os.path.join(tempfile.gettempdir(), "spring")
TMP_PATH=os.path.join(TMP_BASE, CONFIG, BRANCH, REV)
if 'OUTPUTDIR' in os.environ:
TMP_PATH=os.path.join(TMP_PATH, os.environ['OUTPUTDIR'])
if CONFIG == "default":
CONFIG_=''
else:
CONFIG_="[%s]" %(CONFIG)
if BRANCH == "master":
BRANCH_=''
else:
BRANCH_="{%s}" % (BRANCH)
VERSION_="%s%s%s"%(CONFIG_, BRANCH_, REV)
for char in "<>:\"/\\|?*":
VERSION_=VERSION_.replace(char,'')
print("Detected VERSION_: %s"%(VERSION_))
if 'MAKE' in os.environ:
MAKE=os.environ['MAKE']
else:
print("MAKE isn't set, using 'make' as default")
MAKE="make"
|
