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

---
 personal/setup/emacs.md | 42 ------------------------------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 personal/setup/emacs.md

(limited to 'personal/setup/emacs.md')

diff --git a/personal/setup/emacs.md b/personal/setup/emacs.md
deleted file mode 100644
index 53fb75f..0000000
--- a/personal/setup/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
-```
-- 
cgit v1.2.3