Other Installations

Install and use the Dezyne command-line client
Use Dezyne as plugin in Eclipse

Install and use the Dezyne command-line client

  1. Install Node.js v6.10.1
    • Windows
      Download and install nodejs from https://nodejs.org/download/release/v6.10.1/ (choose 64-bit if your Windows is 64-bit)
      Suggestion: Specify < target_folder > as target directory where nodejs and npm will be installed. The path to should not contain spaces and you should have proper rights to write into the folder
    • Ubuntu GNU/Linux
      • Install nodejs and make a symlink to it named node
      • sudo apt-get install nodejs npm
      • sudo ln -s /usr/bin/nodejs /usr/bin/node
  2. Set install prefix, i.e. target directory for npm packages, i.e. dependencies
    • Windows
      Type the following in a command prompt
      npm config set prefix “< target_folder >
      Suggestion: specify as “< target_folder >” the same directory as at the previous step
    • Ubuntu GNU/Linux
      echo prefix=~/.npm > ~/.npmrc
  3. Install the Dezyne command-line client
    • Type the following in a command prompt
      npm install -g https://hosting.verum.com/download/npm/dzn-2.8.0.tar.gz
  4. Authenticate by typing the following at the command prompt (this will install a required dependency, i.e. the dzn-daemon)
    dzn -u “< user_email >” -p hello, where instead of “< user_email >” you need to specify, without quotes, the email address used for registration
  5. Check installation and authentication by typing one of the following at the command prompt
    • dzn ‐‐help
    • dzn hello
    • dzn ls /share/runtime
    • dzn cat /share/examples/Alarm.dzn > Alarm.dzn
    • dzn verify Alarm.dzn

Use Dezyne as plugin in Eclipse

The following steps present a way to install Dezyne as a plugin in an Eclipse environment:

  1. Start Eclipse
  2. Click on Help –> Install New Software
  3. Type “https://hosting.verum.com/download/plugin/repository“ in the field tagged “Work with:”
  4. Select “Dezyne”
  5. Press Next (it will start calculating requirements and dependencies)
  6. Press Next (to continue installation)
  7. Select “I accept the terms of the license agreement” and Press Finish

Note: if you try to install Dezyne on a Mars or Luna release of Eclipse, there might be dependencies with third party plugins requiring older versions of plugins, and installation might be cancelled due to refusal to update the respective plugins.

At the end of the installation it will be stated that Eclipse will restart, if it doesn’t you can/have to (re)start Eclipse yourself.

To start using Dezyne you have to go to File –> New –> Other, select Verum and select one of the provided items (Dezyne Example project, Dezyne Model File, or Modelling project).

At some moment it will ask you to log in via the Window –> Preferences as it does in the standalone application.

Do not hesitate to contact the Verum team if you experience any problems.

Happy Dezyne-ing.