Added instructions to build Isabelle

TheMC47 · Sep 8, 2021 · 4818003 · 4818003
1 parent 81d24d3
commit 4818003
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -5,9 +5,15 @@ A linter for Isabelle. Developed for my bachelor's thesis at the Chair for Logic
 
 ### Setup
 1. Checkout Isabelle submodule: `git submodule init && git submodule update`
-2. Compile the linter: `./sbt "project linter" assembly`
-3. For jEdit support: Patch jEdit jars: `./patch_jedit`
-4. For the tool support: `isabelle/bin/isabelle components -u linter/target`
+2. Build Isabelle
+```
+./isabelle/bin/isabelle components -a
+./isabelle/bin/isabelle components -I
+./isabelle/bin/isabelle build
+```
+3. Compile the linter: `./sbt "project linter" assembly`
+4. For jEdit support: Patch jEdit jars: `./patch_jedit`
+5. For the tool support: `isabelle/bin/isabelle components -u linter/target`
 
 ### Usage
 - jEdit: `isabelle/bin/isabelle jedit -e`