| #!/bin/sh -efu |
| # |
| # Copyright (c) 2017 Dmitry V. Levin <[email protected]> |
| # 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 ' #' |