# YES, THIS NEEDS BASH, NOT /bin/sh (e.g. for <<<).
# Copyright (2013) Jann Horn <jann@thejh.net>
-# This code is licensed under the AGPLv3.
# -f for files with weird names
# -u for coding mistakes (or against, to be precise)
# flags for the build - adjust for your needs
# delete all the generated stuff afterwards (with `rm -r gen`)
CC='gcc'
-CFLAGS='-g -O0 -Wall -Werror -fPIC -std=c99'
+CFLAGS='-O3 -Wall -Werror -Wno-error=strict-aliasing -fPIC -std=c99 -march=native'
# create build environment if it doesn't exist yet
mkdir -p gen # contains all generated files
echo "going ahead with CFLAGS=\"$CFLAGS\"..." >&2
# generate header
+set +f
+cat *.h > gen/jh.h
+set -f
for source_file in $(ls|grep '\.c$'); do
echo "extracting header data from $source_file..." >&2
source_name="$(sed 's|\.c$||' <<< "$source_file")"
sed 's|^PUBLIC_FN \(.*\){|KEEPLINE \1;|g' |
sed 's|^PUBLIC_CONST |KEEPLINE #define |g' |
sed 's|^HEADER |KEEPLINE |g' |
- grep '^KEEPLINE' |
+ (set +e +o pipefail; grep '^KEEPLINE'; exit 0) |
sed 's|^KEEPLINE ||g'
echo ''
echo ''
-done > gen/jh.h
+done >> gen/jh.h
# preprocess all source files
for source_file in $(ls|grep '\.c$'); do
echo '#include "../jh.h"' > "gen/realc/$source_name.c"
cat "$source_file" |
- grep -v '^PUBLIC_CONST ' |
+ (set +e +o pipefail; grep -v '^PUBLIC_CONST '; exit 0) |
sed 's|^PUBLIC_FN ||g' |
- grep -v '^HEADER ' |
+ (set +e +o pipefail; grep -v '^HEADER '; exit 0) |
+ sed 's| *JH_ATTR_[A-Z_]*||g' |
cat >> "gen/realc/$source_name.c"
if [ $? -ne 0 ]; then exit 1; fi