Installing PCBSD 10.1 system ---------------------------- Setting up a virtual machine for PCBSD is quite easy now using the OVA images. You can use either VMware or VirtualBox to setup the PCBSD virtual machine (OVA PC-BSD Desktop). Download it from http://www.pcbsd.org/en/download.html The setup is pretty much straightforward. Once setup is complete, you can install the compiler and some tools: Switch to root $ sudo -i Find packages to get the current versions: # pkg search gnat # pkg search gps Install compiler and GPS (Ada IDE): # pkg install gnatdroid-armv7-20141023 # pkg install gps-ide-6.1.0.0_1 # exit As a user you must add the compiler to the PATH: $ cd ~ $ kate .cshrc Add /usr/local/android/ARMv7/bin to PATH Start gps IDE: $ gps Now you can use gnatmake to generate executables for Android: $ arm-aux-linux-androideabi-gnatmake hello_ada.adb -largs -fPIC -pie Note that for Android the executables need to be position independent