 a463b96241
			
		
	
	a463b96241
	
	
	
		
			
			Keep other profiles.json content if the data belongs to the current build version. Also useful for the ImageBuilder, which builds for a single model each time. Without this commit the profiles.json would only contain the latest build profile information. Signed-off-by: Moritz Warning <moritzwarning@web.de> [improve commit message] Signed-off-by: Paul Spooren <mail@aparcar.org>
		
			
				
	
	
		
			71 lines
		
	
	
		
			1.9 KiB
		
	
	
	
		
			Python
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			71 lines
		
	
	
		
			1.9 KiB
		
	
	
	
		
			Python
		
	
	
		
			Executable File
		
	
	
	
	
| #!/usr/bin/env python3
 | |
| 
 | |
| from os import getenv, environ
 | |
| from pathlib import Path
 | |
| from subprocess import run, PIPE
 | |
| from sys import argv
 | |
| import json
 | |
| 
 | |
| if len(argv) != 2:
 | |
|     print("JSON info files script requires ouput file as argument")
 | |
|     exit(1)
 | |
| 
 | |
| output_path = Path(argv[1])
 | |
| 
 | |
| assert getenv("WORK_DIR"), "$WORK_DIR required"
 | |
| 
 | |
| work_dir = Path(getenv("WORK_DIR"))
 | |
| 
 | |
| output = {}
 | |
| 
 | |
| 
 | |
| def get_initial_output(image_info):
 | |
|     # preserve existing profiles.json
 | |
|     if output_path.is_file():
 | |
|         profiles = json.loads(output_path.read_text())
 | |
|         if profiles["version_code"] == image_info["version_code"]:
 | |
|             return profiles
 | |
|     return image_info
 | |
| 
 | |
| 
 | |
| for json_file in work_dir.glob("*.json"):
 | |
|     image_info = json.loads(json_file.read_text())
 | |
| 
 | |
|     if not output:
 | |
|         output = get_initial_output(image_info)
 | |
| 
 | |
|     # get first and only profile in json file
 | |
|     device_id, profile = next(iter(image_info["profiles"].items()))
 | |
|     if device_id not in output["profiles"]:
 | |
|         output["profiles"][device_id] = profile
 | |
|     else:
 | |
|         output["profiles"][device_id]["images"].extend(profile["images"])
 | |
| 
 | |
| # make image lists unique by name, keep last/latest
 | |
| for device_id, profile in output["profiles"].items():
 | |
|     profile["images"] = list({e["name"]: e for e in profile["images"]}.values())
 | |
| 
 | |
| 
 | |
| if output:
 | |
|     default_packages, output["arch_packages"] = run(
 | |
|         [
 | |
|             "make",
 | |
|             "--no-print-directory",
 | |
|             "-C",
 | |
|             "target/linux/",
 | |
|             "val.DEFAULT_PACKAGES",
 | |
|             "val.ARCH_PACKAGES",
 | |
|         ],
 | |
|         stdout=PIPE,
 | |
|         stderr=PIPE,
 | |
|         check=True,
 | |
|         env=environ.copy().update({"TOPDIR": Path().cwd()}),
 | |
|         universal_newlines=True,
 | |
|     ).stdout.splitlines()
 | |
| 
 | |
|     output["default_packages"] = sorted(default_packages.split())
 | |
| 
 | |
|     output_path.write_text(json.dumps(output, sort_keys=True, separators=(",", ":")))
 | |
| else:
 | |
|     print("JSON info file script could not find any JSON files for target")
 |