#!/bin/sh

source ../../functions.sh

make default-config || error "Can't run make default-config"
make include-pass || error "Can't run make include-pass"

GC=./_compiled/include/global.h
test -f "$GC" || error "Can't find the produced global config"

grep -Fv "/* config file:" $GC | diff -u correct/global.h - || error "Global config differs"

make || error "Can't run make to produce local config"
make CFLAGS=-Wall || error "Make failed with custom CFLAGS"
LC=$(find _build -wholename '*/lincan/lincan_config.h')
test -f "$LC" || error "Can't find the produced local config"
grep -Fv "/* config file:" $LC | diff -u correct/lincan_config.h - || error "Local config differs"

TLC=$(find _build -name 'toplevel_config.h')
test -f "$TLC" || error "Can't find the produced local config"
grep -Fv "/* config file:" $TLC | diff -u correct/toplevel_config.h - || error "Toplevel local config differs"

touch -t 200001010000 $LC
stat -c '%z' $LC > stat.log1
touch config.omk-default
make
stat -c '%z' $LC > stat.log2
diff stat.log1 stat.log2 || error "Generated config changed without without reason"