# Compiling

This script seems to handle both a freshly cloned copy of the
repository, and a repository where compilation has already happened:

``` bash
#!/bin/bash

set -eux

MAKE="make -j$(nproc --all)"
CONFIGURE_FLAGS="--with-xwidgets"

if ! test -f Makefile
then
	${MAKE} configure
	./configure ${CONFIGURE_FLAGS}
fi

if ! ${MAKE} CONFIGURE_FLAGS="${CONFIGURE_FLAGS}"
then
    ${MAKE} CONFIGURE_FLAGS="${CONFIGURE_FLAGS}" bootstrap
fi
```