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