On MacOS, use the homebrew package manager to install with
brew install node
git clone https://model-checking/cbmc-proof-debugger.git cbmc-proof-debugger
cd cbmc-proof-debugger
npm install
make
make install
The homebrew page gives instructions for
installing brew.
The command brew install node installs the Node.js
runtime for JavaScript,
including the npm package manager.
The command npm install installs the dependencies listed in
packages.json into the directory node_modules.
The command make builds the extension into a file
named proof-debugger-VERSION.vsix where VERSION is the version number
given in package.json.
The command make install runs code from the command line to
install the extension in Code.
On other platforms, you can download a Node.js installer for your platform
from the Node.js download page,
and the remaining instructions should work.
On Ubuntu, you can install Node.js with just apt install nodejs.
If you learn how to build and install this package on your platform,
please submit a pull request to contribute your instructions.