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:
mkdir -p $(DESTDIR)$(LIBDIR)
mkdir -p $(DESTDIR)$(SHAREDIR)/ocaml
mkdir -p $(DESTDIR)$(SHAREDIR)/commons
+ mkdir -p $(DESTDIR)$(SHAREDIR)/globals
mkdir -p $(DESTDIR)$(SHAREDIR)/parsing_c
mkdir -p $(DESTDIR)$(MANDIR)/man1
$(INSTALL_DATA) standard.h $(DESTDIR)$(SHAREDIR)
$(INSTALL_DATA) ocaml/coccilib.cmi $(DESTDIR)$(SHAREDIR)/ocaml/
$(INSTALL_DATA) parsing_c/*.cmi $(DESTDIR)$(SHAREDIR)/parsing_c/
$(INSTALL_DATA) commons/*.cmi $(DESTDIR)$(SHAREDIR)/commons/
+ $(INSTALL_DATA) globals/iteration.cmi $(DESTDIR)$(SHAREDIR)/globals/
$(INSTALL_DATA) docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/
@if [ $(FEATURE_PYTHON) -eq 1 ]; then $(MAKE) install-python; fi
rm -f $(DESTDIR)$(SHAREDIR)/standard.iso
rm -f $(DESTDIR)$(SHAREDIR)/ocaml/coccilib.cmi
rm -f $(DESTDIR)$(SHAREDIR)/parsing_c/*.cmi
- rm -f $(DESTDIR)$(SHAREDIR)/commons*.cmi
+ rm -f $(DESTDIR)$(SHAREDIR)/commons/*.cmi
+ rm -f $(DESTDIR)$(SHAREDIR)/globals/*.cmi
rm -f $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui/*
rm -f $(DESTDIR)$(SHAREDIR)/python/coccilib/*.py
rmdir --ignore-fail-on-non-empty -p \
$(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
+ rmdir $(DESTDIR)$(SHAREDIR)/globals
+ rmdir $(DESTDIR)$(SHAREDIR)/commons
+ rmdir $(DESTDIR)$(SHAREDIR)/parsing_c
+ rmdir $(DESTDIR)$(SHAREDIR)/ocaml
+ rmdir $(DESTDIR)$(SHAREDIR)
rm -f $(DESTDIR)$(MANDIR)/man1/spatch.1
uninstall-bash:
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