-# Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
-# Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller
-# This file is part of Coccinelle.
-#
-# Coccinelle is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, according to version 2 of the License.
-#
-# Coccinelle is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
-#
-# The authors reserve the right to distribute this or future versions of
-# Coccinelle under other licenses.
-
-
-#############################################################################
-# Configuration section
-#############################################################################
-
--include Makefile.config
-
-VERSION=$(shell cat globals/config.ml.in |grep version |perl -p -e 's/.*"(.*)".*/$$1/;')
-
-##############################################################################
-# Variables
-##############################################################################
-TARGET=spatch
-
-SRC=flag_cocci.ml cocci.ml testing.ml test.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
-else
-PYCMA=
-PYDIR=
-PYLIB=
-OPTLIBFLAGS=
-endif
-
-SEXPSYSCMA=bigarray.cma nums.cma
-
-SYSLIBS=str.cma unix.cma $(SEXPSYSCMA)
-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 \
- extra/extra.cma $(PYCMA) python/coccipython.cma
-
-#used for clean: and depend: and a little for rec & rec.opt
-MAKESUBDIRS=commons ocamlsexp \
- globals menhirlib $(PYDIR) ctl parsing_cocci parsing_c \
- engine extra python
-INCLUDEDIRS=commons commons/ocamlextra ocamlsexp \
- globals menhirlib $(PYDIR) ctl \
- parsing_cocci parsing_c engine extra python
-
-##############################################################################
-# Generic variables
-##############################################################################
-
-INCLUDES=$(INCLUDEDIRS:%=-I %)
-
-OBJS= $(SRC:.ml=.cmo)
-OPTOBJS= $(SRC:.ml=.cmx)
-
-EXEC=$(TARGET)
-
-##############################################################################
-# Generic ocaml variables
-##############################################################################
-
-OCAMLCFLAGS= #-g -dtypes # -w A
-
-# 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=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)
-
-# can also be set via 'make static'
-STATIC= #-ccopt -static
-
-# can also be unset via 'make purebytecode'
-BYTECODE_STATIC=-custom
-
-##############################################################################
-# Top rules
-##############################################################################
-.PHONY:: all all.opt byte opt top clean distclean configure
-.PHONY:: $(MAKESUBDIRS) $(MAKESUBDIRS:%=%.opt) subdirs subdirs.opt
-
-all: Makefile.config byte preinstall
-
-opt: all.opt
-all.opt: opt-compil preinstall
-
-world: preinstall
- $(MAKE) byte
- $(MAKE) opt-compil
-
-byte: .depend
- $(MAKE) subdirs
- $(MAKE) $(EXEC)
-
-opt-compil: .depend
- $(MAKE) subdirs.opt
- $(MAKE) $(EXEC).opt
-
-top: $(EXEC).top
-
-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
-
-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
-
-$(MAKESUBDIRS):
- $(MAKE) -C $@ OCAMLCFLAGS="$(OCAMLCFLAGS)" all
-
-$(MAKESUBDIRS:%=%.opt):
- $(MAKE) -C $(@:%.opt=%) OCAMLCFLAGS="$(OCAMLCFLAGS)" all.opt
-
-#dependencies:
-# commons:
-# globals:
-# menhirlib:
-# parsing_cocci: commons globals menhirlib
-# parsing_c:parsing_cocci
-# ctl:globals commons
-# engine: parsing_cocci parsing_c ctl
-# 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
-
-$(LIBS): $(MAKESUBDIRS)
-$(LIBS:.cma=.cmxa): $(MAKESUBDIRS:%=%.opt)
-
-$(OBJS):$(LIBS)
-$(OPTOBJS):$(LIBS:.cma=.cmxa)
-
-$(EXEC): $(LIBS) $(OBJS)
- $(OCAMLC) $(BYTECODE_STATIC) -o $@ $(SYSLIBS) $^
-
-$(EXEC).opt: $(LIBS:.cma=.cmxa) $(OPTOBJS)
- $(OCAMLOPT) $(STATIC) -o $@ $(SYSLIBS:.cma=.cmxa) $(OPTLIBFLAGS) $^
-
-$(EXEC).top: $(LIBS) $(OBJS)
- $(OCAMLMKTOP) -custom -o $@ $(SYSLIBS) $^
-
-clean::
- rm -f $(TARGET) $(TARGET).opt $(TARGET).top
-
-clean::
- rm -f dllpycaml_stubs.so
-
-
-.PHONY:: tools configure
-
-configure:
- ./configure
-
-Makefile.config:
- @echo "Makefile.config is missing. Have you run ./configure?"
- @exit 1
-
-tools:
- $(MAKE) -C tools
-
-clean::
- $(MAKE) -C tools clean
-
-static:
- rm -f spatch.opt spatch
- $(MAKE) STATIC="-ccopt -static" spatch.opt
- cp spatch.opt spatch
-
-purebytecode:
- rm -f spatch.opt spatch
- $(MAKE) BYTECODE_STATIC="" spatch
-
-
-##############################################################################
-# Build documentation
-##############################################################################
-.PHONY:: docs
-
-docs:
- make -C docs
-
-clean::
- make -C docs clean
-
-distclean::
- make -C docs distclean
-
-##############################################################################
-# Pre-Install (customization of spatch frontend script)
-##############################################################################
-
-preinstall: scripts/spatch scripts/spatch.opt scripts/spatch.byte
-
-# user will use spatch to run spatch.opt (native)
-scripts/spatch:
- 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
-
-# user will use spatch to run spatch (bytecode)
-scripts/spatch.byte:
- 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
-
-# user will use spatch.opt to run spatch.opt (native)
-scripts/spatch.opt:
- 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
-
-clean::
- rm -f scripts/spatch scripts/spatch.byte scripts/spatch.opt
-
-##############################################################################
-# Install
-##############################################################################
-
-# 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_DATA) standard.h $(DESTDIR)$(SHAREDIR)
- $(INSTALL_DATA) standard.iso $(DESTDIR)$(SHAREDIR)
- $(INSTALL_DATA) docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/
- @if [ $(FEATURE_PYTHON) -eq 1 ]; then $(MAKE) install-python; fi
-
-install-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.glade \
- $(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
- @if test ! -x spatch -a ! -x spatch.opt ; then \
- echo "\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 ""
-
-# user will use spatch to run spatch.opt (native)
-install-def:
- $(INSTALL_PROGRAM) spatch.opt $(DESTDIR)$(SHAREDIR)
- $(INSTALL_PROGRAM) scripts/spatch $(DESTDIR)$(BINDIR)/spatch
-
-# user will use spatch to run spatch (bytecode)
-install-byte:
- $(INSTALL_PROGRAM) spatch $(DESTDIR)$(SHAREDIR)
- $(INSTALL_PROGRAM) scripts/spatch.byte $(DESTDIR)$(BINDIR)/spatch
-
-# user will use spatch.opt to run spatch.opt (native)
-install-opt:
- $(INSTALL_PROGRAM) spatch.opt $(DESTDIR)$(SHAREDIR)
- $(INSTALL_PROGRAM) scripts/spatch.opt $(DESTDIR)$(BINDIR)/spatch.opt
-
-uninstall:
- rm -f $(DESTDIR)$(BINDIR)/spatch
- rm -f $(DESTDIR)$(BINDIR)/spatch.opt
- rm -f $(DESTDIR)$(LIBDIR)/dllpycaml_stubs.so
- rm -f $(DESTDIR)$(SHAREDIR)/standard.h
- rm -f $(DESTDIR)$(SHAREDIR)/standard.iso
- rm -rf $(DESTDIR)$(SHAREDIR)/python/coccilib
- rm -f $(DESTDIR)$(MANDIR)/man1/spatch.1
-
-version:
- @echo $(VERSION)
-
-
-##############################################################################
-# Package rules
-##############################################################################
-
-PACKAGE=coccinelle-$(VERSION)
-
-BINSRC=spatch env.sh env.csh standard.h standard.iso \
- *.txt \
- docs/manual/options.pdf docs/manual/cocci_syntax.pdf docs/spatch.1 \
- docs/manual/cocci-python.txt \
- demos/foo.* demos/simple.*
-# $(PYLIB) python/coccilib/ demos/printloc.*
-BINSRC2=$(BINSRC:%=$(PACKAGE)/%)
-
-TMP=/tmp
-OCAMLVERSION=$(shell ocaml -version |perl -p -e 's/.*version (.*)/$$1/;')
-
-# Procedure to do first time:
-# cd ~/release
-# cvs checkout coccinelle
-# cd coccinelle
-# cvs update -d -P
-# touch **/*
-# make licensify
-# remember to comment the -g -dtypes in this Makefile
-# You can also remove a few things, for instance I removed in this
-# Makefile things related to popl/ and popl09/
-
-# Procedure to do each time:
-# cvs update
-# make sure that ocaml is the distribution ocaml of /usr/bin, not ~pad/...
-# modify globals/config.ml.in
-# cd globals/; cvs commit -m"new version" (do not commit from the root!)
-# ./configure --without-python
-# make package
-# make website
-# Check that run an ocaml in /usr/bin
-
-# To test you can try compile and run spatch from different instances
-# like my ~/coccinelle, ~/release/coccinelle, and the /tmp/coccinelle-0.X
-# downloaded from the website.
-
-# For 'make srctar' it must done from a clean
-# repo such as ~/release/coccinelle. It must also be a repo where
-# the scripts/licensify has been run at least once.
-# For the 'make bintar' I can do it from my original repo.
-
-
-package:
- make srctar
- ./configure --without-python
- make docs
- make bintar
- make staticbintar
- make bytecodetar
-
-# I currently pre-generate the parser so the user does not have to
-# install menhir on his machine. We could also do a few cleanups.
-# You may have first to do a 'make licensify'.
-#
-# update: make docs generates pdf but also some ugly .log files, so
-# make clean is there to remove them while not removing the pdf
-# (only distclean remove the pdfs).
-srctar:
- make distclean
- make docs
- make clean
- cp -a . $(TMP)/$(PACKAGE)
- cd $(TMP)/$(PACKAGE); cd parsing_cocci/; make parser_cocci_menhir.ml
- cd $(TMP); tar cvfz $(PACKAGE).tgz --exclude-vcs $(PACKAGE)
- rm -rf $(TMP)/$(PACKAGE)
-
-
-bintar: all
- rm -f $(TMP)/$(PACKAGE)
- ln -s `pwd` $(TMP)/$(PACKAGE)
- cd $(TMP); tar cvfz $(PACKAGE)-bin-x86.tgz --exclude-vcs $(BINSRC2)
- rm -f $(TMP)/$(PACKAGE)
-
-staticbintar: all.opt
- rm -f $(TMP)/$(PACKAGE)
- ln -s `pwd` $(TMP)/$(PACKAGE)
- make static
- cd $(TMP); tar cvfz $(PACKAGE)-bin-x86-static.tgz --exclude-vcs $(BINSRC2)
- rm -f $(TMP)/$(PACKAGE)
-
-# add ocaml version in name ?
-bytecodetar: all
- rm -f $(TMP)/$(PACKAGE)
- ln -s `pwd` $(TMP)/$(PACKAGE)
- make purebytecode
- cd $(TMP); tar cvfz $(PACKAGE)-bin-bytecode-$(OCAMLVERSION).tgz --exclude-vcs $(BINSRC2)
- rm -f $(TMP)/$(PACKAGE)
-
-clean::
- rm -f $(PACKAGE)
- rm -f $(PACKAGE)-bin-x86.tgz
- rm -f $(PACKAGE)-bin-x86-static.tgz
- rm -f $(PACKAGE)-bin-bytecode-$(OCAMLVERSION).tgz
-
-
-
-TOLICENSIFY=ctl engine parsing_cocci python
-licensify:
- ocaml tools/licensify.ml
- set -e; for i in $(TOLICENSIFY); do cd $$i; ocaml ../tools/licensify.ml; cd ..; done
-
-# When checking out the source from diku sometimes I have some "X in the future"
-# error messages.
-fixdates:
- echo do 'touch **/*.*'
-
-#fixCVS:
-# cvs update -d -P
-# echo do 'rm -rf **/CVS'
-
-ocamlversion:
- @echo $(OCAMLVERSION)
-
-
-##############################################################################
-# Pad specific rules
-##############################################################################
-
-#TOP=/home/pad/mobile/project-coccinelle
-WEBSITE=/home/pad/mobile/homepage/software/project-coccinelle
-
-website:
- cp $(TMP)/$(PACKAGE).tgz $(WEBSITE)
- cp $(TMP)/$(PACKAGE)-bin-x86.tgz $(WEBSITE)
- cp $(TMP)/$(PACKAGE)-bin-x86-static.tgz $(WEBSITE)
- cp $(TMP)/$(PACKAGE)-bin-bytecode-$(OCAMLVERSION).tgz $(WEBSITE)
- rm -f $(WEBSITE)/LATEST* $(WEBSITE)/coccinelle-latest.tgz
- cp changes.txt $(WEBSITE)/changes-$(VERSION).txt
- cd $(WEBSITE); touch LATEST_IS_$(VERSION); ln -s $(PACKAGE).tgz coccinelle-latest.tgz
- cp readme.txt $(WEBSITE)
-
-
-#TXT=$(wildcard *.txt)
-syncwiki:
-# unison ~/public_html/wiki/wiki-LFS/data/pages/ docs/wiki/
-# set -e; for i in $(TXT); do unison $$i docs/wiki/$$i; done
-
-darcsweb:
-# @echo pull from ~/public_html/darcs/c-coccinelle and c-commons and lib-xxx
-
-DARCSFORESTS=commons ocamlsexp \
- parsing_c parsing_cocci engine
-
-update_darcs:
- darcs pull
- set -e; for i in $(DARCSFORESTS); do cd $$i; darcs pull; cd ..; done
-
-#darcs diff -u
-diff_darcs:
- set -e; for i in $(DARCSFORESTS); do cd $$i; darcs diff -u; cd ..; done
-
-##############################################################################
-# Git Developer rules
-##############################################################################
-gitupdate:
- git cvsimport -d :ext:topps:/var/cvs/cocci coccinelle
-
-##############################################################################
-# Developer rules
-##############################################################################
-
-test: $(TARGET)
- ./$(TARGET) -testall
-
-testparsing:
- ./$(TARGET) -D standard.h -parse_c -dir tests/
-
-
-
-# -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
-
-clean::
- rm -f gmon.out
-
-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 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
-
-##############################################################################
-# Misc rules
-##############################################################################
-
-# each member of the project can have its own test.ml. this file is
-# not under CVS.
-test.ml:
- 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 $<
-.mli.cmi:
- $(OCAMLC) -c $<
-.ml.cmx:
- $(OCAMLOPT) -c $<
-
-.ml.mldepend:
- $(OCAMLC) -i $<
-
-clean::
- 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/coccilib/output.py
- 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
-
-.depend::
- @if [ ! -f .depend ] ; then $(MAKE) depend ; fi
-
--include .depend
+# 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 is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, according to version 2 of the License.
+#
+# Coccinelle is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
+#
+# The authors reserve the right to distribute this or future versions of
+# 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 ./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 $(LEXER_SOURCES:.mll=.ml) main.ml
+
+ifeq ($(FEATURE_PYTHON),1)
+ PYTHON_INSTALL_TARGET=install-python
+else
+ PYTHON_INSTALL_TARGET=
+endif
+
+SYSLIBS=str.cma unix.cma bigarray.cma nums.cma
+LIBS=commons/commons.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 python/coccipython.cma ocaml/cocciocaml.cma
+
+MAKESUBDIRS=$(MAKELIBS) commons \
+ globals ctl parsing_cocci parsing_c \
+ engine popl09 extra python ocaml
+
+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
+##############################################################################
+
+# sort to remove duplicates
+INCLUDESET=$(sort $(INCLUDEDIRS))
+INCLUDES=$(INCLUDESET:%=-I %)
+
+OBJS= $(SRC:.ml=.cmo)
+OPTOBJS= $(SRC:.ml=.cmx)
+
+EXEC=$(TARGET)
+
+##############################################################################
+# Generic ocaml variables
+##############################################################################
+
+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)
+
+# these are unused at the moment (todo: remove)
+EXTRA_CFLAGS= # -static -pie -fpie -fPIE -static-libgcc
+EXTRA_OCAML_CFLAGS=$(EXTRA_CFLAGS:%=-ccopt %)
+
+# 'make purebytecode' unsets this definition
+BYTECODE_EXTRA=-custom $(EXTRA_OCAML_FLAGS)
+
+##############################################################################
+# Top rules
+##############################################################################
+.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
+
+# the .cmi file of coccilib
+ocaml/coccilib/coccilib.cmi: ocaml/coccilib.cmi
+ cp ocaml/coccilib.cmi ocaml/coccilib/coccilib.cmi
+
+# ocamlbuild version of the main make targets
+else
+
+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'"
+
+# 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'"
+
+all.opt: Makefile.config myocamlbuild.ml version.ml prepare-bundles
+ $(MAKE) opt-only
+ @$(MAKE) coccilib-cmi
+ $(MAKE) preinstall
+
+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
+
+# 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:
+ @+for D in $(MAKESUBDIRS); do $(MAKE) $$D.opt || exit 1 ; done
+
+$(MAKESUBDIRS:%=%.all):
+ @$(MAKE) -C $(@:%.all=%) all
+
+$(MAKESUBDIRS:%=%.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
+# parsing_c:parsing_cocci
+# 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:: Makefile.config
+ @set -e; for i in $(CLEANSUBDIRS); do $(MAKE) -C $$i $@; done
+ @$(MAKE) -C demos/spp $@
+
+$(LIBS): $(MAKESUBDIRS:%=%.all)
+$(LIBS:.cma=.cmxa): $(MAKESUBDIRS:%=%.opt)
+$(LNKLIBS) : $(MAKESUBDIRS:%=%.all)
+$(LNKOPTLIBS) : $(MAKESUBDIRS:%=%.opt)
+
+$(OBJS):$(LIBS)
+$(OPTOBJS):$(LIBS:.cma=.cmxa)
+
+$(EXEC): $(LNKLIBS) $(LIBS) $(OBJS)
+ $(OCAMLC_CMD) $(BYTECODE_EXTRA) $(FLAGSLIBS) -o $@ $(SYSLIBS) $^
+
+$(EXEC).opt: $(OPTLNKLIBS) $(LIBS:.cma=.cmxa) $(OPTOBJS)
+ $(OCAMLOPT_CMD) $(OPTFLAGSLIBS) -o $@ $(SYSLIBS:.cma=.cmxa) $^
+
+$(EXEC).top: $(LNKLIBS) $(LIBS) $(OBJS)
+ $(OCAMLMKTOP_CMD) -custom -o $@ $(SYSLIBS) $(FLAGSLIBS) $^
+
+clean distclean::
+ rm -f $(TARGET) $(TARGET).opt $(TARGET).top
+
+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_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
+
+# as above, also for the ocamlbuild plugin
+myocamlbuild.ml: myocamlbuild.ml.in configure.ac
+
+tools: $(LIBS) $(LNKLIBS)
+ $(MAKE) -C tools
+
+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) 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
+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:
+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"
+
+clean:: Makefile.config
+ $(MAKE) -C docs clean
+ $(MAKE) -C ocaml cleandoc
+
+##############################################################################
+# Pre-Install (customization of spatch frontend script)
+##############################################################################
+
+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 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 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 scripts/spatch.sh
+ cp scripts/spatch.sh scripts/spatch.opt
+ chmod +x scripts/spatch.opt
+
+distclean::
+ rm -f scripts/spatch scripts/spatch.byte scripts/spatch.opt
+
+##############################################################################
+# Install
+##############################################################################
+
+# don't remove DESTDIR, it can be set by package build system like ebuild
+# for staged installation.
+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/
+ $(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:
+ @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.glade \
+ $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
+ $(INSTALL_DATA) python/coccilib/coccigui/pygui.gladep \
+ $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
+
+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 -e "\n\n\t==> Run 'make', 'make opt', or both first. <==\n\n";fi
+ @echo ""
+ @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 ""
+
+#
+# Installation of spatch and spatch.opt and their wrappers
+#
+
+# user will use spatch to run one of the binaries
+install-def:
+ $(INSTALL_PROGRAM) scripts/spatch $(DESTDIR)$(BINDIR)/spatch
+
+# user will use spatch.byte to run spatch (bytecode)
+install-byte:
+ $(INSTALL_PROGRAM) spatch $(DESTDIR)$(SHAREDIR)
+ $(INSTALL_PROGRAM) scripts/spatch.byte $(DESTDIR)$(BINDIR)/spatch.byte
+
+# user will use spatch.opt to run spatch.opt (native)
+install-opt:
+ $(INSTALL_PROGRAM) spatch.opt $(DESTDIR)$(SHAREDIR)
+ $(INSTALL_PROGRAM) scripts/spatch.opt $(DESTDIR)$(BINDIR)/spatch.opt
+
+uninstall:
+ rm -f $(DESTDIR)$(BINDIR)/spatch
+ rm -f $(DESTDIR)$(BINDIR)/spatch.opt
+ 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 -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)"
+ @echo "spatch $(PKGVERSION) ($(DISTRIB_ID))"
+ @echo "coccicheck $(CCVERSION)"
+
+
+##############################################################################
+# Deb package (for Ubuntu) and release rules
+##############################################################################
+
+include Makefile.release
+
+##############################################################################
+# Developer rules
+##############################################################################
+
+-include Makefile.dev
+
+test: $(TARGET)
+ ./$(TARGET) -testall
+
+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 ${EXTRA_OCAML_FLAGS}" opt
+
+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
+ ocamldot -lr /tmp/dependfull.depend > /tmp/dependfull.dot
+ dot -Tps /tmp/dependfull.dot > /tmp/dependfull.ps
+ ps2pdf /tmp/dependfull.ps /tmp/dependfull.pdf
+
+##############################################################################
+# Misc rules
+##############################################################################
+
+# each member of the project can have its own test.ml. this file is
+# not under CVS.
+test.ml:
+ echo "let foo_ctl () = failwith \"there is no foo_ctl formula\"" \
+ > test.ml
+
+##############################################################################
+# Generic ocaml rules
+##############################################################################
+
+.SUFFIXES: .ml .mli .cmo .cmi .cmx
+
+.ml.cmo:
+ $(OCAMLC_CMD) -c $<
+.mli.cmi:
+ $(OCAMLC_CMD) -c $<
+.ml.cmx:
+ $(OCAMLOPT_CMD) -c $<
+
+.ml.mldepend:
+ $(OCAMLC_CMD) -i $<
+
+clean distclean::
+ rm -f .depend
+ rm -f *.cm[iox] *.o *.annot
+ rm -f *~ .*~ *.exe #*#
+
+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
+
+##############################################################################
+# 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
HCoop / bpt / coccinelle.git / blobdiff