From 4e4240e460fa1df577249dcbc379c7f064211d3f Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Wed, 30 Jan 2019 21:43:46 -0500 Subject: move version_guard function here --- mk.sh | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/mk.sh b/mk.sh index eaa4c743..1b6703a7 100644 --- a/mk.sh +++ b/mk.sh @@ -25,3 +25,23 @@ classify_source () { echo FUNCTION fi } + +version_guard () { + parsed=/tmp/$(basename $1).v + grep -F -e 'STDC(' -e 'POSIX(' -e 'XOPEN(' $1 | sort | m4 $(dirname $0)/ftm.m4 - | grep . > $parsed + lines=$(wc -l $parsed | cut -f1 -d' ') + + if [ $lines -ne 0 ]; then + printf '#if' + loop=1 + while [ $loop -lt $lines ]; do + printf '\t(%s) || \\\n' "$(sed -ne "${loop}p;q" $parsed)" + loop=$((loop + 1)) + done + + sed -ne "${loop}p;q" $parsed > /tmp/sed.out.${loop} + printf '\t(%s)\n' "$(sed -ne "${loop}p;q" $parsed)" + fi + + rm -f $parsed +} -- cgit v1.2.1