From 8cfe656fbb312398244d6f0e820d4f179db3cfc7 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date: Thu, 11 Jul 2019 18:10:53 +0200
Subject: Move some things around

---
 guides/setups/emacs.md | 42 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 guides/setups/emacs.md

(limited to 'guides/setups/emacs.md')

diff --git a/guides/setups/emacs.md b/guides/setups/emacs.md
new file mode 100644
index 0000000..53fb75f
--- /dev/null
+++ b/guides/setups/emacs.md
@@ -0,0 +1,42 @@
+# 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
+```
-- 
cgit v1.2.3