2020-04-21 09:49:16 +02:00
|
|
|
#!/usr/bin/env python3
|
|
|
|
|
2020-07-04 09:58:06 +02:00
|
|
|
"This tool is intended to be used from meson"
|
2020-05-28 12:31:15 +02:00
|
|
|
|
2022-08-03 10:39:52 +02:00
|
|
|
import os, sys, shutil
|
2020-06-02 16:48:35 +02:00
|
|
|
|
2020-04-21 09:49:16 +02:00
|
|
|
if len (sys.argv) < 3:
|
2020-07-04 12:15:15 +02:00
|
|
|
sys.exit (__doc__)
|
2020-04-21 09:49:16 +02:00
|
|
|
|
2022-08-03 10:39:52 +02:00
|
|
|
OUTPUT = sys.argv[1]
|
|
|
|
CURRENT_SOURCE_DIR = sys.argv[2]
|
2022-07-19 21:15:21 +02:00
|
|
|
|
|
|
|
# make sure input files are unique
|
2022-08-03 10:39:52 +02:00
|
|
|
sources = sorted(set(sys.argv[3:]))
|
2020-07-03 12:44:10 +02:00
|
|
|
|
2020-07-04 09:58:06 +02:00
|
|
|
with open (OUTPUT, "wb") as f:
|
2022-08-03 10:39:52 +02:00
|
|
|
f.write ("".join ('#include "{}"\n'.format (os.path.relpath (os.path.abspath (x), CURRENT_SOURCE_DIR)) for x in sources if x.endswith (".cc")).encode ())
|
2020-07-03 12:44:10 +02:00
|
|
|
|
2022-03-24 21:16:41 +01:00
|
|
|
# copy it also to the source tree, but only if it has changed
|
2022-08-03 10:39:52 +02:00
|
|
|
baseline_filename = os.path.join (CURRENT_SOURCE_DIR, os.path.basename (OUTPUT))
|
|
|
|
with open(baseline_filename, "rb") as baseline:
|
|
|
|
with open(OUTPUT, "rb") as generated:
|
|
|
|
if baseline.read() != generated.read():
|
|
|
|
shutil.copyfile (OUTPUT, baseline_filename)
|