1 files changed, 58 insertions, 0 deletions
diff --git a/configure b/configure
index 8cce0d0..63aa2f8 100755
--- a/configure
+++ b/configure
@@ -1,5 +1,49 @@
 #!/bin/sh
 
+_usage="./configure -- configure the DGED build.
+
+Options:
+  --[enable|disable]-syntax    Enable or disable syntax highlighting support.
+  --enable-asan                Build DGED with address sanitizer enabled.
+  -h/--help                    Show this help text.
+"
+
+enable_syntax=1
+enable_asan=0
+while [ "$#" -gt 0 ]; do
+    case $1 in
+         --disable-syntax)
+            enable_syntax=0
+            shift 1
+            ;;
+
+        --enable-syntax)
+            enable_syntax=1
+            shift 1
+            ;;
+
+        --enable-asan)
+            enable_asan=1
+            shift 1
+            ;;
+
+        -h|--help)
+            echo "$_usage"
+            exit
+            ;;
+
+        -*)
+            echo "Unknown flag \"$1\". Usage:"
+            echo "$_usage"
+            exit 1
+            ;;
+        *)
+            shift 1
+            ;;
+    esac
+done
+
+
 echo "/* Generated by configure */" > src/config.h
 echo "#ifndef _CONFIG_H" >> src/config.h
 echo "#define _CONFIG_H" >> src/config.h
@@ -19,6 +63,20 @@ else
     echo "none."
 fi
 
+if [ "$enable_syntax" -ne 0 ]; then
+    echo "enabling syntax highlighting"
+    echo "SYNTAX_ENABLE = true" >> config.mk
+else
+    echo "disabling syntax highlighting"
+    echo "SYNTAX_ENABLE = false" >> config.mk
+fi
+
+if [ "$enable_asan" -ne 0 ]; then
+    echo "enabling address sanitizer"
+    echo "ASAN = true" >> config.mk
+fi
+
+
 echo "#endif" >> src/config.h
 echo "wrote src/config.h"
 echo "wrote config.mk"