← Back to branch summary

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

« back to all changes in this revision

Viewing changes to popl09/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:
popl09/Makefile
30
30
 
31
31
TARGET = popl
32
32
 
 
33
OCAMLCFLAGS ?= -g
 
34
OPTFLAGS ?= -g
 
35
 
33
36
SRC = ast_popl.ml asttopopl.ml insert_quantifiers.ml \
34
37
pretty_print_popl.ml flag_popl.ml popltoctl.ml popl.ml
35
38
 
42
45
#The Caml compilers.
43
46
#for warning:  -w A
44
47
#for profiling:  -p -inline 0   with OCAMLOPT
45
 
OCAMLCFLAGS ?= -g -dtypes
46
48
OCAMLC_CMD=$(OCAMLC) $(OCAMLCFLAGS) $(INCLUDES)
47
49
OCAMLOPT_CMD=$(OCAMLOPT) $(OPTFLAGS) $(INCLUDES)
48
50
OCAMLDEP_CMD=$(OCAMLDEP) $(INCLUDES)
55
57
OPTOBJS = $(SRC:.ml=.cmx)
56
58
 
57
59
all: $(LIB)
58
 
all.opt: $(OPTLIB)
 
60
all.opt:
 
61
        @$(MAKE) $(OPTLIB) BUILD_OPT=yes
59
62
 
60
63
$(TARGET).top: $(LIB)
61
64
        $(OCAMLMKTOP_CMD) -o $(TARGET).top $(SYSLIBS) $(LIBS) $(OBJS)
105
108
-include .depend
106
109
endif
107
110
endif
 
111
 
 
112
include ../Makefile.common