path: root/homebrew/nusmv/.make.sh-auto

pkg:setup
mkdir "NuSMV/build" && cd NuSMV/build
cmake .. -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TOOLCHAIN_FILE}
make DESTDIR=${PKG_DEST} install