set_device GW5AST-LV138PG484AC1/I0 -name GW5AST-138C

# Get project file from env
set RTL_FILES $::env(RTL_FILES)

# Add all files
puts $RTL_FILES
foreach rtl_file $RTL_FILES {
    add_file $rtl_file
}

add_file pins.cst
add_file test.sdc

# Nom du module top
set_option -top_module main
set_option -global_freq 5

# Répertoire de build
set_option -output_base_name build

# Étapes de compilation
run syn
run pnr