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

---
 personal/setup/emacs.md | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 personal/setup/emacs.md

(limited to 'personal')

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