ligo/src/Makefile.config

29 lines
632 B
Makefile
Raw Normal View History

2016-09-08 21:13:10 +04:00
ifeq ($(strip ${COVERAGE}),yes)
COVERAGEPKG := bisect_ppx
endif
2016-09-08 21:13:10 +04:00
INCLUDES = \
$(patsubst %, -I %, $(SOURCE_DIRECTORIES)) \
$(patsubst %, -package %, $(PACKAGES)) \
$(patsubst %, -open %, $(OPENED_MODULES))
2017-01-02 17:02:55 +04:00
ifneq ($(strip ${PRODUCTION}),yes)
DEVFLAGS := -bin-annot -g
endif
2016-09-08 21:13:10 +04:00
OCAMLFLAGS = \
2017-05-31 20:27:11 +04:00
${DEVFLAGS} -thread -short-paths -safe-string -w +27-30-40@8 \
2016-09-08 21:13:10 +04:00
${INCLUDES} \
${EXTRA_OCAMLFLAGS}
2017-08-02 17:39:10 +04:00
UTOPFLAGS = $(filter-out -thread,${OCAMLFLAGS})
2016-09-08 21:13:10 +04:00
OCAMLC = ocamlfind ocamlc
OCAMLOPT = ocamlfind ocamlopt
OCAMLMKTOP = ocamlfind ocamlmktop
OCAMLDEP = ocamlfind ocamldep
OCAMLRES = ocp-ocamlres
OCAMLLEX = ocamllex
MENHIR = menhir