diff --git a/INSTALL.md b/INSTALL.md
index a132f96b4..b46f7e255 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -3,7 +3,7 @@
 Installing YAP           {#install}
 ==============
 
-YAP=6.3.4 is a [`cmake`]() based system. We discuss how to use `cmake`
+YAP-6.3.4 is a [`cmake`](www.cmake.org) based system. We discuss how to use `cmake`
 to install YAP, and what are the major options.
 
 Compiling YAP {#CompilingYAP}
@@ -34,10 +34,10 @@ modern Prologs. In some cases, you may want to suport extra features, or reduce
 `cmake`provides an graphical interface for doing so. From the commmand line,  a typical example could be:
 
 ~~~~~
-cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=~ ~/src/yap
+cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=~ /users/vsc/src/yap
 ~~~~~
 
-The first argument says that this is a release, compiled with full optimisation. The second argument says YAP should install under the ~ drectory. In this case, YAP will add the binaries to ~/bin, include files to `~/include/Yap`, Prolog files to `~/share/Yap`, and ay DLL to `~/lib/Yap`.
+The first argument says that this is a release, compiled with full optimisation. The second argument says YAP should install under the ~ drectory. In this case, YAP will add the binaries to /users/vsc/bin, include files to `/users/vsc/include/Yap`, Prolog files to `/users/vsc/share/Yap`, and ay DLL to `/users/vsc/lib/Yap`.
 
 Options include:
 
@@ -67,15 +67,15 @@ or-parallelism according to the Muse-based, YapOR model. This option is
 still highly experimental.
 
 + `WITH_GMP` give a path to where one can find the
-`GMP` library if not installed in the default path. 
+`GMP` library if not installed in the default path.
 It is highly advised to have GMP in your compilation environment.
 
 + `WITH_READLINE` give a path to where one can find the
-`readline` library if not installed in the default path. 
+`readline` library if not installed in the default path.
 It is highly advised in Unix-like environments but not useful in Windows.
 
 + `-WITH_Threads` allows using of the multi-threading
-predicates provided by YAP. 
+predicates provided by YAP.
 
 You may also want to use a different compilation environment. As an example:
 
@@ -86,3 +86,64 @@ cmake -GXcode ..
 will generate files for compilation of YAP within Apple's Xcode IDE.
 You can also use `xcodebuild` from the command line.
 
+Bext follow instructions to fully compile YAP:
+
+#### Compilation Notes for OSX/Brew
+
+Next follows a detailed description of a full install of YAP, including all the packages that YAP can use:
+
+ 1. Install the XCode toolkit from the Apple App Store (you may have to register as a developer).
+
+ 2. Install a package manager, such as [brew](http://brew.sh),
+
+ 3. You will need `cmake` and `gmp`: both are available in brew.
+
+ 4. other brew packages you may want to install: `gecode`, `libxml2`, `openssl`,
+ `mariadb`, `openmpi`,  `postgresql`, `raptor`,
+ `sqlite3`, `swig`, `unixodbc`. Note that some of  them may be preconditions
+ to other packages.
+
+ 5. to install [cudd](http://vlsi.colorado.edu/~fabio/CUDD), a package used by ProbLog and cplint, just use:
+~~~~~
+brew tap mht208/formal
+brew install cudd
+~~~~~
+
+ 6. To use [R](https://www.r-project.org), you must download the `R` distribution from one of the many `R` mirrors.
+
+ 6. To use [Java](https://www.java.com), you should download the Oracle distributed JDK.
+
+ 6. When installing [Python](https://www.python.org), verify which python you
+ are using.
+
+ 7. There may be conflict between  original OSX and the brew packages (eg, `openssl`, `python`, and `sqlite3`. If you prefer leaning on brew:
+ ~~~~~
+cmake -DOPENSSL_ROOT_DIR=/usr/local/opt/openssl ..
+~~~~~
+
+ #### Compilation Notes for Android
+
+ Next we present the compilation process for Android. The environment is an OSX, but steps
+ should be similar for Linux machines. We assume you have downloaded both the Android NDK and the Android SDK.
+
+ 1. Reserve a directory for compilation:
+~~~~~
+ mkdir android
+ cd android
+~~~~~
+
+ 2. Get the [GMP-android](https://github.com/Rupan/gmp) port.
+
+ 2. Call `cmake`:
+ ~~~~~
+ export ANDROID_NDK=/Volumes/Transcend/vsc/android-ndk-r11c; \
+ export ANDROID_SDK=/Volumes/Transcend/vsc/AndroidSDK;\
+ export ANDROID_PORT=1;\
+ export  PATH=$PATH:/Volumes/Transcend/vsc/AndroidSDK/tools/;\
+ cmake \
+       -DGMP_INCLUDE_DIRS=/Users/vsc/github/gmp/armeabi-v7a \
+       -DGMP_LIBRARIES=/Users/vsc/github/gmp/armeabi-v7a/libgmp.so\
+       -DCMAKE_TOOLCHAIN_FILE=/users/vsc/github/yap-6.3/cmake/android.toolchain.cmake \
+      -DANDROID_ABI=armeabi-v7a -DANDROID_NATIVE_API_LEVEL=android-23  \
+      .. && make -j
+~~~~~