mirror of
https://gitlab.nic.cz/knot/knot-dns.git
synced 2026-02-03 18:49:28 -05:00
42 lines
998 B
Python
Executable file
42 lines
998 B
Python
Executable file
#!/usr/bin/python -Es
|
|
# vim: et:sw=4:ts=4:sts=4
|
|
#
|
|
# Script regenerates project file list from the list of files tracked by Git.
|
|
#
|
|
|
|
SOURCES = [
|
|
"src/*.c", "src/*.h", "src/*.rl",
|
|
"tests/*.c", "tests/*.h",
|
|
"tests-fuzz/*.c", "tests-fuzz/*.h",
|
|
]
|
|
|
|
SOURCES_EXTRA = [
|
|
"src/libknot/libknot.h"
|
|
]
|
|
|
|
OUTPUT_FILE = "Knot.files"
|
|
|
|
# ----------------------------------------------------------------------------
|
|
|
|
from subprocess import Popen, PIPE
|
|
import os
|
|
import sys
|
|
|
|
def run(command):
|
|
p = Popen(command, stdout=PIPE, stderr=PIPE)
|
|
(out, errout) = p.communicate()
|
|
if p.returncode != 0:
|
|
raise Exception("Command %s failed.", command)
|
|
return out
|
|
|
|
print >>sys.stderr, "Updating %s." % OUTPUT_FILE
|
|
|
|
git_root = run(["git", "rev-parse", "--show-toplevel"]).strip()
|
|
os.chdir(git_root)
|
|
|
|
command = ["git", "ls-files"] + SOURCES
|
|
files = run(command).splitlines() + SOURCES_EXTRA
|
|
|
|
with open(OUTPUT_FILE, "w") as output:
|
|
output.write("\n".join(sorted(files)))
|
|
output.write("\n")
|