From cdc880fc9d1282beb27246d38eba06bb2e6d8637 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date: Mon, 22 Apr 2019 12:17:36 +0200
Subject: Note down how to compile Emacs

---
 README.md               |  2 +-
 personal/setup/emacs.md | 23 +++++++++++++++++++++++
 2 files changed, 24 insertions(+), 1 deletion(-)
 create mode 100644 personal/setup/emacs.md

diff --git a/README.md b/README.md
index 43f071e..fba4c8f 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
 # Peniblec's Memory Leaks
-## still reachable: 7342 words in 15 pages
+## still reachable: 7394 words in 16 pages
 
 Hi!  I am a software engineer interested in [a bunch of things].
 
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
+```
-- 
cgit v1.2.3