Makefile.config

   1 # -*- Makefile -*-
   2
   3 -include Makefile.local
   4
   5 .PHONY: announce cparserlib webconfig configure
   6
   7 announce:
   8         @ echo "Source configuration ..."
   9         @ echo 'module Int = IntByBig_int' > src/common/intValueConfig.ml
  10
  11 cparserlib:
  12         @ echo "CIL parser compilation ..."
  13         @ $(MAKE) --silent -C cparser all install
  14
  15 ifeq ($(HAVE_OCLOSURE), yes)
  16 webconfig:
  17         @ echo "Configuring O'Closure support."
  18         @ cat _tags.common > _tags
  19         @ cat _tags.js_of_ocaml >> _tags
  20 else
  21 webconfig:
  22         @ echo "Skipping O'Closure support."
  23 endif
  24
  25 configure: announce cparserlib
  26         @ cat _tags.common > _tags
  27         @ cat _tags.compiler >> _tags
  28
  29
  30