Add a configuration system

3 files changed, 118 insertions, 4 deletions

diff --git a/Makefile b/Makefile.in
index fc752e9..dcc1863 100644
--- a/Makefile
+++ b/Makefile.in
@@ -1,6 +1,6 @@
 # This file is part of Haketilo
 #
-# Copyright (C) 2021, Wojtek Kosior
+# Copyright (C) 2021, jahoti
 #
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the CC0 1.0 Universal License as published by
@@ -12,9 +12,8 @@
 # CC0 1.0 Universal License for more details.
 
 SHELL = /bin/sh
-UPDATE_URL =
-default_target = all
-srcdir = .
+
+# Configuration goes here
 
 # The default target: placed up here
 default: $(default_target)
@@ -43,3 +42,20 @@ build_%.zip: build_%
 clean:
 	rm -rf build_mozilla build_chromium
 	rm -f build_mozilla.zip build_chromium.zip
+
+distclean: clean
+	rm -f Makefile config.status record.conf
+
+# Files for constructing the makefile
+Makefile: config.status Makefile.in record.conf
+	./config.status
+
+config.status:
+	cp "$(srcdir)"/write_makefile.sh config.status
+
+Makefile.in:
+	cp "$(srcdir)"/Makefile.in .
+
+record.conf:
+	@echo File record.conf not found; rebuild by running configure
+	@exit 1
diff --git a/configure b/configure
new file mode 100755
index 0000000..3e12cbb
--- /dev/null
+++ b/configure
@@ -0,0 +1,77 @@
+#!/bin/sh
+
+# This file is part of Haketilo
+#
+# Copyright (C) 2021, jahoti
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the CC0 1.0 Universal License as published by
+# the Creative Commons Corporation.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# CC0 1.0 Universal License for more details.
+
+set -e
+
+SRCDIR=''
+TARGET=''
+
+# Parse command line options
+while [ "x$1" != x ]; do
+    case "$1" in
+	--srcdir=*)         SRCDIR="$(echo "$1" | cut -c 10-)";;
+	--srcdir)                           SRCDIR="$2"; shift;;
+	"UPDATE_URL"=*) UPDATE_URL="$(echo "$1" | cut -c 12-)";;
+	--host=*)            TARGET="$(echo "$1" | cut -c 8-)";;
+	--host)                             TARGET="$2"; shift;;
+	mozilla | chromium | all)                    TARGET=$1;;
+	*)                         echo Ignoring option "'$1'";;
+    esac
+    shift
+done
+
+# Autodetect srcdir
+if [ "x$SRCDIR" = x ]; then
+    SRCDIR=..
+    if [ -f manifest.json -a -f write_makefile.sh]; then
+	SRCDIR=.
+    fi
+fi
+
+# Check srcdir
+if [ ! -f "$SRCDIR"/manifest.json ]; then
+    echo Invalid source directory "'$SRCDIR'": missing manifest.json >&2
+    exit 1
+elif [ ! -f "$SRCDIR"/write_makefile.sh ]; then
+    echo Invalid source directory "'$SRCDIR'": missing write_makefile.sh >&2
+    exit 1
+fi
+
+# TODO: automate target detection
+
+# Standardize and check browser names
+case "${TARGET:-all}" in
+    mozilla)                   TARGET=mozilla;;
+    chromium)                 TARGET=chromium;;
+    all)                           TARGET=all;;
+    *) echo Invalid target "'$1'" >&2; exit 2;;
+esac
+
+# Write record.conf
+echo UPDATE_URL = "$UPDATE_URL" > record.conf
+echo default_target = "$TARGET" >> record.conf
+echo srcdir = "$SRCDIR" >> record.conf
+
+
+# Prepare environment for and run write_makefile.sh (as config.status)
+if [ ! -e Makefile.in ]; then
+    cp "$SRCDIR"/Makefile.in .
+fi
+
+if [ ! -e config.status ]; then
+    cp "$SRCDIR"/write_makefile.sh config.status
+fi
+
+./config.status
diff --git a/write_makefile.sh b/write_makefile.sh
new file mode 100755
index 0000000..118635b
--- /dev/null
+++ b/write_makefile.sh
@@ -0,0 +1,21 @@
+#!/bin/sh
+
+# This file is part of Haketilo
+#
+# Copyright (C) 2021, jahoti
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the CC0 1.0 Universal License as published by
+# the Creative Commons Corporation.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# CC0 1.0 Universal License for more details.
+
+if [ ! -e record.conf ]; then
+    echo "Record of configuration 'record.conf' does not exist." >&2
+    exit 1
+fi
+
+sed '/^# Configuration goes here$/r record.conf' < Makefile.in > Makefile