summaryrefslogtreecommitdiff
path: root/guides/setups/emacs.md
diff options
context:
space:
mode:
Diffstat (limited to 'guides/setups/emacs.md')
-rw-r--r--guides/setups/emacs.md42
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
-```