#
# This file is part of Bolt.
# Copyright (C) 2009-2012 Xavier Clerc.
#
# Bolt is free software; you can redistribute it and/or modify
# it under the terms of the GNU Lesser General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# Bolt is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.
#

CORRECT_FILES=simple.ml formatting.ml
INVALID_FILES=inv_msg.ml inv_level.ml inv_exception.ml inv_name.ml inv_properties.ml

default::
	@echo '     testing log statement ...' | tee -a ../_log
	@for file in $(CORRECT_FILES); do \
	  for level in NONE FATAL ERROR WARN INFO DEBUG TRACE; do \
	    $(PATH_OCAML_BIN)/ocamlc -c -I ../../_build -pp "$(PATH_OCAML_BIN)/camlp4o ../../_build/src/syntax/bolt_pp.cmo -level $$level" $$file; \
	    $(PATH_OCAML_BIN)/camlp4o ../../_build/src/syntax/bolt_pp.cmo -level $$level $$file -o $$file.$$level.result; \
	    diff -q $$file.$$level.reference $$file.$$level.result | tee -a ../_log || exit 1; \
	  done; \
	done
	@echo '     testing error handling ...' | tee -a ../_log
	@for file in $(INVALID_FILES); do \
	  $(PATH_OCAML_BIN)/ocamlc -c -I ../../_build -pp "$(PATH_OCAML_BIN)/camlp4o ../../_build/src/syntax/bolt_pp.cmo -level TRACE" $$file -o /dev/null 2> $$file.result; \
	  diff -q $$file.reference $$file.result | tee -a ../_log || exit 1; \
	done
	@rm -f *.cm* *.result
