mirror of
https://github.com/open-goal/jak-project
synced 2026-05-25 23:35:33 -04:00
Tyler Wilding
60db0e5ef9
This updates `fmt` to the latest version and moves to just being a copy of their repo to make updating easier (no editing their cmake / figuring out which files to minimally include). The motivation for this is now that we switched to C++ 20, there were a ton of deprecated function usages that is going away in future compiler versions. This gets rid of all those warnings.
59 lines
2.0 KiB
Python
Vendored
Generated
59 lines
2.0 KiB
Python
Vendored
Generated
#!/usr/bin/env python
|
|
# Build the documentation in CI.
|
|
|
|
from __future__ import print_function
|
|
import errno, os, shutil, subprocess, sys, urllib
|
|
from subprocess import call, check_call, Popen, PIPE, STDOUT
|
|
|
|
def rmtree_if_exists(dir):
|
|
try:
|
|
shutil.rmtree(dir)
|
|
except OSError as e:
|
|
if e.errno == errno.ENOENT:
|
|
pass
|
|
|
|
# Build the docs.
|
|
fmt_dir = os.path.dirname(os.path.dirname(os.path.realpath(__file__)))
|
|
sys.path.insert(0, os.path.join(fmt_dir, 'doc'))
|
|
import build
|
|
build.create_build_env()
|
|
html_dir = build.build_docs()
|
|
|
|
repo = 'fmtlib.github.io'
|
|
branch = os.environ['GITHUB_REF']
|
|
is_ci = 'CI' in os.environ
|
|
if is_ci and branch != 'refs/heads/master':
|
|
print('Branch: ' + branch)
|
|
exit(0) # Ignore non-master branches
|
|
if is_ci and 'KEY' not in os.environ:
|
|
# Don't update the repo if building in CI from an account that doesn't have
|
|
# push access.
|
|
print('Skipping update of ' + repo)
|
|
exit(0)
|
|
|
|
# Clone the fmtlib.github.io repo.
|
|
rmtree_if_exists(repo)
|
|
git_url = 'https://github.com/' if is_ci else 'git@github.com:'
|
|
check_call(['git', 'clone', git_url + 'fmtlib/{}.git'.format(repo)])
|
|
|
|
# Copy docs to the repo.
|
|
target_dir = os.path.join(repo, 'dev')
|
|
rmtree_if_exists(target_dir)
|
|
shutil.copytree(html_dir, target_dir, ignore=shutil.ignore_patterns('.*'))
|
|
if is_ci:
|
|
check_call(['git', 'config', '--global', 'user.name', 'fmtbot'])
|
|
check_call(['git', 'config', '--global', 'user.email', 'viz@fmt.dev'])
|
|
|
|
# Push docs to GitHub pages.
|
|
check_call(['git', 'add', '--all'], cwd=repo)
|
|
if call(['git', 'diff-index', '--quiet', 'HEAD'], cwd=repo):
|
|
check_call(['git', 'commit', '-m', 'Update documentation'], cwd=repo)
|
|
cmd = 'git push'
|
|
if is_ci:
|
|
cmd += ' https://$KEY@github.com/fmtlib/fmtlib.github.io.git master'
|
|
p = Popen(cmd, shell=True, stdout=PIPE, stderr=STDOUT, cwd=repo)
|
|
# Print the output without the key.
|
|
print(p.communicate()[0].decode('utf-8').replace(os.environ['KEY'], '$KEY'))
|
|
if p.returncode != 0:
|
|
raise subprocess.CalledProcessError(p.returncode, cmd)
|