Installation

Installation requires opam. Please refer to this page for opam installation instructions.

Once opam installed:

$ opam install archetype

For information, list of dependencies:

• GNU make

• ocaml >= 4.07.0

• dune >= 1.5.0

• menhir

• omd

• why3 >= 1.2.0

• yojson >= 1.5.0

• ppx_deriving >= 4.2.1

• ppx_deriving_yojson >= 3.3

VS code extension installation

Please refer to this page to download and install VS code.

Install through VS Code extensions. Search for vscode-archetype:

​Visual Studio Code Marketplace: vscode-archetype​

Can also be installed with VS Code Quick Open: press Cmd/Ctrl + P, paste the following command, and press enter.

ext install edukera.vscode-archetype

The vscode extension is configured via the normal vscode settings screen.

​

​