# Synthesis tool. Options are "xst", "synplify" and "precision" if [ -z "$SYNTOOL" ] then SYNTOOL=xst fi # Board name (name of the subfolder of the "boards" folder) if [ -z "$BOARD" ] then BOARD=milkymist-one fi