blob: 4162d2d081cc602208d6deb8d568f165ed124d05 (
plain) (
blame)
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 <maandree@member.fsf.org>
#
# 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
|
