Other Installations

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

Install and use the Dezyne command-line client

Important: The Dezyne command-line client requires Node.js v6.10.1 to properly run. The following steps will ensure that Node.js v6.10.1 is the default Node on your system.

  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.
        …Important: the path to the target_folder should not contain spaces and you should have proper rights to write into the folder
    • Ubuntu GNU/Linux
      • Download Node.js v6.10.1 ( for example, wget https://nodejs.org/dist/v6.10.1/node-v6.10.1-linux-x64.tar.xz )
        …Suggestion: for a Raspberry Pi run ‘uname -m’ first to determine which configuration you need (ARMv6, ARMv7 or ARMv8)
      • Extract the archive ( for example, tar -xvf node-v6.10.1-linux-x64.tar.xz )
      • Copy node to /usr/local, for example
        • cd node-v6.10.1-linux-x64
        • sudo cp -R * /usr/local/
      • Check if everything installed OK, for example
        • cd
        • node -v, should return v6.10.1
        • npm -v, should return 3.10.10
  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
      • Type the following in a terminal
        • echo prefix=~/.npm > ~/.npmrc
        • PATH=~/.npm/bin:$PATH
  3. Install the Dezyne command-line client
    • if you want to install dzn-2.8.0 please type the following in a command prompt
      • npm install -g https://hosting.verum.com/download/npm/dzn-2.8.0.tar.gz
    • if you want to install dzn-2.9.1 please type the following in a command prompt
      • npm install -g https://dezyne.verum.com/download/npm/dzn-2.9.1.tar.gz
  4. Authenticate by typing the following at the command prompt
      • if you installed dzn-2.8.0:
        • dzn -u “< user_email >” -p hello
      • if you installed dzn-2.9.1:
        • dzn -s https://dezyne.verum.com/service/2.9 -u “< user_email >” -p hello

    where instead of “< user_email >” you need to specify, without quotes, the email address used for registration

    … and when asked, type in your password.

  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://download.verum.com/dezyne/rls/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.