File indexing completed on 2024-05-05 05:45:57 

0001 #!/bin/sh
0002 set -e
0003 set -x
0004 
0005 do_build() {
0006     mkdir -p out
0007     local RES=0
0008     local SDCC_INSTDIR="$HOME/.opt/sdcc-3.3.0"
0009     local SDCC_EXE="$SDCC_INSTDIR/bin/sdcc"
0010     local SDCC_INC="$SDCC_INSTDIR/share/sdcc/include"
0011     "$SDCC_EXE" \
0012         --nostdinc -I"$SDCC_INC" -I"$SDCC_INC/pic14" -I"$SDCC_INC/../non-free/include/pic14"\
0013         -mpic14 -p16f84 --use-non-free pic_blink.c -o out/pic_blink \
0014         || RES=$?
0015     echo "Result code: $RES"
0016     return "$RES"
0017 }
0018 
0019 main() {
0020     local SCRIPTDIR="$( dirname "$0" )"
0021     local LOGFILE="$( basename "$0" ).log"
0022     ( cd "$SCRIPTDIR"
0023       echo "start $0 at $( date )"
0024       do_build $@
0025       echo "done $0 at $( date )"
0026     ) 2>&1 | tee -a "$LOGFILE"
0027 }
0028 
0029 main $@