Makefile.options

   1 DBG =
   2
   3 ifeq "$(DEBUG)" "YES"
   4 DEBUG2 = -g
   5 endif
   6
   7 ifeq "$(ANNOT)" "YES"
   8 ANNOT2 = -dtypes
   9 endif
  10
  11 DBG = $(DEBUG2) $(ANNOT2)
  12
  13
  14
  15 ifeq "$(PROFILING)" "YES"
  16 CAMLCNAME2= $(CAMLCPNAME)
  17 else
  18 CAMLCNAME2= $(CAMLCNAME)
  19 endif