TARGET = popl
+OCAMLCFLAGS ?= -g
+OPTFLAGS ?= -g
+
SRC = ast_popl.ml asttopopl.ml insert_quantifiers.ml \
pretty_print_popl.ml flag_popl.ml popltoctl.ml popl.ml
#The Caml compilers.
#for warning: -w A
#for profiling: -p -inline 0 with OCAMLOPT
-OCAMLCFLAGS ?= -g -dtypes
OCAMLC_CMD=$(OCAMLC) $(OCAMLCFLAGS) $(INCLUDES)
OCAMLOPT_CMD=$(OCAMLOPT) $(OPTFLAGS) $(INCLUDES)
OCAMLDEP_CMD=$(OCAMLDEP) $(INCLUDES)
OBJS = $(SRC:.ml=.cmo)
OPTOBJS = $(SRC:.ml=.cmx)
+ifneq ($(FEATURE_OCAMLBUILD),yes)
all: $(LIB)
-all.opt: $(OPTLIB)
+all.opt:
+ @$(MAKE) $(OPTLIB) BUILD_OPT=yes
$(TARGET).top: $(LIB)
$(OCAMLMKTOP_CMD) -o $(TARGET).top $(SYSLIBS) $(LIBS) $(OBJS)
clean::
rm -f $(LIB) $(TARGET).top
+else
+all:
+ cd .. && $(OCAMLBUILD) popl09/popl09.cma
+
+all.opt:
+ cd .. && $(OCAMLBUILD) popl09/popl09.cmxa
+
+clean::
+ cd .. && $(OCAMLBUILD) -clean
+endif
$(OPTLIB): $(OPTOBJS)
ifneq ($(MAKECMDGOALS),clean)
ifneq ($(MAKECMDGOALS),distclean)
+ifneq ($(FEATURE_OCAMLBUILD),yes)
-include .depend
endif
endif
+endif
+
+include ../Makefile.common