HowToRun

What to do if your machine refuses to run Arbil?

Arbil is no longer supported or being maintained. If you need to use it, but you are having trouble starting it, your best option is to use a virtual machine that provides an environment in which Arbil does run. The following has been tested to work (February 2020):

• Download and install VirtualBox from https://www.virtualbox.org or software with similar capacities (e.g. VMWare)
• Download Ubuntu 18.04 from https://ubuntu.com/download/desktop, and download the .iso file. If that page suggests a new version, go to http://releases.ubuntu.com/18.04/
• Create a new virtual machine in VirtualBox (or other VM software) and make sure it is properly configured for installing and running Ubuntu. Then install Ubuntu using the downloaded .iso image. You can find step-by-step instructions at https://www.wikihow.com/Install-Ubuntu-on-VirtualBox.
• Once the virtual machine is up and running, install the Java runtime environment: start the Terminal program, type 'sudo apt-get install openjdk-8-jre', press enter and enter your password
• Use the browser (Firefox) in the virtual machine to browse to https://tla.mpi.nl/tools/tla-tools/arbil/ and choose 'Download the Debian Linux package'
• Choose to open the file with 'Software Install' and complete the installation procedure
• After this, the Arbil program should be listed in the applications list inside the virtual machine
• To use files that are also on your 'host computer', you will need to define some shared folders. Instructions can be found at https://gist.github.com/estorgio/0c76e29c0439e683caca694f338d4003.

If you have other solutions, feel free to add them here.