Modified the frontend script of dynamatic to add the command to set the polygeist path.
The script compile.sh receives as input this path. If not specified, the script will look for the default location of polygeist (i.e., inside dynamatic main folder)
Modified the frontend script of dynamatic to add the command to set the polygeist path.
The script compile.sh receives as input this path. If not specified, the script will look for the default location of polygeist (i.e., inside dynamatic main folder)