Using PhASAR with Docker

Abstract

Recently we have prepared phasar for being able to run in a docker container. This makes it a lot easier to use phasar, since it is no longer required for each user to build it manually. Additionally phasar is now platform independent - as far as docker is, which increases the usability.

For more information about docker see the documentation or tutorial.

In the following you can find guides on how to use phasar from a container and how to build it.

Fetch a prebuild Docker image

A prebuild docker image can be found at https://hub.docker.com/r/pdschbrt/phasar.

Pull the docker image using:

docker pull pdschbrt/phasar

We are currently setting up an automated pipeline such that a new docker image is build for each push made to PhASAR's repository.

Build a Docker Image

When you don't want to use a prebuild docker image, you can also build it yourself.

First, open the terminal and navigate to the top level phasar directory. This folder should contain a Dockerfile file. If not, please check your current branch. To build the image, type

docker build -t phasar:latest .

This can take some time and will utilize as many cores of your machine as you have assigned to the docker engine. Note: This build-process requires an internet connection as it needs to install all phasar-dependencies.

Run PhASAR from a Container

Once you have installed docker and have a phasar-image available on your computer, running it is easy:

docker run phasar

Appending any commandline parameters will pass them directly to phasar. For example docker run phasar --help will display the help-screen of phasar.