← Back to branch summary

~ubuntu-branches/ubuntu/trusty/coccinelle/trusty

« back to all changes in this revision

Viewing changes to engine/Makefile

  • Committer: Package Import Robot
  • Author(s): Євгеній Мещеряков
  • Date: 2012-08-19 20:40:52 UTC
  • mfrom: (7.2.8 experimental)
  • Revision ID: package-import@ubuntu.com-20120819204052-8cujknwy6cn8a6h6
Tags: 1.0.0~rc15.deb-1
* New upstream RC 
  - Do not build-depend on libsexplib-camlp4-dev and libextlib-ocaml-dev
    anymore

Show diffs side-by-side

added added

removed removed

Lines of Context:
engine/Makefile
33
33
TARGET=cocciengine
34
34
CTLTARGET=engine
35
35
 
36
 
SRC= flag_matcher.ml lib_engine.ml pretty_print_engine.ml \
 
36
SRC= externalanalysis.ml \
 
37
        flag_matcher.ml lib_engine.ml pretty_print_engine.ml \
37
38
      check_exhaustive_pattern.ml \
38
39
      check_reachability.ml \
39
40
      c_vs_c.ml isomorphisms_c_c.ml \
59
60
 
60
61
#for warning:  -w A
61
62
#for profiling:  -p -inline 0   with OCAMLOPT
62
 
OCAMLCFLAGS ?= -g -dtypes
 
63
OCAMLCFLAGS ?= -g
 
64
OPTFLAGS ?= -g
63
65
 
64
66
OCAMLC_CMD=$(OCAMLC) $(OCAMLCFLAGS) $(INCLUDES)
65
67
OCAMLOPT_CMD=$(OCAMLOPT) $(OPTFLAGS) $(INCLUDES)
74
76
# Top rules
75
77
##############################################################################
76
78
all: $(TARGET).cma
77
 
all.opt: $(TARGET).cmxa
 
79
all.opt:
 
80
        @$(MAKE) $(TARGET).cmxa BUILD_OPT=yes
78
81
 
79
82
$(TARGET).cma: $(OBJS)
80
83
        $(OCAMLC_CMD) -a -o $(TARGET).cma $(OBJS)
126
129
-include .depend
127
130
endif
128
131
endif
 
132
 
 
133
include ../Makefile.common