From f87cbe6de8d2842df4b9928d23c1125b6ec10a68 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 6 Dec 2017 16:01:53 +0100 Subject: [PATCH] Add info on using the updatePlugins.xml for installing the plugin. --- README.md | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index e76c9594..4a2fb0a0 100644 --- a/README.md +++ b/README.md @@ -40,9 +40,21 @@ The source code can be opened with the latest version of JetBrains MPS, which is ## Installation -See the downloads section of the latest release for the plugin archive. This archive has to be unpacked to the MPS plugins folder on your local drive. For example (using macOS): +The easiest way to install the plugin is by using the update mechanism built in to JetBrains MPS. -`unzip typechecker-0.1.zip -d ~/Library/Application\ Support/MPS2017.1/` +1. Open the Preferences dialog and select Plugins on the left +2. In the panel on the right select Browse Repositories… +3. In the dialog that appears select Manage Repositories… +4. Add a new repository with the following url: +``` +https://raw.githubusercontent.com/fisakov/constraints-typechecking/updates/updatePlugins.xml +``` +5. The list of plugins should be refreshed and the new plugin «typechecking» should appear +6. Install the plugin and restart the application. + +Alternatively, the plugin can be installed manually. See the downloads section of the latest release for the plugin archive. This archive has to be unpacked to the MPS plugins folder on your local drive. For example (using macOS): + +`unzip typechecker-0.2.zip -d ~/Library/Application\ Support/MPS2017.2/` ## Hacking