chipsalliance / synlig

SystemVerilog support for Yosys
Apache License 2.0
144 stars 20 forks source link

Install script is not Apple M* or ARM compatible #2429

Open zaun opened 2 months ago

zaun commented 2 months ago

I'm on a Mac with the Apple M2 chip. Running the install script does install the plugin, but it's not compatible with the system.

Install:

curl https://api.github.com/repos/chipsalliance/synlig/releases/latest | jq -r '.assets | .[] | select(.name | startswith("synlig-plugin-debian")) | .browser_download_url' | xargs wget -O - | tar -xz

./install_plugin.sh

Testing:

yosis
plugin -I systemverilog
ERROR: Can't load module `./systemverilog': dlopen(/Users/justinzaun/local/brew/bin/../share/yosys/plugins/systemverilog.so, 0x0005): tried: '/Users/justinzaun/local/brew/bin/../share/yosys/plugins/systemverilog.so' (not a mach-o file), '/System/Volumes/Preboot/Cryptexes/OS/Users/justinzaun/local/brew/bin/../share/yosys/plugins/systemverilog.so' (no such file), '/Users/justinzaun/local/brew/bin/../share/yosys/plugins/systemverilog.so' (not a mach-o file), '/Users/justinzaun/local/brew/Cellar/yosys/0.40/share/yosys/plugins/systemverilog.so' (not a mach-o file), '/System/Volumes/Preboot/Cryptexes/OS/Users/justinzaun/local/brew/Cellar/yosys/0.40/share/yosys/plugins/systemverilog.so' (no such file), '/Users/justinzaun/local/brew/Cellar/yosys/0.40/share/yosys/plugins/systemverilog.so' (not a mach-o file)

The last bit not a mach-o file looks like the installed plugin is not setup for arm.

The install script should look at the system an isntalll the correct version of the plugin.

zaun commented 2 months ago

I ended up compiling and building from source to get the plugin installed. But it might be worth updating the install steps to support arm, or to add a note that it doesn't support arm.