blob: 04b5eb76b887da81e56f46f010dd809f5ec06bd2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# 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)"
if ! test -f Makefile
then
${MAKE} configure
./configure --with-xwidgets
fi
if ! ${MAKE} CONFIGURE_FLAGS=--with-xwidgets
then
${MAKE} CONFIGURE_FLAGS=--with-xwidgets bootstrap
fi
```
|
