Update docs for 0.13.2

SMerrony · Nov 22, 2022 · c67fdd8 · c67fdd8
1 parent bcde83b
commit c67fdd8
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 1 deletion.
diff --git a/Docs/DEVELOP.md b/Docs/DEVELOP.md
@@ -56,6 +56,20 @@ alr build
 ```
 N.B. If you have not built a GtkAda crate (the GUI toolkit we use) recently then Alire will automatically download and build that before building Dashera itself.  This can take some time when it first happens, subsequent builds should be much faster.
 
+### Non-Alire Build
+
+If you cannot use Alire, it should still be possible to build Dashera with gprbuild... 
+```
+mkdir obj
+gprbuild -Pnon_alire 
+```
+Ignore the warning about file name not matching project name.
+You may append `-Xmode=release` to the gprbuild command for an optimised build.
+
+Without Alire you will have to manually ensure that dependencies (eg. GtkAda) are installed.
+Eg. You may need to install the `libgtkada20-dev` package.
+
+
 ## Run with Fatal Warnings...
 `./dashera --gtk-fatal-warnings --g-fatal--warnings`
 

diff --git a/README.md b/README.md
@@ -56,11 +56,13 @@ N.B. If you have not built a GtkAda crate (the GUI toolkit we use) recently then
 
 If you cannot use Alire, it should still be possible to build Dashera with gprbuild... 
 ```
-gprbuild -Pnon_alire
+mkdir obj
+gprbuild -Pnon_alire -Xmode=release
 ```
 Ignore the warning about file name not matching project name.
 
 Without Alire you will have to manually ensure that dependencies (eg. GtkAda) are installed.
+Eg. You may need to install the `libgtkada20-dev` package.
 
 ## Run
 `.bin/dashera`