-# Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
+# Copyright 2012, INRIA
+# Julia Lawall, Gilles Muller
+# Copyright 2010-2011, INRIA, University of Copenhagen
+# Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
+# Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
# Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
# This file is part of Coccinelle.
#
# Coccinelle under other licenses.
-
#############################################################################
# Configuration section
#############################################################################
+include Makefile.libs
+
+# 'distclean' does not require configure to have run, and should also
+# clean all the bundled directories. Hence, a special case.
+ifeq ($(MAKECMDGOALS),distclean)
+MAKELIBS:=$(dir $(wildcard ./bundles/*/Makefile))
+else
+ifneq ($(MAKECMDGOALS),configure)
-include Makefile.config
+endif
+endif
+
-include /etc/lsb-release
+-include Makefile.override # local customizations, if any
+-include /etc/Makefile.coccinelle # local customizations, if any
+
-VERSION=$(shell cat globals/config.ml.in |grep version |perl -p -e 's/.*"(.*)".*/$$1/;')
-CCVERSION=$(shell cat scripts/coccicheck/README |grep "Coccicheck version" |perl -p -e 's/.*version (.*)[ ]*/$$1/;')
+VERSION=$(shell cat ./version | tr -d '\n')
+CCVERSION=$(shell cat scripts/coccicheck/README | egrep -o '[[:digit:]]+\.[[:digit:]]+\.[[:digit:]]+' | head -n1)
PKGVERSION=$(shell dpkg-parsechangelog -ldebian/changelog.$(DISTRIB_CODENAME) 2> /dev/null \
| sed -n 's/^Version: \(.*\)/\1/p' )
##############################################################################
# Variables
##############################################################################
+
TARGET=spatch
PRJNAME=coccinelle
-
-SRC=flag_cocci.ml cocci.ml testing.ml test.ml main.ml
+SRC=flag_cocci.ml cocci.ml testing.ml test.ml $(LEXER_SOURCES:.mll=.ml) main.ml
ifeq ($(FEATURE_PYTHON),1)
-PYCMA=pycaml/pycaml.cma
-PYDIR=pycaml
-PYLIB=dllpycaml_stubs.so
-# the following is essential for Coccinelle to compile under gentoo (weird)
-OPTLIBFLAGS=-cclib dllpycaml_stubs.so
+ PYTHON_INSTALL_TARGET=install-python
else
-PYCMA=
-PYDIR=
-PYLIB=
-OPTLIBFLAGS=
+ PYTHON_INSTALL_TARGET=
endif
-SEXPSYSCMA=bigarray.cma nums.cma
-
-SYSLIBS=str.cma unix.cma $(SEXPSYSCMA)
+SYSLIBS=str.cma unix.cma bigarray.cma nums.cma
LIBS=commons/commons.cma \
- ocamlsexp/sexplib1.cma commons/commons_sexp.cma \
globals/globals.cma \
ctl/ctl.cma \
parsing_cocci/cocci_parser.cma parsing_c/parsing_c.cma \
engine/cocciengine.cma popl09/popl.cma \
- extra/extra.cma $(PYCMA) python/coccipython.cma
+ extra/extra.cma python/coccipython.cma ocaml/cocciocaml.cma
+
+MAKESUBDIRS=$(MAKELIBS) commons \
+ globals ctl parsing_cocci parsing_c \
+ engine popl09 extra python ocaml
-#used for clean: and depend: and a little for rec & rec.opt
-MAKESUBDIRS=commons ocamlsexp \
- globals menhirlib $(PYDIR) ctl parsing_cocci parsing_c \
- engine popl09 extra python
-INCLUDEDIRS=commons commons/ocamlextra ocamlsexp \
- globals menhirlib $(PYDIR) ctl \
- parsing_cocci parsing_c engine popl09 extra python
+CLEANSUBDIRS=commons \
+ globals ctl parsing_cocci parsing_c \
+ engine popl09 extra python ocaml docs \
+ $(MAKELIBS)
+
+INCLUDEDIRSDEP=commons commons/ocamlextra \
+ globals ctl \
+ parsing_cocci parsing_c engine popl09 extra python ocaml \
+ $(MAKELIBS)
+
+INCLUDEDIRS=$(INCLUDEDIRSDEP) $(PCREDIR) $(INCLIBS)
##############################################################################
# Generic variables
##############################################################################
-INCLUDES=$(INCLUDEDIRS:%=-I %)
+# sort to remove duplicates
+INCLUDESET=$(sort $(INCLUDEDIRS))
+INCLUDES=$(INCLUDESET:%=-I %)
OBJS= $(SRC:.ml=.cmo)
OPTOBJS= $(SRC:.ml=.cmx)
# Generic ocaml variables
##############################################################################
-OCAMLCFLAGS=
-
-# for profiling add -p -inline 0
-# but 'make forprofiling' below does that for you.
-# This flag is also used in subdirectories so don't change its name here.
-# To enable backtrace support for native code, you need to put -g in OPTFLAGS
-# to also link with -g, but even in 3.11 the backtrace support seems buggy so
-# not worth it.
-OPTFLAGS=
-# the following is essential for Coccinelle to compile under gentoo
-# but is now defined above in this file
-#OPTLIBFLAGS=-cclib dllpycaml_stubs.so
+OCAMLC_CMD=$(OCAMLC) $(OCAMLCFLAGS) $(INCLUDES)
+OCAMLOPT_CMD=$(OCAMLOPT) $(OPTFLAGS) $(INCLUDES)
+OCAMLYACC_CMD=$(OCAMLYACC) -v
+OCAMLDEP_CMD=$(OCAMLDEP) $(INCLUDEDIRSDEP:%=-I %)
+OCAMLMKTOP_CMD=$(OCAMLMKTOP) -g -custom $(INCLUDES)
-OCAMLC=ocamlc$(OPTBIN) $(OCAMLCFLAGS) $(INCLUDES)
-OCAMLOPT=ocamlopt$(OPTBIN) $(OPTFLAGS) $(INCLUDES)
-OCAMLLEX=ocamllex #-ml # -ml for debugging lexer, but slightly slower
-OCAMLYACC=ocamlyacc -v
-OCAMLDEP=ocamldep $(INCLUDES)
-OCAMLMKTOP=ocamlmktop -g -custom $(INCLUDES)
+# these are unused at the moment (todo: remove)
+EXTRA_CFLAGS= # -static -pie -fpie -fPIE -static-libgcc
+EXTRA_OCAML_CFLAGS=$(EXTRA_CFLAGS:%=-ccopt %)
-# can also be set via 'make static'
-STATIC= #-ccopt -static
-
-# can also be unset via 'make purebytecode'
-BYTECODE_STATIC=-custom
+# 'make purebytecode' unsets this definition
+BYTECODE_EXTRA=-custom $(EXTRA_OCAML_FLAGS)
##############################################################################
# Top rules
##############################################################################
-.PHONY:: all all.opt byte opt top clean distclean configure
-.PHONY:: $(MAKESUBDIRS) $(MAKESUBDIRS:%=%.opt) subdirs subdirs.opt
+.PHONY:: all all.opt byte opt top clean distclean configure opt-compil
+.PHONY:: $(MAKESUBDIRS:%=%.all) $(MAKESUBDIRS:%=%.opt) subdirs.all subdirs.opt
+.PHONY:: all-opt all-byte byte-only opt-only pure-byte
+.PHONY:: copy-stubs install-stubs install install-man install-python install-common
+
+
+# below follow the main make targets when ocamlbuild is not enabled
+ifneq ($(FEATURE_OCAMLBUILD),yes)
+
+# All make targets that are expected to be an entry point have a dependency on
+# 'Makefile.config' to ensure that if Makefile.config is not present, an error
+# message is printed first before any other actions are executed.
+# In addition, the targets that actually build something have a dependency on
+# '.depend' and 'version.ml'.
+
+# dispatches to either 'all-dev' or 'all-release'
+all: Makefile.config
+ @$(MAKE) .depend
+ $(MAKE) $(TARGET_ALL)
+
+# make "all" comes in three flavours
+world: Makefile.config version.ml
+ @echo "building both versions of spatch"
+ $(MAKE) .depend
+ $(MAKE) byte
+ $(MAKE) opt-compil
+ $(MAKE) preinstall
+ $(MAKE) docs
+ @echo ""
+ @echo -e "\tcoccinelle can now be installed via 'make install'"
+
+# note: the 'all-dev' target excludes the documentation
+all-dev: Makefile.config version.ml
+ @$(MAKE) .depend
+ @echo "building the unoptimized version of spatch"
+ $(MAKE) byte
+ @$(MAKE) preinstall
+ @echo ""
+ @echo -e "\tcoccinelle can now be installed via 'make install'"
+
+all-release: Makefile.config version.ml
+ @echo building $(TARGET_SPATCH)
+ $(MAKE) .depend
+ $(MAKE) $(TARGET_SPATCH)
+ $(MAKE) preinstall
+ $(MAKE) docs
+ @echo ""
+ @echo -e "\tcoccinelle can now be installed via 'make install'"
+
+all.opt: Makefile.config
+ @$(MAKE) .depend
+ $(MAKE) opt-only
+ $(MAKE) preinstall
+
+byte: Makefile.config version.ml
+ @$(MAKE) .depend
+ @$(MAKE) subdirs.all
+ @$(MAKE) $(EXEC)
+ @echo the compilation of $(EXEC) finished
+ @echo $(EXEC) can be installed or used
+
+opt-compil: Makefile.config version.ml
+ $(MAKE) .depend
+ $(MAKE) subdirs.opt BUILD_OPT=yes
+ $(MAKE) $(EXEC).opt BUILD_OPT=yes
+ @echo the compilation of $(EXEC).opt finished
+ @echo $(EXEC).opt can be installed or used
+
+top: $(EXEC).top
-all: Makefile.config byte preinstall
+# the .cmi file of coccilib
+ocaml/coccilib/coccilib.cmi: ocaml/coccilib.cmi
+ cp ocaml/coccilib.cmi ocaml/coccilib/coccilib.cmi
-opt: all.opt
-all.opt: opt-compil preinstall
+# ocamlbuild version of the main make targets
+else
-world: preinstall
+all: Makefile.config
+ $(MAKE) $(TARGET_ALL)
+
+world: Makefile.config myocamlbuild.ml version.ml prepare-bundles
+ @echo "building both versions of spatch"
$(MAKE) byte
$(MAKE) opt-compil
+ @$(MAKE) coccilib-cmi
+ $(MAKE) preinstall
+ $(MAKE) docs
+ @echo ""
+ @echo -e "\tcoccinelle can now be installed via 'make install'"
-byte: .depend
- $(MAKE) subdirs
- $(MAKE) $(EXEC)
+# note: the 'all-dev' target excludes the documentation and is less noisy
+all-dev: Makefile.config myocamlbuild.ml version.ml prepare-bundles
+ $(MAKE) byte
+ @$(MAKE) coccilib-cmi
+ @$(MAKE) preinstall
+
+all-release: Makefile.config myocamlbuild.ml version.ml prepare-bundles
+ @echo building $(TARGET_SPATCH)
+ $(MAKE) $(TARGET_SPATCH)
+ @$(MAKE) coccilib-cmi
+ $(MAKE) preinstall
+ $(MAKE) docs
+ @echo ""
+ @echo -e "\tcoccinelle can now be installed via 'make install'"
-opt-compil: .depend
- $(MAKE) subdirs.opt
- $(MAKE) $(EXEC).opt
+all.opt: Makefile.config myocamlbuild.ml version.ml prepare-bundles
+ $(MAKE) opt-only
+ @$(MAKE) coccilib-cmi
+ $(MAKE) preinstall
-top: $(EXEC).top
+byte: Makefile.config myocamlbuild.ml version.ml prepare-bundles
+ $(OCAMLBUILD) -j 0 main.byte
+ cp _build/main.byte $(EXEC)
+
+pure-byte: Makefile.config myocamlbuild.ml version.ml prepare-bundles
+ $(OCAMLBUILD) -j 0 -tag nocustom main.byte
+ cp _build/main.byte $(EXEC)
+
+opt-compil: Makefile.config myocamlbuild.ml version.ml prepare-bundles
+ $(OCAMLBUILD) -j 0 main.native
+ cp _build/main.native $(EXEC).opt
+
+# the .cmi file of coccilib
+_build/ocaml/coccilib.cmi:
+ $(OCAMLBUILD) -j 0 ocaml/coccilib.cmi
+ocaml/coccilib/coccilib.cmi: _build/ocaml/coccilib.cmi
+ cp _build/ocaml/coccilib.cmi ocaml/coccilib/coccilib.cmi
+
+# end of main build target distinction on ocamlbuild
+endif
-subdirs:
- $(MAKE) -C commons OCAMLCFLAGS="$(OCAMLCFLAGS)"
- $(MAKE) -C ocamlsexp OCAMLCFLAGS="$(OCAMLCFLAGS)"
- $(MAKE) -C commons sexp OCAMLCFLAGS="$(OCAMLCFLAGS)"
- +for D in $(MAKESUBDIRS); do $(MAKE) $$D || exit 1 ; done
+# aliases for "byte" and "opt-compil"
+opt opt-only: Makefile.config opt-compil
+byte-only: Makefile.config byte
+
+
+# ensures that coccilib.cmi gets build
+.PHONY:: coccilib-cmi
+coccilib-cmi: ocaml/coccilib/coccilib.cmi
+distclean::
+ rm -f ocaml/coccilib/coccilib.cmi
+
+
+subdirs.all:
+ @+for D in $(MAKESUBDIRS); do $(MAKE) $$D.all || exit 1 ; done
subdirs.opt:
- $(MAKE) -C commons all.opt OCAMLCFLAGS="$(OCAMLCFLAGS)"
- $(MAKE) -C ocamlsexp all.opt OCAMLCFLAGS="$(OCAMLCFLAGS)"
- $(MAKE) -C commons sexp.opt OCAMLCFLAGS="$(OCAMLCFLAGS)"
- +for D in $(MAKESUBDIRS); do $(MAKE) $$D.opt || exit 1 ; done
+ @+for D in $(MAKESUBDIRS); do $(MAKE) $$D.opt || exit 1 ; done
-$(MAKESUBDIRS):
- $(MAKE) -C $@ OCAMLCFLAGS="$(OCAMLCFLAGS)" all
+$(MAKESUBDIRS:%=%.all):
+ @$(MAKE) -C $(@:%.all=%) all
$(MAKESUBDIRS:%=%.opt):
- $(MAKE) -C $(@:%.opt=%) OCAMLCFLAGS="$(OCAMLCFLAGS)" all.opt
+ @$(MAKE) -C $(@:%.opt=%) all.opt
+
+# This make target prepares the bundled software for building.
+# Note that running 'make' in these subdirectories will
+# automatically prepare the bundled software.
+.PHONY:: prepare-bundles
+prepare-bundles: $(MAKELIBS:%=%/.prepare)
+
+$(MAKELIBS:%=%/.prepare):
+ echo $@
+ @$(MAKE) -C $(@:%.prepare=%) .prepare
#dependencies:
# commons:
# globals:
-# menhirlib:
-# parsing_cocci: commons globals menhirlib
+# menhirLib:
+# parsing_cocci: commons globals menhirLib
# parsing_c:parsing_cocci
-# ctl:globals commons
+# ctl:globals commonsg
# engine: parsing_cocci parsing_c ctl
# popl09:engine
# extra: parsing_cocci parsing_c ctl
# pycaml:
# python:pycaml parsing_cocci parsing_c
-clean::
- set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i $@; done
- $(MAKE) -C demos/spp $@
+clean:: Makefile.config
+ @set -e; for i in $(CLEANSUBDIRS); do $(MAKE) -C $$i $@; done
+ @$(MAKE) -C demos/spp $@
-$(LIBS): $(MAKESUBDIRS)
+$(LIBS): $(MAKESUBDIRS:%=%.all)
$(LIBS:.cma=.cmxa): $(MAKESUBDIRS:%=%.opt)
+$(LNKLIBS) : $(MAKESUBDIRS:%=%.all)
+$(LNKOPTLIBS) : $(MAKESUBDIRS:%=%.opt)
$(OBJS):$(LIBS)
$(OPTOBJS):$(LIBS:.cma=.cmxa)
-$(EXEC): $(LIBS) $(OBJS)
- $(OCAMLC) $(BYTECODE_STATIC) -o $@ $(SYSLIBS) $^
+$(EXEC): $(LNKLIBS) $(LIBS) $(OBJS)
+ $(OCAMLC_CMD) $(BYTECODE_EXTRA) $(FLAGSLIBS) -o $@ $(SYSLIBS) $^
-$(EXEC).opt: $(LIBS:.cma=.cmxa) $(OPTOBJS)
- $(OCAMLOPT) $(STATIC) -o $@ $(SYSLIBS:.cma=.cmxa) $(OPTLIBFLAGS) $^
+$(EXEC).opt: $(OPTLNKLIBS) $(LIBS:.cma=.cmxa) $(OPTOBJS)
+ $(OCAMLOPT_CMD) $(OPTFLAGSLIBS) -o $@ $(SYSLIBS:.cma=.cmxa) $^
-$(EXEC).top: $(LIBS) $(OBJS)
- $(OCAMLMKTOP) -custom -o $@ $(SYSLIBS) $^
+$(EXEC).top: $(LNKLIBS) $(LIBS) $(OBJS)
+ $(OCAMLMKTOP_CMD) -custom -o $@ $(SYSLIBS) $(FLAGSLIBS) $^
-clean::
+clean distclean::
rm -f $(TARGET) $(TARGET).opt $(TARGET).top
- rm -f dllpycaml_stubs.so
+
+clean::
+ @if test -n "${OCAMLBUILD}" -d _build; then \
+ $(OCAMLBUILD) -clean; fi
+
+# distclean can run without ocamlbuild configured.
+distclean::
+ -@if test -d _build; then \
+ ocamlbuild -clean; fi
+ rm -rf _build _log
.PHONY:: tools configure
configure:
- ./configure
+ ./configure $(CONFIGURE_FLAGS)
+
+# the dependencies on Makefile.config should give a hint to the programmer that
+# configure should be run again
+Makefile.config: Makefile.config.in configure.ac
+ @echo "Makefile.config needs to be (re)build. Run ./configure $(CONFIGURE_FLAGS) to generate it."
+ @false
-Makefile.config:
- @echo "Makefile.config is missing. Have you run ./configure?"
- @exit 1
+# as above, also for the ocamlbuild plugin
+myocamlbuild.ml: myocamlbuild.ml.in configure.ac
-tools:
+tools: $(LIBS) $(LNKLIBS)
$(MAKE) -C tools
-clean::
- if [ -d tools ] ; then $(MAKE) -C tools clean ; fi
+distclean::
+ @if [ -d tools ] ; then $(MAKE) -C tools distclean ; fi
+# it seems impossible to pass "-static" unless all dependent
+# libraries are also available as static archives.
+# set $(STATIC) to -static if you have such libraries.
static:
rm -f spatch.opt spatch
- $(MAKE) STATIC="-ccopt -static" spatch.opt
+ $(MAKE) $(STATIC) opt-only
cp spatch.opt spatch
+# creates a portable version of spatch, which, however, may
+# be dependent on non-portably dynamic libraries. You
+# may need the stubs, see 'copy-stubs'.
purebytecode:
rm -f spatch.opt spatch
- $(MAKE) BYTECODE_STATIC="" spatch
- perl -p -i -e 's/^#!.*/#!\/usr\/bin\/ocamlrun/' spatch
+ifneq ($(FEATURE_OCAMLBUILD),yes)
+ $(MAKE) BYTECODE_EXTRA="" byte-only
+else
+ @$(MAKE) pure-byte
+endif
+ sed -i '1 s,^#!.*$$,#!/usr/bin/ocamlrun,g' spatch
+
+# copies the stubs libraries (if any) to the root directory
+ifneq ($(FEATURE_OCAMLBUILD),yes)
+copy-stubs:
+ @if test -f ./bundles/pycaml/dllpycaml_stubs.so; then \
+ cp -fv ./bundles/pycaml/dllpycaml_stubs.so .; fi
+ @if test -f ./bundles/pcre/dllpcre_stubs.so; then \
+ cp -fv ./bundles/pcre/dllpcre_stubs.so .; fi
+else
+copy-stubs:
+ @if test -f _build/bundles/pycaml/dllpycaml_stubs.so; then \
+ cp -fv _build/bundles/pycaml/dllpycaml_stubs.so .; fi
+ @if test -f _build/bundles/pcre/dllpcre_stubs.so; then \
+ cp -fv _build/bundles/pcre/dllpcre_stubs.so .; fi
+endif
+##############################################################################
+# Build version information
+##############################################################################
+
+version.ml:
+ @echo "version.ml is missing. Run ./configure to generate it."
+ @false
##############################################################################
# Build documentation
##############################################################################
.PHONY:: docs
+ifneq ($(FEATURE_OCAMLBUILD),yes)
docs:
- make -C docs
-
-clean::
- make -C docs clean
+else
+docs: prepare-bundles
+endif
+ @$(MAKE) -C docs || (echo "warning: ignored the failed construction of the manual" 1>&2)
+ifneq ($(FEATURE_OCAMLBUILD),yes)
+ @if test "x$(FEATURE_OCAML)" = x1; then \
+ if test -f ./parsing_c/ast_c.cmo -o -f ./parsing_c/ast_c.cmx; then \
+ $(MAKE) -C ocaml doc; \
+ else echo "note: to obtain coccilib documenation, it is required to build 'spatch' first so that ./parsing_c/ast_c.cm* gets build."; \
+ fi fi
+else
+ @if test "x$(FEATURE_OCAML)" = x1; then \
+ $(MAKE) -C ocaml doc; fi
+endif
+ @echo "finished building manuals"
-distclean::
- make -C docs distclean
+clean:: Makefile.config
+ $(MAKE) -C docs clean
+ $(MAKE) -C ocaml cleandoc
##############################################################################
# Pre-Install (customization of spatch frontend script)
##############################################################################
-preinstall: scripts/spatch scripts/spatch.opt scripts/spatch.byte
+preinstall: docs/spatch.1 scripts/spatch scripts/spatch.opt scripts/spatch.byte
+
+docs/spatch.1: Makefile.config
+ $(MAKE) -C docs spatch.1
# user will use spatch to run spatch.opt (native)
-scripts/spatch: Makefile.config
- cp scripts/spatch.sh scripts/spatch.tmp2
- sed "s|SHAREDIR|$(SHAREDIR)|g" scripts/spatch.tmp2 > scripts/spatch.tmp
- sed "s|LIBDIR|$(LIBDIR)|g" scripts/spatch.tmp > scripts/spatch
- rm -f scripts/spatch.tmp2 scripts/spatch.tmp
+scripts/spatch: Makefile.config scripts/spatch.sh
+ cp scripts/spatch.sh scripts/spatch
+ chmod +x scripts/spatch
# user will use spatch to run spatch (bytecode)
-scripts/spatch.byte: Makefile.config
- cp scripts/spatch.sh scripts/spatch.byte.tmp3
- sed "s|\.opt||" scripts/spatch.byte.tmp3 > scripts/spatch.byte.tmp2
- sed "s|SHAREDIR|$(SHAREDIR)|g" scripts/spatch.byte.tmp2 \
- > scripts/spatch.byte.tmp
- sed "s|LIBDIR|$(LIBDIR)|g" scripts/spatch.byte.tmp \
- > scripts/spatch.byte
- rm -f scripts/spatch.byte.tmp3 \
- scripts/spatch.byte.tmp2 \
- scripts/spatch.byte.tmp
+scripts/spatch.byte: Makefile.config scripts/spatch.sh
+ cp scripts/spatch.sh scripts/spatch.byte
+ chmod +x scripts/spatch.byte
# user will use spatch.opt to run spatch.opt (native)
-scripts/spatch.opt: Makefile.config
- cp scripts/spatch.sh scripts/spatch.opt.tmp2
- sed "s|SHAREDIR|$(SHAREDIR)|g" scripts/spatch.opt.tmp2 \
- > scripts/spatch.opt.tmp
- sed "s|LIBDIR|$(LIBDIR)|g" scripts/spatch.opt.tmp \
- > scripts/spatch.opt
- rm -f scripts/spatch.opt.tmp scripts/spatch.opt.tmp2
+scripts/spatch.opt: Makefile.config scripts/spatch.sh
+ cp scripts/spatch.sh scripts/spatch.opt
+ chmod +x scripts/spatch.opt
-clean::
+distclean::
rm -f scripts/spatch scripts/spatch.byte scripts/spatch.opt
##############################################################################
# don't remove DESTDIR, it can be set by package build system like ebuild
# for staged installation.
-install-common:
- mkdir -p $(DESTDIR)$(BINDIR)
- mkdir -p $(DESTDIR)$(LIBDIR)
- mkdir -p $(DESTDIR)$(SHAREDIR)
- mkdir -p $(DESTDIR)$(MANDIR)/man1
+install-common: ocaml/coccilib/coccilib.cmi
+ $(MKDIR_P) $(DESTDIR)$(BINDIR)
+ $(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
$(INSTALL_DATA) standard.h $(DESTDIR)$(SHAREDIR)
$(INSTALL_DATA) standard.iso $(DESTDIR)$(SHAREDIR)
+ $(INSTALL_DATA) ocaml/coccilib/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-man:
+ @echo "Installing manuals in: ${DESTDIR}${MANDIR}"
+ $(MKDIR_P) $(DESTDIR)$(MANDIR)/man1
+ $(MKDIR_P) $(DESTDIR)$(MANDIR)/man3
$(INSTALL_DATA) docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/
- @if [ $(FEATURE_PYTHON) -eq 1 ]; then $(MAKE) install-python; fi
+ $(INSTALL_DATA) docs/Coccilib.3cocci $(DESTDIR)$(MANDIR)/man3/
+
+install-bash:
+ @echo "Installing bash completion in: ${DESTDIR}${BASH_COMPLETION_DIR}"
+ $(MKDIR_P) $(DESTDIR)$(BASH_COMPLETION_DIR)
+ $(INSTALL_DATA) scripts/spatch.bash_completion \
+ $(DESTDIR)$(BASH_COMPLETION_DIR)/spatch
+
+install-tools:
+ @echo "Installing tools in: ${DESTDIR}${BINDIR}"
+ $(MKDIR_P) $(DESTDIR)$(BINDIR)
+ $(INSTALL_PROGRAM) tools/splitpatch \
+ $(DESTDIR)$(BINDIR)/splitpatch
+ $(INSTALL_PROGRAM) tools/cocci-send-email.perl \
+ $(DESTDIR)$(BINDIR)/cocci-send-email.perl
install-python:
- mkdir -p $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
+ @echo "Installing python support in: ${DESTDIR}${SHAREDIR}/python"
+ $(MKDIR_P) $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
$(INSTALL_DATA) python/coccilib/*.py \
$(DESTDIR)$(SHAREDIR)/python/coccilib
$(INSTALL_DATA) python/coccilib/coccigui/*.py \
$(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
$(INSTALL_DATA) python/coccilib/coccigui/pygui.gladep \
$(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
- $(INSTALL_LIB) dllpycaml_stubs.so $(DESTDIR)$(LIBDIR)
-
-install: install-common
- @if test -x spatch -a ! -x spatch.opt ; then \
- $(MAKE) install-byte;fi
- @if test ! -x spatch -a -x spatch.opt ; then \
- $(MAKE) install-def; $(MAKE) install-opt;fi
- @if test -x spatch -a -x spatch.opt ; then \
- $(MAKE) install-byte; $(MAKE) install-opt;fi
+
+install-stubs:
+ $(MKDIR_P) $(DESTDIR)$(SHAREDIR)
+ @if test -f ./bundles/pycaml/dllpycaml_stubs.so; then \
+ cp -fv ./bundles/pycaml/dllpycaml_stubs.so $(DESTDIR)$(SHAREDIR); fi
+ @if test -f ./bundles/pcre/dllpcre_stubs.so; then \
+ cp -fv ./bundles/pcre/dllpcre_stubs.so $(DESTDIR)$(SHAREDIR); fi
+
+install: install-man install-common install-stubs $(PYTHON_INSTALL_TARGET)
+ rm -f $(DESTDIR)$(SHAREDIR)/spatch
+ rm -f $(DESTDIR)$(SHAREDIR)/spatch.opt
+ @if test -x spatch -o -x spatch.opt; then \
+ $(MAKE) install-def;fi
+ @if test -x spatch ; then \
+ $(MAKE) install-byte; fi
+ @if test -x spatch.opt ; then \
+ $(MAKE) install-opt;fi
@if test ! -x spatch -a ! -x spatch.opt ; then \
- echo "\n\n\t==> Run 'make', 'make opt', or both first. <==\n\n";fi
+ echo -e "\n\n\t==> Run 'make', 'make opt', or both first. <==\n\n";fi
@echo ""
- @echo "\tYou can also install spatch by copying the program spatch"
- @echo "\t(available in this directory) anywhere you want and"
- @echo "\tgive it the right options to find its configuration files."
+ @echo -e "\tYou can also install spatch by copying the program spatch"
+ @echo -e "\t(available in this directory) anywhere you want and"
+ @echo -e "\tgive it the right options to find its configuration files."
@echo ""
-# user will use spatch to run spatch.opt (native)
+#
+# Installation of spatch and spatch.opt and their wrappers
+#
+
+# user will use spatch to run one of the binaries
install-def:
- $(INSTALL_PROGRAM) spatch.opt $(DESTDIR)$(SHAREDIR)
$(INSTALL_PROGRAM) scripts/spatch $(DESTDIR)$(BINDIR)/spatch
-# user will use spatch to run spatch (bytecode)
+# user will use spatch.byte to run spatch (bytecode)
install-byte:
$(INSTALL_PROGRAM) spatch $(DESTDIR)$(SHAREDIR)
- $(INSTALL_PROGRAM) scripts/spatch.byte $(DESTDIR)$(BINDIR)/spatch
+ $(INSTALL_PROGRAM) scripts/spatch.byte $(DESTDIR)$(BINDIR)/spatch.byte
# user will use spatch.opt to run spatch.opt (native)
install-opt:
uninstall:
rm -f $(DESTDIR)$(BINDIR)/spatch
rm -f $(DESTDIR)$(BINDIR)/spatch.opt
- rm -f $(DESTDIR)$(LIBDIR)/dllpycaml_stubs.so
+ rm -f $(DESTDIR)$(BINDIR)/spatch.byte
+ rm -f $(DESTDIR)$(SHAREDIR)/dllpycaml_stubs.so
+ rm -f $(DESTDIR)$(SHAREDIR)/dllpcre_stubs.so
+ rm -f $(DESTDIR)$(SHAREDIR)/spatch
+ rm -f $(DESTDIR)$(SHAREDIR)/spatch.opt
rm -f $(DESTDIR)$(SHAREDIR)/standard.h
rm -f $(DESTDIR)$(SHAREDIR)/standard.iso
- rm -rf $(DESTDIR)$(SHAREDIR)/python/coccilib
+ rm -f $(DESTDIR)$(SHAREDIR)/ocaml/coccilib.cmi
+ rm -f $(DESTDIR)$(SHAREDIR)/parsing_c/*.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
+ rm -f $(DESTDIR)$(MANDIR)/man3/Coccilib.3cocci
+
+uninstall-bash:
+ rm -f $(DESTDIR)$(BASH_COMPLETION_DIR)/spatch
+ rmdir --ignore-fail-on-non-empty -p \
+ $(DESTDIR)$(BASH_COMPLETION_DIR)
+
+uninstall-tools:
+ rm -f $(DESTDIR)$(BINDIR)/splitpatch
+ rm -f $(DESTDIR)$(BINDIR)/cocci-send-email.perl
version:
@echo "spatch $(VERSION)"
testparsing:
./$(TARGET) -D standard.h -parse_c -dir tests/
-
+# the check target runs:
+# * some feature tests (depending on what is enabled)
+# * the test suite
+check: scripts/spatch
+ @echo "testing if spatch works on hello world..."
+ @COCCINELLE_HOME="$$(pwd)" ./scripts/spatch --sp-file demos/hello/hello-smpl.cocci demos/hello/helloworld.c --very-quiet | grep -q '+ printf("world, hello!");'
+ @echo "testing if spatch works with regexes..."
+ @COCCINELLE_HOME="$$(pwd)" ./scripts/spatch --sp-file demos/hello/hello-regexp.cocci demos/hello/helloworld.c --very-quiet | grep -q '+ printf("world, hello!");'
+ @if test "x${FEATURE_OCAML}" = x1 -a -z "${NO_OCAMLFIND}"; then \
+ echo "testing if spatch works with ocaml scripts..."; \
+ COCCINELLE_HOME="$$(pwd)" ./scripts/spatch --sp-file demos/hello/hello-ocaml.cocci demos/hello/helloworld.c --very-quiet | grep -q 'Hello at: 2'; fi
+ @if test "x${FEATURE_PYTHON}" = x1; then \
+ echo "testing if spatch works with python scripts..."; \
+ COCCINELLE_HOME="$$(pwd)" ./scripts/spatch --sp-file demos/hello/hello-python.cocci demos/hello/helloworld.c --very-quiet | grep -q 'Hello at: 2'; fi
+ @echo running the test suite
+ COCCINELLE_HOME="$$(pwd)" ./scripts/spatch --testall --no-update-score-file
# -inline 0 to see all the functions in the profile.
# Can also use the profile framework in commons/ and run your program
# with -profile.
forprofiling:
- $(MAKE) OPTFLAGS="-p -inline 0 " opt
+ $(MAKE) OPTFLAGS="-p -inline 0 ${EXTRA_OCAML_FLAGS}" opt
-clean::
- rm -f gmon.out
+clean distclean::
+ rm -f gmon.out ocamlprof.dump
tags:
otags -no-mli-tags -r .
dependencygraph:
- find -name "*.ml" |grep -v "scripts" | xargs ocamldep -I commons -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra > /tmp/dependfull.depend
+ find . -name "*.ml" |grep -v "scripts" | xargs $(OCAMLDEP) -I commons -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra > /tmp/dependfull.depend
ocamldot -lr /tmp/dependfull.depend > /tmp/dependfull.dot
dot -Tps /tmp/dependfull.dot > /tmp/dependfull.ps
ps2pdf /tmp/dependfull.ps /tmp/dependfull.pdf
echo "let foo_ctl () = failwith \"there is no foo_ctl formula\"" \
> test.ml
-beforedepend:: test.ml
-
-
-#INC=$(dir $(shell which ocaml))
-#INCX=$(INC:/=)
-#INCY=$(dir $(INCX))
-#INCZ=$(INCY:/=)/lib/ocaml
-#
-#prim.o: prim.c
-# gcc -c -o prim.o -I $(INCZ) prim.c
-
-
##############################################################################
# Generic ocaml rules
##############################################################################
.SUFFIXES: .ml .mli .cmo .cmi .cmx
.ml.cmo:
- $(OCAMLC) -c $<
+ $(OCAMLC_CMD) -c $<
.mli.cmi:
- $(OCAMLC) -c $<
+ $(OCAMLC_CMD) -c $<
.ml.cmx:
- $(OCAMLOPT) -c $<
+ $(OCAMLOPT_CMD) -c $<
.ml.mldepend:
- $(OCAMLC) -i $<
+ $(OCAMLC_CMD) -i $<
-clean::
+clean distclean::
+ rm -f .depend
rm -f *.cm[iox] *.o *.annot
rm -f *~ .*~ *.exe #*#
-distclean:: clean
- set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i $@; done
- rm -f .depend
- rm -f Makefile.config
- rm -f python/pycocci.ml
- rm -f python/pycocci_aux.ml
- rm -f globals/config.ml
- rm -f TAGS
- rm -f tests/SCORE_actual.sexp
- rm -f tests/SCORE_best_of_both.sexp
- find -name ".#*1.*" | xargs rm -f
-
-beforedepend::
-
-depend:: beforedepend
- $(OCAMLDEP) *.mli *.ml > .depend
- set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i $@; done
+distclean::
+ set -e; for i in $(CLEANSUBDIRS); do $(MAKE) -C $$i $@; done
+ rm -f test.ml
+ rm -f TAGS *.native *.byte *.d.native *.p.byte
+ if test -z "${KEEP_GENERATED}"; then \
+ rm -f tests/SCORE_actual.sexp tests/SCORE_best_of_both.sexp; fi
+ find . -name ".#*1.*" | xargs rm -f
+ rm -f $(EXEC) $(EXEC).opt $(EXEC).top
+ rm -f setup/Makefile
+
+# using 'touch' to prevent infinite recursion with 'make depend'
+.PHONY:: depend
+.depend: Makefile.config test.ml version
+ @touch .depend
+ @$(MAKE) depend
+
+depend: Makefile.config test.ml version
+ @echo constructing '.depend'
+ @rm -f .depend
+ @set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i depend; done
+ $(OCAMLDEP_CMD) *.mli *.ml > .depend
-.depend::
- @if [ ! -f .depend ] ; then $(MAKE) depend ; fi
+##############################################################################
+# configure-related
+##############################################################################
+distclean::
+ @echo "cleaning configured files"
+ if test -z "${KEEP_CONFIG}"; then rm -f Makefile.config; fi
+ rm -rf autom4te.cache
+ rm -f config.status
+ rm -f config.log
+ if test -z "${KEEP_GENERATED}"; then \
+ rm -f version.ml; fi
+ rm -f globals/config.ml
+ rm -f globals/regexp.ml python/pycocci.ml ocaml/prepare_ocamlcocci.ml
+ rm -f scripts/spatch.sh
+ rm -f aclocal.m4
+ @echo "run 'configure' again prior to building coccinelle"
+
+
+# don't include depend for those actions that either don't need
+# depend or that call 'make .depend' explicitly.
+# TODO: find a nicer way to express this
+ifneq ($(MAKECMDGOALS),clean)
+ifneq ($(MAKECMDGOALS),distclean)
+ifneq ($(MAKECMDGOALS),configure)
+ifneq ($(MAKECMDGOALS),prerelease)
+ifneq ($(MAKECMDGOALS),release)
+ifneq ($(MAKECMDGOALS),package)
+ifneq ($(MAKECMDGOALS),all-release)
+ifneq ($(MAKECMDGOALS),all-dev)
+ifneq ($(MAKECMDGOALS),all)
+ifneq ($(MAKECMDGOALS),.depend)
+ifneq ($(MAKECMDGOALS),depend)
+ifneq ($(FEATURE_OCAMLBUILD),yes)
-include .depend
+endif
+endif
+endif
+endif
+endif
+endif
+endif
+endif
+endif
+endif
+endif
+endif
+
+include Makefile.common