seva2sbol First install node.js from https://github.com/nodesource/distributions and raptor2-utils from apt Then npm install make