#!/bin/sh -efu
|
#
|
# Copyright (c) 2017 Dmitry V. Levin <ldv@altlinux.org>
|
# All rights reserved.
|
#
|
# Redistribution and use in source and binary forms, with or without
|
# modification, are permitted provided that the following conditions
|
# are met:
|
# 1. Redistributions of source code must retain the above copyright
|
# notice, this list of conditions and the following disclaimer.
|
# 2. Redistributions in binary form must reproduce the above copyright
|
# notice, this list of conditions and the following disclaimer in the
|
# documentation and/or other materials provided with the distribution.
|
# 3. The name of the author may not be used to endorse or promote products
|
# derived from this software without specific prior written permission.
|
#
|
# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
|
# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
|
# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
# NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
usage()
|
{
|
cat >&2 <<EOF
|
Usage: $0 [<input> [<output>]]
|
|
Generate pure_executables.am from <input> list.
|
Deduce output file from <input> unless an <output> is specified.
|
EOF
|
exit 1
|
}
|
|
input="${0%/*}/pure_executables.list"
|
[ $# -eq 0 ] || { input="$1"; shift; }
|
output="$(dirname "$input")/pure_executables.am"
|
[ $# -eq 0 ] || { output="$1"; shift; }
|
[ $# -eq 0 ] || usage
|
|
exec > "$output"
|
|
echo "# Generated by $0 from $input; do not edit."
|
echo 'PURE_EXECUTABLES = \'
|
sed -n 's/^[^#].*/ & \\/p' < "$input"
|
echo ' #'
|
