From 4320edc924a303ce0cab0000a5f16f045a3822df Mon Sep 17 00:00:00 2001
From: jahoti <jahoti@tilde.team>
Date: Sun, 10 Oct 2021 00:00:00 +0000
Subject: Add a configuration system

---
 configure | 77 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 77 insertions(+)
 create mode 100755 configure

(limited to 'configure')

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
-- 
cgit v1.2.3