blame: source/misc/embedded_libs/fmt-8.1.1/support/build-docs.py

#!/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)