Installation and requirements

2 Installation and requirements

2.1 Requirements:

First you need a working Jack installation.
Usually the Coq plugin is installed together with Jack; but if it isn't the case you should be able to obtain it through its update site or through this site.
A working Coq installation (with a proper ide, coqc and coqtop).

2.2 Installation

In eclipse go to Help > Find And Install; select the option 'Search for new feature to install'; click on Next; then click on 'New Remote Site'... and then that's done.
After that you should restart eclipse. When it is done, go to Window > Preferences; in the Jack menu in the compiler subsection tick the 'Generate Coq output file' check box, and in provers > Coq prover fill out the preferences.