diff options
| -rw-r--r-- | README.md | 2 | ||||
| -rw-r--r-- | personal/setup/emacs.md | 23 |
2 files changed, 24 insertions, 1 deletions
@@ -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 +``` |