Installation Issues on MacOS

[naimmas]

Hello everyone,

After struggling with the installation macOS v15.3.1 for nearly 5 hours, I finally get it working and wanted to share the solutions so you can save time.

❌ Problem 1: EACCES Permission Error

This was solved by skipping Puppeteer’s download step with the following command

export PUPPETEER_SKIP_DOWNLOAD='true'

Edit:
Executing with root privileges also solves the problem

sudo npm run fret-install --allow-root

❌ Problem 2: Deprecated node-sass Dependency

I found this StackOverflow thread which explains that node-sass has been replaced by sass.
from fret/fret-electron run the following

npm uninstall node-sass
npm install sass

✅ Recommendation: Use a Script for Dependency Installation
Instead of installing each optional package individually, I handled them all in a very simple script.

#!/bin/bash

if [ -d "tools" ]; then rm -rf tools; fi
mkdir tools
cd tools

wget https://nusmv.fbk.eu/distrib/2.7.0/NuSMV-2.7.0-macos-universal.tar.xz
mkdir NuSMV
tar -xvf NuSMV-2.7.0-macos-universal.tar.xz -C NuSMV
wget https://github.com/loonwerks/jkind/releases/download/v4.5.2/jkind-4.5.2.zip
mkdir jkind
unzip jkind-4.5.2.zip -d jkind
wget https://github.com/kind2-mc/kind2/releases/download/v2.3.0/kind2-v2.3.0-macos-12-arm64.tar.gz
mkdir kind2
tar -xvf kind2-v2.3.0-macos-12-arm64.tar.gz -C kind2
wget https://github.com/Z3Prover/z3/releases/download/z3-4.14.1/z3-4.14.1-arm64-osx-13.7.4.zip
mkdir z3
unzip z3-4.14.1-arm64-osx-13.7.4.zip -d z3

rm NuSMV-2.7.0-macos-universal.tar.xz
rm jkind-4.5.2.zip
rm kind2-v2.3.0-macos-12-arm64.tar.gz
rm z3-4.14.1-arm64-osx-13.7.4.zip

echo "export PATH=\$PATH:$(pwd)/NuSMV/NuSMV-2.7.0-macos-universal/bin:$(pwd)/jkind/jkind:$(pwd)/kind2:$(pwd)/z3/z3-4.14.1-arm64-osx-13.7.4/bin" >> ~/.bash_profile

And don't forget to run source ~/.bash_profile after the script

Hope this helps someone out there! If you're stuck, feel free to reply 😃