1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
|
#! @SHELL@
set -ex
gengetopt="$(cd ../src; pwd)/gengetopt"
srcdir="@srcdir@"
builddir="@builddir@"
out_dir="$builddir/output_dirs"
if [ -d "$out_dir" ]; then
rm -rf -- "$out_dir"
fi
mkdir -p -- "$out_dir/c"
mkdir -p -- "$out_dir/h"
! "$gengetopt" --unnamed-opt --show-required \
--src-output-dir="$out_dir/c" \
--header-output-dir="$out_dir/h" \
--input "$srcdir/cmdline.ggo"
if [ ! -f "$out_dir/c/cmdline.c" ] || [ ! -f "$out_dir/h/cmdline.h" ]; then
exit 1
fi
|