extra/extra.cma python/coccipython.cma ocaml/cocciocaml.cma
# Should we use the local version of pycaml
+ifeq ($(FEATURE_PYTHON),1)
ifeq ("$(PYCAMLDIR)","pycaml")
LOCALPYCAML=pycaml
else
LOCALPYCAML=
endif
+endif
# Should we use the local version of menhirLib
ifeq ("$(MENHIRDIR)","menhirlib")
OCAMLMKTOP=ocamlmktop -g -custom $(INCLUDES)
# can also be set via 'make static'
-STATIC= #-ccopt -static
+CFLAGS=-pie -fPIE -fpic -fPIC -static
+STATICCFLAGS=$(CFLAGS:%=-ccopt %)
+STATIC= # $(STATICCFLAGS)
# can also be unset via 'make purebytecode'
BYTECODE_STATIC=-custom
static:
rm -f spatch.opt spatch
- $(MAKE) STATIC="-ccopt -static" spatch.opt
+ $(MAKE) STATIC="$(STATICCFLAGS)" spatch.opt
cp spatch.opt spatch
purebytecode:
set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i $@; done
rm -f .depend
rm -f Makefile.config
- rm -f globals/config.ml
+ rm -f globals/config.ml test.ml
rm -f TAGS
rm -f tests/SCORE_actual.sexp
rm -f tests/SCORE_best_of_both.sexp