3 -include Makefile.local
5 .PHONY: announce cparserlib webconfig configure
8 @ echo "Source configuration ..."
9 @ echo 'module Int = IntByBig_int' > src/common/intValueConfig.ml
12 @ echo "CIL parser compilation ..."
13 @ $(MAKE) --silent -C cparser all install
15 ifeq ($(HAVE_OCLOSURE), yes)
17 @ echo "Configuring O'Closure support."
18 @ cat _tags.common > _tags
19 @ cat _tags.js_of_ocaml >> _tags
22 @ echo "Skipping O'Closure support."
25 configure: announce cparserlib
26 @ cat _tags.common > _tags
27 @ cat _tags.compiler >> _tags