Install Ajla from released source code

1. Determine operating system

1. echo $HOME , if it prints /data/data/com.termux/files/home, then it's Termux in Android.
2. lsb_release -a
3. cat /etc/issue
4. uname -a

2. Prevent failure on lengthy activities

• iOS iSH: go to cogwheel (settings) inside iSH and turn on Keep Screen Turned On.
• Android Termux: press long on the terminal text window; MORE; turn on Keep screen on.

3. Install required and recommended software

3.1 Packages which have to be installed before the others

If you are on Termux on Android, install the tur-repo package (pkg in tur-repo).

3.2 Install main prerequisities

Consequences of missing packages

• If Ed and Sed are required but not installed, ./configure will crash with errors that don't make sense.
• If GCC is required and not installed and the system uses Clang instead, compilation will take one or more hours.
• If GMP/libgmp-dev/gmp-dev/gmp-devel is not installed, Ajla will be slower on complicated math calculations.
• If Libffi/libffi-dev/libffi-devel is not installed, Ajla will not allow calling external libraries.
• If libnuma-dev/numactl-dev/numactl-devel/libnuma-devel is not installed, Ajla will be slower on expensive PC's with NUMA.
• If libz3-dev/z3-dev/z3-devel is nost installed, Ajla will not help catch certain sophisticated errors in programs.
• If Screen is missing and you are installing over SSH and network disconnect occurs, you have to rerun the lenghty command again.

4. Download Ajla

1. If your system allows it, make sure you are logged in as ordinary user and not root/administrator.
2. Download and unpack the latest released ajla-0.2.2.tar.gz source code or an older .tar.gz version.

5. Compile Ajla

1. If on SSH, iOS iSH or Android Termux, start the command screen (if available). If network disconnects, reattach with screen -dr. It also helps with lack of terminals.
2. Enter the directory ajla-* that was created by unpacking the archive
3. Determine the major version of GCC by running this command

   Operating System	Command to print GCC major version
   Android with Termux	gcc-15 -v
   FreeBSD	gcc8 -v
   OpenBSD	egcc -v
   Other	gcc -v

   and take the first number after “gcc version”. If it fails, assume major version 12.
4. Determine RAM size of your computer/phone by MemTotal from /proc/meminfo or from the top command and if that doesn't exist, web search technical spec of your device. If you can't figure it out, assume 1 GB.
5. Remember to replace CC=gcc depending on your operating system:

   Operating System	Replace CC=gcc with
   Android with Termux	CC=gcc-15
   FreeBSD	CC=gcc8
   OpenBSD	CC=egcc
   Other	CC=gcc

6. Determine what to replace ./configure with. Take one row of the table after another until it tells you what:

   Step	Test	Replace ./configure with
   1	Are you on Termux in Android?	./configure --prefix=/data/data/com.termux/files/usr
   2	Do you know the root or administrator password?	./configure
   3	Are you entitled to run sudo?	./configure
   4	Are you already running as root or administrator?	./configure
   5	Otherwise	./configure --prefix="$HOME"/.local

7. According to your GCC version, select column 1-4 in the table below. Then, according to your RAM size, select the appropriate row. If you take a lower row, your computer may become unresponsive for long time, or the installation even fails with an error. If you take a higher row, Ajla will run or install unnnecessarily slower.
8. Optionally determine max. CPU GHz from /proc/cpuinfo, lscpu, cpufreq-info or technical specs and estimate compilation time: minutes=GHz_minutes / CPU_GHz. If on iOS iSH, additionally multiply by 6.8.
9. If on battery powered device, plan enough runtime for that time.
10. Make sure you will have 100 MB disk space available
11. Close unneeded memory-hungry Firefox or Chromium tabs and similar stuff.
12. Copy-paste the corresponding command, replace CC=gcc according to point 5., replace ./configure according to point 6. and run it. If your computer becomes unresponsive, close more memory hungry Firefox or Chromium tabs or other programs.

    RAM size for GCC <=11	RAM size for GCC 12-14 or a compiler different from GCC	RAM size for GCC >= 15 on systems different from Debian, Edubuntu, Kali, Kubuntu, Lite, MX, Lubuntu, Mint, Trisquel, Ubuntu, Xubuntu, Zorin	RAM size for GCC >= 15 on Debian, Edubuntu, Kali, Kubuntu, Lite, MX, Lubuntu, Mint, Trisquel, Ubuntu, Xubuntu, Zorin	Command to run
    >=640 MB < 680 MB 19.6 GHz_minutes	>=670 MB < 710 MB 16.4 GHz_minutes	>=875 MB < 1 GB 10.5 GHz_minutes	>=1 GB < 1.3 GB 17 GHz_minutes	CC=gcc CFLAGS="-O1 --param ggc-min-expand=1 --param ggc-min-heapsize=1024" ./configure --disable-computed-goto && make -j1 ipret.o ipretc.o && make -j2
    >=680 MB < 3 GB 14.5 GHz_minutes	>=710 MB < 2.5 GB 12.7 GHz_minutes	>=1 GB < 3 GB 7.5 GHz_minutes	>=1.3 GB < 4 GB 12.1 GHz_minutes	CC=gcc CFLAGS="-O1 --param ggc-min-expand=20 --param ggc-min-heapsize=16384" ./configure --disable-computed-goto && make -j1 ipret.o ipretc.o && make -j2
    >=3 GB < 4 GB 33.8 GHz_minutes	>=2.5 GB < 4 GB 32.2 GHz_minutes	>=3 GB < 5 GB 10.7 GHz_minutes	>=4 GB < 7 GB 17.3 GHz_minutes	CC=gcc CFLAGS=-O2 ./configure --disable-computed-goto && make -j1 ipret.o ipretc.o && make -j2
    >=4 GB < 8 GB 38.4 GHz_minutes	>=4 GB < 8 GB 36.7 GHz_minutes	>=5 GB < 9 GB 24.4 GHz_minutes	>=7 GB < 12 GB 39.5 GHz_minutes	CC=gcc CFLAGS=-O2 ./configure && make -j1 ipret.o ipretc.o && make -j8
    >=8 GB < 12 GB 25.9 GHz_minutes	>=8 GB < 12 GB 24.2 GHz_minutes	>=9 GB < 13 GB 16.1 GHz_minutes	>=12 GB < 16 GB 26 GHz_minutes	CC=gcc CFLAGS=-O2 ./configure && make -j2 ipret.o ipretc.o && make -j8
    >=12 GB 24.3 GHz_minutes	>=12 GB 24.1 GHz_minutes	>=13 GB 14.9 GHz_minutes	>=16 GB 24.1 GHz_minutes	CC=gcc CFLAGS=-O2 ./configure && make -j8

6. Copy Ajla to permanent location

7. Set search path for the ajla command

7.1 Determine the search path

7.2 Set the search path

PATH=~/.local/bin:"$PATH"

1. Log out from all consoles, terminal emulators (xterm,...), and SSH's and log in again
2. Reboot the system

8. Test Ajla

9. Clean up