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)