Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
51 lines (30 sloc) 1.12 KB

Getting started

Installation

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

Once opam installed:

$ opam install archetype

{% hint style="warning" %} archetype is still in alpha version (0.1.5) {% endhint %}

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.

You can’t perform that action at this time.