Makefile

# Cours "Typage et Analyse Statique" - Master STL
# Sorbonne Université
# Antoine Miné 2015-2018

# Makefile


# points to compilers
#
# (we rely heavily on ocamlfind)
# (no change needed, the default ones in /usr/bin should be good)
# 
OCAMLFIND = ocamlfind
OCAMLLEX = ocamllex
MENHIR = menhir


# options for compilers
#
# (change this if you want to enable/disable debugging)
#
OCAMLCFLAGS = -g
OCAMLOPTFLAGS = -g
OCAMLLEXFLAGS =
MENHIRFLAGS = --explain

SRC=src

# library paths
#
# (change this if you add new subdirectories or libraries)
#
OCAMLINC = -I $(SRC) -I $(SRC)/frontend -I $(SRC)/libs -I $(SRC)/domains -I $(SRC)/interpreter

# libraries
#
# (change this to add new libraries)
#
LIBS = -package zarith # -package apron -package gmp
CMXA = # polkaMPQ.cmxa octMPQ.cmxa
CMA = # polkaMPQ.cma octMPQ.cma

# name of the compiled executable
#
TARGET = analyzer


# compile either to byte code or native code
#
# uncomment only one of the two lines!
#
all: $(TARGET).byte
#all: $(TARGET).opt


# list of automatically generated files (by ocamllex and menhir)
#
# (this will probably not change during the project)
#
AUTOGEN = \
  $(SRC)/frontend/lexer.ml \
  $(SRC)/frontend/parser.ml \
  $(SRC)/frontend/parser.mli


# list of ML source files to compile (including automatically generated)
#
# add your files here, in the right order!
#
MLFILES = \
  $(SRC)/libs/mapext.ml \
  $(SRC)/frontend/abstract_syntax_tree.ml \
  $(SRC)/frontend/abstract_syntax_printer.ml \
  $(SRC)/frontend/parser.ml \
  $(SRC)/frontend/lexer.ml \
  $(SRC)/frontend/file_parser.ml \
  $(SRC)/domains/z32.ml \
  $(SRC)/domains/z_type.ml \
  $(SRC)/domains/domain.ml \
  $(SRC)/domains/value_domain.ml \
  $(SRC)/domains/concrete_domain.ml \
  $(SRC)/domains/constant_domain.ml \
  $(SRC)/domains/non_relational_domain.ml \
  $(SRC)/domains/interval_domain.ml \
  $(SRC)/domains/parity_domain.ml \
  $(SRC)/domains/value_reduction.ml \
  $(SRC)/domains/parity_interval_reduction.ml \
  $(SRC)/domains/value_reduced_product.ml \
  $(SRC)/interpreter/interpreter.ml \
  $(SRC)/main.ml


# list of MLI source files
#
# add your files here
# (this is only used for ocamldep)
#
MLIFILES = \
  $(SRC)/libs/mapext.mli \
  $(SRC)/frontend/parser.mli \
  $(SRC)/frontend/abstract_syntax_printer.mli \
  $(SRC)/frontend/file_parser.mli


# below are general compilation rules
#
# you probably don't need to change anything below this point


# list of object files, derived from ML sources
#
CMOFILES = $(MLFILES:%.ml=%.cmo)
CMXFILES = $(MLFILES:%.ml=%.cmx)

$(TARGET).byte: $(CMOFILES)
	$(OCAMLFIND) ocamlc -o $@ $(OCAMLCFLAGS) $(OCAMLINC) $(LIBS) $(CMA) -linkpkg $+

# native link
$(TARGET).opt: $(CMXFILES)
	$(OCAMLFIND) ocamlopt -o $@ $(OCAMLOPTFLAGS) $(OCAMLINC) $(LIBS) $(CMXA) -linkpkg $+


# compilation rules

%.cmo: %.ml %.cmi
	$(OCAMLFIND) ocamlc $(OCAMLCFLAGS) $(OCAMLINC) $(LIBS) -c $*.ml

%.cmx: %.ml %.cmi
	$(OCAMLFIND) ocamlopt $(OCAMLOPTFLAGS) $(OCAMLINC) $(LIBS) -c $*.ml

%.cmi: %.mli
	$(OCAMLFIND) ocamlc $(OCAMLCFLAGS) $(OCAMLINC) $(LIBS) -c $*.mli

%.cmo: %.ml
	$(OCAMLFIND) ocamlc $(OCAMLCFLAGS) $(OCAMLINC) $(LIBS) -c $*.ml

%.cmx: %.ml
	$(OCAMLFIND) ocamlopt $(OCAMLOPTFLAGS) $(OCAMLINC) $(LIBS) -c $*.ml

%.ml: %.mll
	$(OCAMLLEX) $(OCAMLLEXFLAGS) $*.mll

%.ml %.mli: %.mly
	$(MENHIR) $(MENHIRFLAGS) $*.mly


# remove temporaries and binaries
#
clean:
	rm -f depend $(AUTOGEN) $(TARGET).byte $(TARGET).opt result.html
	rm -f `find . -name "*.o"`
	rm -f `find . -name "*.a"`
	rm -f `find . -name "*.cm*"`
	rm -f `find . -name "*~"`
	rm -f `find . -name "\#*"`
	rm -f `find . -name "*.conflicts"`

.phony:	clean


# automatic dependencies
#
depend: $(MLFILES) $(MLIFILES)
	-$(OCAMLFIND) ocamldep -native $(OCAMLINC) $+ > depend

include depend