/tests/stack_machine_load_store/

> index : browser-extension
A Web Extension to facilitate replacing sites' js with user-supplied scripts
aboutsummaryrefslogtreecommitdiff
path: root/configure
blob: 4e5c0381623f808995c781b78ecefe4c17441431 (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
#!/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)                    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" in
    mozilla)                   TARGET=mozilla;;
    chromium)                 TARGET=chromium;;
    *) echo Invalid target "'$1'" >&2; exit 2;;
esac

# Write record.conf (LEAVE SRCDIR FIRST)
echo srcdir = "$SRCDIR" > record.conf
echo default_target = "$TARGET" >> record.conf
echo UPDATE_URL = "$UPDATE_URL" >> record.conf


# Prepare and run write_makefile.sh (as config.status)
if [ ! -e config.status ]; then
    cp "$SRCDIR"/write_makefile.sh config.status
fi

./config.status