add some more info to the readme

2013-06-29 11:11:39 -05:00
parent a61bbb7010
commit 1a4aa4a63c
1 changed files with 11 additions and 1 deletions
--- a/README.md
+++ b/README.md
@@ -49,4 +49,14 @@ http://libre.adacore.com/download/configurations and, still in OSX, I frob
        export PS1=$PRE_GNAT_PS1
        echo "done."
    }
-    
+
+Once I have gnat installed and in my PATH, I say
+
+    gnatmake -O3 words
+    gnatmake -O3 makedict
+    gnatmake -O3 makestem
+    gnatmake -O3 makeewds
+    gnatmake -O3 makeefil
+    gnatmake -O3 makeinfl
+
+There is more info that I don't properly understand in the file HOWTO.txt.