X-Git-Url: http://git.thejh.net/?p=libjh.git;a=blobdiff_plain;f=compile.sh;h=45584641077bdcbed9570f3c73bdb2acfde225d6;hp=0768dafc1d835714307288b0a5d882902c23997b;hb=ae2ab6ade88f182910ae59abfbf69ef0ce64c273;hpb=e40d0aaafde6a9d5276b2c3dfc72b933fc73fe06

diff --git a/compile.sh b/compile.sh
index 0768daf..4558464 100755
--- a/compile.sh
+++ b/compile.sh
@@ -2,7 +2,6 @@
 # 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)
@@ -12,7 +11,7 @@ set -f -u -e -o pipefail
 # 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 -fPIC -std=c99 -march=native'
 
 # create build environment if it doesn't exist yet
 mkdir -p gen # contains all generated files
@@ -25,6 +24,7 @@ echo "welcome. your friendly compiler will be \"$CC\" today." >&2
 echo "going ahead with CFLAGS=\"$CFLAGS\"..." >&2
 
 # generate header
+cat header.h > gen/jh.h
 for source_file in $(ls|grep '\.c$'); do
   echo "extracting header data from $source_file..." >&2
   source_name="$(sed 's|\.c$||' <<< "$source_file")"
@@ -34,12 +34,12 @@ for source_file in $(ls|grep '\.c$'); do
   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
@@ -50,9 +50,10 @@ 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