ligo/src/Makefile.config
2017-01-02 14:49:56 +01:00

27 lines
573 B
Makefile

ifeq ($(strip ${COVERAGE}),yes)
COVERAGEPKG := bisect_ppx
endif
INCLUDES = \
$(patsubst %, -I %, $(SOURCE_DIRECTORIES)) \
$(patsubst %, -package %, $(PACKAGES)) \
$(patsubst %, -open %, $(OPENED_MODULES))
ifneq ($(strip ${PRODUCTION}),yes)
DEVFLAGS := -bin-annot -g
endif
OCAMLFLAGS = \
${DEVFLAGS} -short-paths -safe-string -w +27-30-40 \
${INCLUDES} \
${EXTRA_OCAMLFLAGS}
OCAMLC = ocamlfind ocamlc
OCAMLOPT = ocamlfind ocamlopt
OCAMLMKTOP = ocamlfind ocamlmktop
OCAMLDEP = ocamlfind ocamldep
OCAMLRES = ocp-ocamlres
OCAMLLEX = ocamllex
MENHIR = menhir