lore/Tesi-Magistrale
1
0
Fork 0
mirror of https://github.com/Lore09/Tesi-Magistrale.git synced 2025-12-20 21:04:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added metrics to gen and build

Browse Source
This commit is contained in:
Lorenzo Venerandi
2025-02-20 01:15:23 +01:00
parent 0b0e4a408c
commit a30fa7e10f
6 changed files with 94 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/wasm_builder/build.py
View File

@@ -2,8 +2,12 @@ import docker
import os
import logging
import yaml
import time
def build_project(project_dir, reg_user, reg_pass, detached):
def build_project(project_dir, reg_user, reg_pass, detached, metrics, metrics_enabled):
build_metrics = {}
start_time = 0
# Check if the project directory is valid
if not os.path.exists(f"{project_dir}/gen"):
@@ -15,6 +19,9 @@ def build_project(project_dir, reg_user, reg_pass, detached):
# Docker client
client = docker.from_env()
if metrics_enabled:
start_time = time.time()
# Build the images for the project if they don't exist
try:
client.images.get("wash-build-image:latest")
@@ -26,6 +33,8 @@ def build_project(project_dir, reg_user, reg_pass, detached):
dockerfile="build.Dockerfile",
tag="wash-build-image:latest"
)
if metrics_enabled:
build_metrics['image_build_time'] = '%.3f'%(time.time() - start_time)
try:
wait_list = []
@@ -46,6 +55,10 @@ def build_project(project_dir, reg_user, reg_pass, detached):
logging.error(f"Error building project: {e}")
return
if metrics_enabled:
build_metrics['components_build_time'] = '%.3f'%(time.time() - start_time)
metrics['build'] = build_metrics
print("Project built successfully")
def __build_wasm(task_dir, client, reg_user, reg_pass, detached, wait_list):