diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2019-04-22 12:17:36 +0200 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2019-04-22 12:17:58 +0200 |
| commit | cdc880fc9d1282beb27246d38eba06bb2e6d8637 (patch) | |
| tree | 4c62eaafef2eb10cc8714cd6ebed7ce3156e845c /personal | |
| parent | 29ec3e321670daf32d2e0ded6cd3c15ab11ccd7b (diff) | |
| download | memory-leaks-cdc880fc9d1282beb27246d38eba06bb2e6d8637.tar.xz | |
Note down how to compile Emacs
Diffstat (limited to 'personal')
| -rw-r--r-- | personal/setup/emacs.md | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/personal/setup/emacs.md b/personal/setup/emacs.md new file mode 100644 index 0000000..04b5eb7 --- /dev/null +++ b/personal/setup/emacs.md @@ -0,0 +1,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 +``` |
