def create_makefile_template_defines()

in scripts/setup.py [0:0]


def create_makefile_template_defines(
        proof_root, source_root, litani, project_name):
    """Create Makefile-template-defines in the proof root."""

    makefile = os.path.join(proof_root, "Makefile-template-defines")
    if os.path.exists(makefile):
        logging.warning("Overwriting %s", makefile)

    with open(makefile, "w") as fileobj:
        print(SRCDIR_TEXT.format(os.path.relpath(source_root, proof_root)),
              file=fileobj)
        print(LITANI_TEXT.format(os.path.relpath(litani, proof_root)),
              file=fileobj)
        print(PROJECT_TEXT.format(project_name), file=fileobj)