Skip to content
Snippets Groups Projects
Commit 1e314032 authored by Victor Bandur's avatar Victor Bandur
Browse files

Update index.md

parent 0707f337
No related branches found
No related tags found
No related merge requests found
...@@ -8,14 +8,14 @@ title: Code Generation ...@@ -8,14 +8,14 @@ title: Code Generation
The C code generator is distributed as a plugin, and can be installed through the usual Eclipse installation procedure for new software: The C code generator is distributed as a plugin, and can be installed through the usual Eclipse installation procedure for new software:
- 1. Go to `Help->Install New Software...`. - 1. Go to `Help->Install New Software...` .
- 2. Select `Overture VDM2C Development` in the `Work with:` box. If this option does not exist, the repository is `http://overture.au.dk/vdm2c/development/ide/repository/target/repository/`. - 2. Select `Overture VDM2C Development` in the `Work with:` box. If this option does not exist, the repository is `http://overture.au.dk/vdm2c/development/ide/repository/target/repository/` .
- 3. Below, select `Overture C Code Generator`. - 3. Below, select `Overture C Code Generator` .
- 6. Click `Next` and follow the usual procedure to install. - 6. Click `Next` and follow the usual procedure to install.
To check for updates to the C code generator, To check for updates to the C code generator,
- 1. Go to `Help->Installation Details` - 1. Go to `Help->Installation Details` .
- 2. Select `VDM 2 C Code Generator`. - 2. Select `VDM 2 C Code Generator` .
- 3. Click `Update...`. - 3. Click `Update...` .
- 4. Complete the wizard and restart Overture. - 4. Complete the wizard and restart Overture.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment