---

3.1 Requirements

This section lists requirements when building Dezyne from source. The build procedure for Dezyne is the same as for GNU software, and is not covered here. Please see the files README and INSTALL in the Dezyne source tree for additional details.

Dezyne is available for download from its website at https://dezyne.org/download.html.

Dezyne depends on the following packages:

• GNU Guile, version 3.0.x, with readline support;
• Guile-JSON 4.x;
• GNU Make;
• mCRL2, version 202106.0;
• SCMackerel, version 0.5.2.

Optionally, for C++11

• boost, for using co-operatibbve co-routines instead of threads.

To use the code that is generated by Dezyne, which includes running the regression test:

• GCC’s g++, version 5.4 or later.