configure


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

#!/bin/sh

# Copyright (C) 2015  Mattias Andrée <m@maandree.se>
# 
# Copying and distribution of this file, with or without modification,
# are permitted in any medium without royalty provided the copyright
# notice and this notice are preserved.  This file is offered as-is,
# without any warranty.


# Run './configure --help' for usage information.


PKGNAME=sat
MAN_SECTION_SUFFIX=
MAN_SECTION=1


list_optional_features_help ()
{
	true
}

unrecognised_argument ()
{
    option="${1}"
    case "${option}" in
	(--build | --target | --host)
	    incomplete="${option}" ;;
	(--build=*)
	    ;;
	(--target=*)
	    ;;
	(--host=*)
	    ;;
	(*)
	    ;;
    esac
}

. "$(dirname "${0}")"/mk/configure


cat <<EOF

You can now run 'make && make install'.

EOF