mirror/fmt
1
0
Fork 0
mirror of https://github.com/fmtlib/fmt.git synced 2024-12-26 00:21:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Ignore build files and simplify building docs locally

Browse Source
This commit is contained in:
vitaut 2015-05-20 08:28:54 -07:00
parent 702e53d7a8
commit 469f3674cf
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
support/travis-build.py
View File

@ -25,11 +25,12 @@ if build == 'Doc':
# Clone the cppformat.github.io repo. # Clone the cppformat.github.io repo.
repo = 'cppformat.github.io' repo = 'cppformat.github.io'
rmtree_if_exists(repo) rmtree_if_exists(repo)
check_call(['git', 'clone', 'https://github.com/cppformat/{}.git'.format(repo)]) git_url = 'https://github.com/' if travis else 'git@github.com:'
check_call(['git', 'clone', git_url + 'cppformat/{}.git'.format(repo)])
# Copy docs to the repo. # Copy docs to the repo.
target_dir = os.path.join(repo, 'dev') target_dir = os.path.join(repo, 'dev')
rmtree_if_exists(target_dir) rmtree_if_exists(target_dir)
shutil.copytree(html_dir, target_dir) shutil.copytree(html_dir, target_dir, ignore=shutil.ignore_patterns('.*'))
if travis: if travis:
check_call(['git', 'config', '--global', 'user.name', 'amplbot']) check_call(['git', 'config', '--global', 'user.name', 'amplbot'])
check_call(['git', 'config', '--global', 'user.email', 'viz@ampl.com']) check_call(['git', 'config', '--global', 'user.email', 'viz@ampl.com'])
@ -37,8 +38,10 @@ if build == 'Doc':
check_call(['git', 'add', '--all'], cwd=repo) check_call(['git', 'add', '--all'], cwd=repo)
if call(['git', 'diff-index', '--quiet', 'HEAD'], cwd=repo): if call(['git', 'diff-index', '--quiet', 'HEAD'], cwd=repo):
check_call(['git', 'commit', '-m', 'Update documentation'], cwd=repo) check_call(['git', 'commit', '-m', 'Update documentation'], cwd=repo)
cmd = 'git push https://$KEY@github.com/cppformat/cppformat.github.io.git master' cmd = 'git push'
p = Popen(cmd, shell=True, stdout=PIPE, stderr=STDOUT) if travis:
cmd += ' https://$KEY@github.com/cppformat/cppformat.github.io.git master'
p = Popen(cmd, shell=True, stdout=PIPE, stderr=STDOUT, cwd=repo)
# Remove URL from output because it may contain a token. # Remove URL from output because it may contain a token.
print(re.sub(r'https:.*\.git', '<url>', p.communicate()[0])) print(re.sub(r'https:.*\.git', '<url>', p.communicate()[0]))
if p.returncode != 0: if p.returncode != 0: