1#!/bin/bash
2
3if [ "$#" -eq 0 ]; then
4    echo "Supply PREFIX for building pico_defines.h"
5    exit 1
6fi
7
8PREFIX=$1
9shift
10echo "/* PicoTCP - Definition file - DO NOT EDIT */" >$PREFIX/include/pico_defines.h
11echo "/* This file is automatically generated at compile time */" >>$PREFIX/include/pico_defines.h
12echo "#ifndef PICO_DEFINES_H" >>$PREFIX/include/pico_defines.h
13echo "#define PICO_DEFINES_H" >>$PREFIX/include/pico_defines.h
14echo  >>$PREFIX/include/pico_defines.h
15
16for i in $@; do
17    if (echo $i | grep "^-D" |grep PICO_SUPPORT >/dev/null); then
18        my_def=`echo $i |sed -e "s/-D//g"`
19        echo "#define $my_def" >> $PREFIX/include/pico_defines.h
20    fi
21done
22echo "#endif" >>$PREFIX/include/pico_defines.h
23