diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2019-12-07 21:13:02 +0100 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2019-12-07 21:13:02 +0100 |
| commit | b9a14cd4ee5d5a486cc7adce553d0ab33f350f0d (patch) | |
| tree | 021cc64b793581917914ef2350510d0b811fed2c | |
| parent | 3601445bc2107fe35c6950dba2aef2231bba66b8 (diff) | |
| download | memory-leaks-b9a14cd4ee5d5a486cc7adce553d0ab33f350f0d.tar.xz | |
Remove notes on Emacs compilation
Moved to a script in my dotfiles repository.
| -rw-r--r-- | guides/setups/emacs.md | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/guides/setups/emacs.md b/guides/setups/emacs.md deleted file mode 100644 index 53fb75f..0000000 --- a/guides/setups/emacs.md +++ /dev/null @@ -1,42 +0,0 @@ -# Compiling - -This script seems to handle most cases I care about: - -- a freshly cloned copy of the repository, -- a repository where compilation has already happened, -- a repository where I want to change the `configure` flags… - -``` bash -#!/bin/bash - -set -eux - -MAKE="make -j$(nproc --all)" -CONFIGURE_FLAGS="--with-xwidgets --with-cairo" - -if ! test -f Makefile -then - ${MAKE} configure -fi - -check-config () -{ - if ! test -f src/config.h - then - return 1 - fi - - local pattern='#define EMACS_CONFIG_OPTIONS "'${CONFIGURE_FLAGS}'"' - grep "${pattern}" src/config.h -} - -if ! check-config -then - ./configure ${CONFIGURE_FLAGS} -fi - -if ! ${MAKE} -then - ${MAKE} bootstrap -fi -``` |