# -*- Makefile -*-

-include Makefile.local

.PHONY: announce cparserlib webconfig configure

announce:
	@ echo "Source configuration ..."
	@ echo 'module Int = IntByBig_int' > src/common/intValueConfig.ml

cparserlib:
	@ echo "CIL parser compilation ..."
	@ $(MAKE) --silent -C cparser all install

ifeq ($(HAVE_OCLOSURE), yes)
webconfig:
	@ echo "Configuring O'Closure support."
	@ cat _tags.common > _tags
	@ cat _tags.js_of_ocaml >> _tags
else
webconfig:
	@ echo "Skipping O'Closure support."
endif

configure: announce cparserlib 
	@ cat _tags.common > _tags
	@ cat _tags.compiler >> _tags