[bpt/coccinelle.git] / Makefile

# Copyright 2010, 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.config
-include /etc/lsb-release

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/;')
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

ifeq ($(FEATURE_PYTHON),1)
PYCMA=pycaml.cma
# the following is essential for Coccinelle to compile under gentoo (weird)
#OPTLIBFLAGS=-cclib dllpycaml_stubs.so
else
PYCMA=
endif
OPTLIBFLAGS=

ifeq ("$(SEXPDIR)","ocamlsexp")
SEXPLIB=sexplib.cmo
OPTSEXPLIB=sexplib.cmx
else
SEXPLIB=sexplib.cma
OPTSEXPLIB=sexplib.cmxa
endif

ifeq ("$(DYNLINK)","no")
DYNLINK=
else
DYNLINK=dynlink.cma
endif

SEXPSYSCMA=bigarray.cma nums.cma

SYSLIBS=str.cma unix.cma $(SEXPSYSCMA) $(PYCMA) $(DYNLINK) # threads.cma
LIBS=commons/commons.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 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")
LOCALMENHIR=menhirlib
else
LOCALMENHIR=
endif

# Should we use the local version of ocamlsexp
ifeq ("$(SEXPDIR)","ocamlsexp")
LOCALSEXP=ocamlsexp
else
LOCALSEXP=
endif

# used for depend: and a little for rec & rec.opt
MAKESUBDIRS=$(LOCALPYCAML) $(LOCALSEXP) commons \
 globals $(LOCALMENHIR) ctl parsing_cocci parsing_c \
 engine popl09 extra python ocaml

# used for clean:
# It is like MAKESUBDIRS but also
# force cleaning of local library copies
CLEANSUBDIRS=pycaml ocamlsexp commons \
 globals menhirlib ctl parsing_cocci parsing_c \
 engine popl09 extra python ocaml

INCLUDEDIRSDEP=commons commons/ocamlextra $(LOCALSEXP) \
 globals $(LOCALMENHIR) $(LOCALPYCAML) ctl \
 parsing_cocci parsing_c engine popl09 extra python ocaml

INCLUDEDIRS=$(INCLUDEDIRSDEP) $(SEXPDIR) $(MENHIRDIR) $(PYCAMLDIR)

##############################################################################
# Generic variables
##############################################################################

INCLUDES=$(INCLUDEDIRS:%=-I %)

OBJS=    $(SRC:.ml=.cmo)
OPTOBJS= $(SRC:.ml=.cmx)

EXEC=$(TARGET)

##############################################################################
# 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.
OPTFLAGS= -g

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 $(INCLUDEDIRSDEP:%=-I %)
OCAMLMKTOP=ocamlmktop -g -custom $(INCLUDES)

# can also be set via 'make static'
CFLAGS=-pie -fPIE -fpic -fPIC -static 
STATICCFLAGS=$(CFLAGS:%=-ccopt %)
STATIC= # $(STATICCFLAGS)

# 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:
	+for D in $(MAKESUBDIRS); do $(MAKE) $$D || exit 1 ; done
	$(MAKE) -C commons sexp OCAMLCFLAGS="$(OCAMLCFLAGS)"

subdirs.opt:
	+for D in $(MAKESUBDIRS); do $(MAKE) $$D.opt || exit 1 ; done
	$(MAKE) -C commons sexp.opt OPTFLAGS="$(OPTFLAGS)"

$(MAKESUBDIRS):
	$(MAKE) -C $@ OCAMLCFLAGS="$(OCAMLCFLAGS)" all

$(MAKESUBDIRS:%=%.opt):
	$(MAKE) -C $(@:%.opt=%) OPTFLAGS="$(OPTFLAGS)" all.opt

#dependencies:
# commons:
# globals:
# menhirlib:
# parsing_cocci: commons globals menhirlib
# parsing_c:parsing_cocci
# ctl:globals commons
# 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 $(CLEANSUBDIRS); do $(MAKE) -C $$i $@; done
	$(MAKE) -C demos/spp $@

$(LIBS): $(MAKESUBDIRS)
$(LIBS:.cma=.cmxa): $(MAKESUBDIRS:%=%.opt)

$(OBJS):$(LIBS)
$(OPTOBJS):$(LIBS:.cma=.cmxa)

$(EXEC): $(LIBS) $(OBJS)
	$(OCAMLC) $(BYTECODE_STATIC) -o $@ $(SYSLIBS) $(SEXPLIB) $^

$(EXEC).opt: $(LIBS:.cma=.cmxa) $(OPTOBJS)
	$(OCAMLOPT) $(STATIC) -o $@ $(SYSLIBS:.cma=.cmxa) $(OPTSEXPLIB) $(OPTLIBFLAGS)  $^

$(EXEC).top: $(LIBS) $(OBJS)
	$(OCAMLMKTOP) -custom -o $@ $(SYSLIBS) $(SEXPLIB) $^

clean::
	rm -f $(TARGET) $(TARGET).opt $(TARGET).top

.PHONY:: tools configure

configure:
	./configure

Makefile.config:
	@echo "Makefile.config is missing. Have you run ./configure?"
	@exit 1

tools: $(LIBS)
	$(MAKE) -C tools

distclean::
	if [ -d tools ] ; then $(MAKE) -C tools distclean ; fi

static:
	rm -f spatch.opt spatch
	$(MAKE) STATIC="$(STATICCFLAGS)" spatch.opt
	cp spatch.opt spatch

purebytecode:
	rm -f spatch.opt spatch
	$(MAKE) BYTECODE_STATIC="" spatch
	perl -p -i -e 's/^#!.*/#!\/usr\/bin\/ocamlrun/' 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: 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

# 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

# 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

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)/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) standard.iso $(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

install-bash:
	mkdir -p $(DESTDIR)$(BASH_COMPLETION_DIR)
	$(INSTALL_DATA) scripts/spatch.bash_completion \
		$(DESTDIR)$(BASH_COMPLETION_DIR)/spatch

install-tools:
	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
	$(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
	if [ -f pycaml/dllpycaml_stubs.so ]; then \
		$(INSTALL_LIB) pycaml/dllpycaml_stubs.so $(DESTDIR)$(LIBDIR) ; fi

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)/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

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/


# -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 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

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 globals/config.ml test.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
Commit	Line	Data
f537ebc4 C	1	# Copyright 2010, INRIA, University of Copenhagen
	2	# Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
	3	# Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
	4	# Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
	5	# This file is part of Coccinelle.
	6	#
	7	# Coccinelle is free software: you can redistribute it and/or modify
	8	# it under the terms of the GNU General Public License as published by
	9	# the Free Software Foundation, according to version 2 of the License.
	10	#
	11	# Coccinelle is distributed in the hope that it will be useful,
	12	# but WITHOUT ANY WARRANTY; without even the implied warranty of
	13	# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	14	# GNU General Public License for more details.
	15	#
	16	# You should have received a copy of the GNU General Public License
	17	# along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	18	#
	19	# The authors reserve the right to distribute this or future versions of
	20	# Coccinelle under other licenses.
	21
	22
951c7801	23
34e49164 C	24	#############################################################################
	25	# Configuration section
	26	#############################################################################
	27
	28	-include Makefile.config
c3e37e97	29	-include /etc/lsb-release
34e49164	30
b1b2de81	31	VERSION=$(shell cat globals/config.ml.in \|grep version \|perl -p -e 's/."(.)".*/$$1/;')
951c7801	32	CCVERSION=$(shell cat scripts/coccicheck/README \|grep "Coccicheck version" \|perl -p -e 's/.version (.)[ ]*/$$1/;')
c3e37e97 C	33	PKGVERSION=$(shell dpkg-parsechangelog -ldebian/changelog.$(DISTRIB_CODENAME) 2> /dev/null \
c3e37e97 C	34	\| sed -n 's/^Version: \(.*\)/\1/p' )
34e49164 C	35
	36	##############################################################################
	37	# Variables
	38	##############################################################################
	39	TARGET=spatch
c3e37e97	40	PRJNAME=coccinelle
34e49164 C	41
	42	SRC=flag_cocci.ml cocci.ml testing.ml test.ml main.ml
	43
34e49164	44	ifeq ($(FEATURE_PYTHON),1)
90aeb998	45	PYCMA=pycaml.cma
b1b2de81	46	# the following is essential for Coccinelle to compile under gentoo (weird)
90aeb998	47	#OPTLIBFLAGS=-cclib dllpycaml_stubs.so
34e49164 C	48	else
34e49164 C	49	PYCMA=
90aeb998	50	endif
34e49164	51	OPTLIBFLAGS=
90aeb998 C	52
	53	ifeq ("$(SEXPDIR)","ocamlsexp")
	54	SEXPLIB=sexplib.cmo
	55	OPTSEXPLIB=sexplib.cmx
	56	else
	57	SEXPLIB=sexplib.cma
	58	OPTSEXPLIB=sexplib.cmxa
34e49164 C	59	endif
34e49164 C	60
88e71198 C	61	ifeq ("$(DYNLINK)","no")
	62	DYNLINK=
	63	else
	64	DYNLINK=dynlink.cma
	65	endif
	66
b1b2de81	67	SEXPSYSCMA=bigarray.cma nums.cma
34e49164	68
88e71198	69	SYSLIBS=str.cma unix.cma $(SEXPSYSCMA) $(PYCMA) $(DYNLINK) # threads.cma
b1b2de81	70	LIBS=commons/commons.cma \
90aeb998	71	commons/commons_sexp.cma \
b1b2de81	72	globals/globals.cma \
34e49164 C	73	ctl/ctl.cma \
34e49164 C	74	parsing_cocci/cocci_parser.cma parsing_c/parsing_c.cma \
951c7801	75	engine/cocciengine.cma popl09/popl.cma \
174d1640	76	extra/extra.cma python/coccipython.cma ocaml/cocciocaml.cma
90aeb998 C	77
90aeb998 C	78	# Should we use the local version of pycaml
b23ff9c7	79	ifeq ($(FEATURE_PYTHON),1)
90aeb998 C	80	ifeq ("$(PYCAMLDIR)","pycaml")
	81	LOCALPYCAML=pycaml
	82	else
	83	LOCALPYCAML=
	84	endif
b23ff9c7	85	endif
90aeb998 C	86
90aeb998 C	87	# Should we use the local version of menhirLib
174d1640 C	88	ifeq ("$(MENHIRDIR)","menhirlib")
174d1640 C	89	LOCALMENHIR=menhirlib
90aeb998 C	90	else
	91	LOCALMENHIR=
	92	endif
	93
	94	# Should we use the local version of ocamlsexp
	95	ifeq ("$(SEXPDIR)","ocamlsexp")
	96	LOCALSEXP=ocamlsexp
	97	else
	98	LOCALSEXP=
	99	endif
34e49164	100
174d1640	101	# used for depend: and a little for rec & rec.opt
90aeb998 C	102	MAKESUBDIRS=$(LOCALPYCAML) $(LOCALSEXP) commons \
90aeb998 C	103	globals $(LOCALMENHIR) ctl parsing_cocci parsing_c \
174d1640 C	104	engine popl09 extra python ocaml
	105
	106	# used for clean:
	107	# It is like MAKESUBDIRS but also
	108	# force cleaning of local library copies
	109	CLEANSUBDIRS=pycaml ocamlsexp commons \
	110	globals menhirlib ctl parsing_cocci parsing_c \
	111	engine popl09 extra python ocaml
90aeb998 C	112
	113	INCLUDEDIRSDEP=commons commons/ocamlextra $(LOCALSEXP) \
	114	globals $(LOCALMENHIR) $(LOCALPYCAML) ctl \
174d1640	115	parsing_cocci parsing_c engine popl09 extra python ocaml
34e49164	116
90aeb998 C	117	INCLUDEDIRS=$(INCLUDEDIRSDEP) $(SEXPDIR) $(MENHIRDIR) $(PYCAMLDIR)
90aeb998 C	118
34e49164 C	119	##############################################################################
	120	# Generic variables
	121	##############################################################################
	122
	123	INCLUDES=$(INCLUDEDIRS:%=-I %)
	124
	125	OBJS= $(SRC:.ml=.cmo)
	126	OPTOBJS= $(SRC:.ml=.cmx)
	127
	128	EXEC=$(TARGET)
	129
	130	##############################################################################
	131	# Generic ocaml variables
	132	##############################################################################
	133
ae4735db	134	OCAMLCFLAGS=
34e49164 C	135
	136	# for profiling add -p -inline 0
	137	# but 'make forprofiling' below does that for you.
	138	# This flag is also used in subdirectories so don't change its name here.
708f4980	139	# To enable backtrace support for native code, you need to put -g in OPTFLAGS
c491d8ee C	140	# to also link with -g.
c491d8ee C	141	OPTFLAGS= -g
34e49164	142
34e49164	143	OCAMLC=ocamlc$(OPTBIN) $(OCAMLCFLAGS) $(INCLUDES)
faf9a90c	144	OCAMLOPT=ocamlopt$(OPTBIN) $(OPTFLAGS) $(INCLUDES)
34e49164 C	145	OCAMLLEX=ocamllex #-ml # -ml for debugging lexer, but slightly slower
34e49164 C	146	OCAMLYACC=ocamlyacc -v
90aeb998	147	OCAMLDEP=ocamldep $(INCLUDEDIRSDEP:%=-I %)
34e49164 C	148	OCAMLMKTOP=ocamlmktop -g -custom $(INCLUDES)
	149
	150	# can also be set via 'make static'
6756e19d C	151	CFLAGS=-pie -fPIE -fpic -fPIC -static
	152	STATICCFLAGS=$(CFLAGS:%=-ccopt %)
	153	STATIC= # $(STATICCFLAGS)
34e49164 C	154
	155	# can also be unset via 'make purebytecode'
	156	BYTECODE_STATIC=-custom
	157
	158	##############################################################################
	159	# Top rules
	160	##############################################################################
b1b2de81 C	161	.PHONY:: all all.opt byte opt top clean distclean configure
	162	.PHONY:: $(MAKESUBDIRS) $(MAKESUBDIRS:%=%.opt) subdirs subdirs.opt
	163
708f4980	164	all: Makefile.config byte preinstall
b1b2de81 C	165
b1b2de81 C	166	opt: all.opt
708f4980	167	all.opt: opt-compil preinstall
faf9a90c	168
708f4980	169	world: preinstall
b1b2de81	170	$(MAKE) byte
708f4980	171	$(MAKE) opt-compil
b1b2de81 C	172
b1b2de81 C	173	byte: .depend
faf9a90c C	174	$(MAKE) subdirs
	175	$(MAKE) $(EXEC)
	176
b1b2de81	177	opt-compil: .depend
faf9a90c C	178	$(MAKE) subdirs.opt
	179	$(MAKE) $(EXEC).opt
	180
485bce71	181	top: $(EXEC).top
34e49164	182
0708f913	183	subdirs:
b1b2de81	184	+for D in $(MAKESUBDIRS); do $(MAKE) $$D \|\| exit 1 ; done
90aeb998	185	$(MAKE) -C commons sexp OCAMLCFLAGS="$(OCAMLCFLAGS)"
0708f913 C	186
0708f913 C	187	subdirs.opt:
b1b2de81	188	+for D in $(MAKESUBDIRS); do $(MAKE) $$D.opt \|\| exit 1 ; done
aba5c457	189	$(MAKE) -C commons sexp.opt OPTFLAGS="$(OPTFLAGS)"
faf9a90c C	190
	191	$(MAKESUBDIRS):
	192	$(MAKE) -C $@ OCAMLCFLAGS="$(OCAMLCFLAGS)" all
	193
	194	$(MAKESUBDIRS:%=%.opt):
aba5c457	195	$(MAKE) -C $(@:%.opt=%) OPTFLAGS="$(OPTFLAGS)" all.opt
faf9a90c	196
b1b2de81	197	#dependencies:
0708f913 C	198	# commons:
	199	# globals:
	200	# menhirlib:
	201	# parsing_cocci: commons globals menhirlib
	202	# parsing_c:parsing_cocci
	203	# ctl:globals commons
	204	# engine: parsing_cocci parsing_c ctl
951c7801	205	# popl09:engine
0708f913 C	206	# extra: parsing_cocci parsing_c ctl
	207	# pycaml:
	208	# python:pycaml parsing_cocci parsing_c
faf9a90c	209
34e49164	210	clean::
174d1640	211	set -e; for i in $(CLEANSUBDIRS); do $(MAKE) -C $$i $@; done
c3e37e97	212	$(MAKE) -C demos/spp $@
34e49164	213
0708f913 C	214	$(LIBS): $(MAKESUBDIRS)
0708f913 C	215	$(LIBS:.cma=.cmxa): $(MAKESUBDIRS:%=%.opt)
faf9a90c C	216
	217	$(OBJS):$(LIBS)
	218	$(OPTOBJS):$(LIBS:.cma=.cmxa)
	219
34e49164	220	$(EXEC): $(LIBS) $(OBJS)
90aeb998	221	$(OCAMLC) $(BYTECODE_STATIC) -o $@ $(SYSLIBS) $(SEXPLIB) $^
34e49164	222
faf9a90c	223	$(EXEC).opt: $(LIBS:.cma=.cmxa) $(OPTOBJS)
90aeb998	224	$(OCAMLOPT) $(STATIC) -o $@ $(SYSLIBS:.cma=.cmxa) $(OPTSEXPLIB) $(OPTLIBFLAGS) $^
34e49164	225
faf9a90c	226	$(EXEC).top: $(LIBS) $(OBJS)
90aeb998	227	$(OCAMLMKTOP) -custom -o $@ $(SYSLIBS) $(SEXPLIB) $^
34e49164 C	228
	229	clean::
	230	rm -f $(TARGET) $(TARGET).opt $(TARGET).top
34e49164	231
b1b2de81 C	232	.PHONY:: tools configure
	233
	234	configure:
	235	./configure
34e49164	236
7f004419	237	Makefile.config:
708f4980 C	238	@echo "Makefile.config is missing. Have you run ./configure?"
	239	@exit 1
	240
c491d8ee	241	tools: $(LIBS)
34e49164	242	$(MAKE) -C tools
b1b2de81	243
c491d8ee C	244	distclean::
c491d8ee C	245	if [ -d tools ] ; then $(MAKE) -C tools distclean ; fi
34e49164	246
34e49164 C	247	static:
34e49164 C	248	rm -f spatch.opt spatch
6756e19d	249	$(MAKE) STATIC="$(STATICCFLAGS)" spatch.opt
34e49164 C	250	cp spatch.opt spatch
	251
	252	purebytecode:
	253	rm -f spatch.opt spatch
	254	$(MAKE) BYTECODE_STATIC="" spatch
fc1ad971	255	perl -p -i -e 's/^#!.*/#!\/usr\/bin\/ocamlrun/' spatch
34e49164 C	256
34e49164 C	257
b1b2de81 C	258	##############################################################################
	259	# Build documentation
	260	##############################################################################
	261	.PHONY:: docs
	262
	263	docs:
	264	make -C docs
	265
	266	clean::
	267	make -C docs clean
	268
	269	distclean::
	270	make -C docs distclean
	271
	272	##############################################################################
	273	# Pre-Install (customization of spatch frontend script)
	274	##############################################################################
b1b2de81	275
90aeb998 C	276	preinstall: docs/spatch.1 scripts/spatch scripts/spatch.opt scripts/spatch.byte
	277
	278	docs/spatch.1: Makefile.config
	279	$(MAKE) -C docs spatch.1
b1b2de81 C	280
b1b2de81 C	281	# user will use spatch to run spatch.opt (native)
5636bb2c	282	scripts/spatch: Makefile.config
b1b2de81 C	283	cp scripts/spatch.sh scripts/spatch.tmp2
	284	sed "s\|SHAREDIR\|$(SHAREDIR)\|g" scripts/spatch.tmp2 > scripts/spatch.tmp
	285	sed "s\|LIBDIR\|$(LIBDIR)\|g" scripts/spatch.tmp > scripts/spatch
	286	rm -f scripts/spatch.tmp2 scripts/spatch.tmp
	287
	288	# user will use spatch to run spatch (bytecode)
5636bb2c	289	scripts/spatch.byte: Makefile.config
708f4980 C	290	cp scripts/spatch.sh scripts/spatch.byte.tmp3
	291	sed "s\|\.opt\|\|" scripts/spatch.byte.tmp3 > scripts/spatch.byte.tmp2
	292	sed "s\|SHAREDIR\|$(SHAREDIR)\|g" scripts/spatch.byte.tmp2 \
	293	> scripts/spatch.byte.tmp
	294	sed "s\|LIBDIR\|$(LIBDIR)\|g" scripts/spatch.byte.tmp \
	295	> scripts/spatch.byte
	296	rm -f scripts/spatch.byte.tmp3 \
	297	scripts/spatch.byte.tmp2 \
	298	scripts/spatch.byte.tmp
b1b2de81 C	299
b1b2de81 C	300	# user will use spatch.opt to run spatch.opt (native)
5636bb2c	301	scripts/spatch.opt: Makefile.config
b1b2de81	302	cp scripts/spatch.sh scripts/spatch.opt.tmp2
708f4980 C	303	sed "s\|SHAREDIR\|$(SHAREDIR)\|g" scripts/spatch.opt.tmp2 \
	304	> scripts/spatch.opt.tmp
	305	sed "s\|LIBDIR\|$(LIBDIR)\|g" scripts/spatch.opt.tmp \
	306	> scripts/spatch.opt
b1b2de81 C	307	rm -f scripts/spatch.opt.tmp scripts/spatch.opt.tmp2
	308
	309	clean::
	310	rm -f scripts/spatch scripts/spatch.byte scripts/spatch.opt
	311
34e49164 C	312	##############################################################################
	313	# Install
	314	##############################################################################
	315
	316	# don't remove DESTDIR, it can be set by package build system like ebuild
8ba84ae2	317	# for staged installation.
0708f913	318	install-common:
34e49164 C	319	mkdir -p $(DESTDIR)$(BINDIR)
34e49164 C	320	mkdir -p $(DESTDIR)$(LIBDIR)
174d1640	321	mkdir -p $(DESTDIR)$(SHAREDIR)/ocaml
413ffc02	322	mkdir -p $(DESTDIR)$(SHAREDIR)/commons
ca417fcf	323	mkdir -p $(DESTDIR)$(SHAREDIR)/globals
413ffc02	324	mkdir -p $(DESTDIR)$(SHAREDIR)/parsing_c
faf9a90c	325	mkdir -p $(DESTDIR)$(MANDIR)/man1
8ba84ae2 C	326	$(INSTALL_DATA) standard.h $(DESTDIR)$(SHAREDIR)
8ba84ae2 C	327	$(INSTALL_DATA) standard.iso $(DESTDIR)$(SHAREDIR)
174d1640	328	$(INSTALL_DATA) ocaml/coccilib.cmi $(DESTDIR)$(SHAREDIR)/ocaml/
413ffc02 C	329	$(INSTALL_DATA) parsing_c/*.cmi $(DESTDIR)$(SHAREDIR)/parsing_c/
413ffc02 C	330	$(INSTALL_DATA) commons/*.cmi $(DESTDIR)$(SHAREDIR)/commons/
ca417fcf	331	$(INSTALL_DATA) globals/iteration.cmi $(DESTDIR)$(SHAREDIR)/globals/
8ba84ae2 C	332	$(INSTALL_DATA) docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/
8ba84ae2 C	333	@if [ $(FEATURE_PYTHON) -eq 1 ]; then $(MAKE) install-python; fi
174d1640 C	334
	335	install-bash:
	336	mkdir -p $(DESTDIR)$(BASH_COMPLETION_DIR)
	337	$(INSTALL_DATA) scripts/spatch.bash_completion \
	338	$(DESTDIR)$(BASH_COMPLETION_DIR)/spatch
0708f913	339
c491d8ee C	340	install-tools:
	341	mkdir -p $(DESTDIR)$(BINDIR)
	342	$(INSTALL_PROGRAM) tools/splitpatch \
	343	$(DESTDIR)$(BINDIR)/splitpatch
	344	$(INSTALL_PROGRAM) tools/cocci-send-email.perl \
	345	$(DESTDIR)$(BINDIR)/cocci-send-email.perl
	346
8ba84ae2 C	347	install-python:
	348	mkdir -p $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
	349	$(INSTALL_DATA) python/coccilib/*.py \
	350	$(DESTDIR)$(SHAREDIR)/python/coccilib
	351	$(INSTALL_DATA) python/coccilib/coccigui/*.py \
	352	$(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
b1b2de81 C	353	$(INSTALL_DATA) python/coccilib/coccigui/pygui.glade \
	354	$(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
	355	$(INSTALL_DATA) python/coccilib/coccigui/pygui.gladep \
	356	$(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
90aeb998 C	357	if [ -f pycaml/dllpycaml_stubs.so ]; then \
90aeb998 C	358	$(INSTALL_LIB) pycaml/dllpycaml_stubs.so $(DESTDIR)$(LIBDIR) ; fi
8ba84ae2	359
951c7801	360	install: install-common
b1b2de81 C	361	@if test -x spatch -a ! -x spatch.opt ; then \
	362	$(MAKE) install-byte;fi
	363	@if test ! -x spatch -a -x spatch.opt ; then \
	364	$(MAKE) install-def; $(MAKE) install-opt;fi
	365	@if test -x spatch -a -x spatch.opt ; then \
	366	$(MAKE) install-byte; $(MAKE) install-opt;fi
	367	@if test ! -x spatch -a ! -x spatch.opt ; then \
	368	echo "\n\n\t==> Run 'make', 'make opt', or both first. <==\n\n";fi
708f4980 C	369	@echo ""
	370	@echo "\tYou can also install spatch by copying the program spatch"
	371	@echo "\t(available in this directory) anywhere you want and"
	372	@echo "\tgive it the right options to find its configuration files."
	373	@echo ""
b1b2de81	374
0708f913	375	# user will use spatch to run spatch.opt (native)
708f4980	376	install-def:
8ba84ae2	377	$(INSTALL_PROGRAM) spatch.opt $(DESTDIR)$(SHAREDIR)
b1b2de81	378	$(INSTALL_PROGRAM) scripts/spatch $(DESTDIR)$(BINDIR)/spatch
0708f913 C	379
0708f913 C	380	# user will use spatch to run spatch (bytecode)
708f4980	381	install-byte:
8ba84ae2	382	$(INSTALL_PROGRAM) spatch $(DESTDIR)$(SHAREDIR)
b1b2de81	383	$(INSTALL_PROGRAM) scripts/spatch.byte $(DESTDIR)$(BINDIR)/spatch
0708f913 C	384
0708f913 C	385	# user will use spatch.opt to run spatch.opt (native)
708f4980	386	install-opt:
8ba84ae2	387	$(INSTALL_PROGRAM) spatch.opt $(DESTDIR)$(SHAREDIR)
b1b2de81	388	$(INSTALL_PROGRAM) scripts/spatch.opt $(DESTDIR)$(BINDIR)/spatch.opt
34e49164 C	389
	390	uninstall:
	391	rm -f $(DESTDIR)$(BINDIR)/spatch
8ba84ae2	392	rm -f $(DESTDIR)$(BINDIR)/spatch.opt
34e49164	393	rm -f $(DESTDIR)$(LIBDIR)/dllpycaml_stubs.so
90aeb998 C	394	rm -f $(DESTDIR)$(SHAREDIR)/spatch
90aeb998 C	395	rm -f $(DESTDIR)$(SHAREDIR)/spatch.opt
34e49164 C	396	rm -f $(DESTDIR)$(SHAREDIR)/standard.h
34e49164 C	397	rm -f $(DESTDIR)$(SHAREDIR)/standard.iso
174d1640	398	rm -f $(DESTDIR)$(SHAREDIR)/ocaml/coccilib.cmi
413ffc02	399	rm -f $(DESTDIR)$(SHAREDIR)/parsing_c/*.cmi
ca417fcf C	400	rm -f $(DESTDIR)$(SHAREDIR)/commons/*.cmi
ca417fcf C	401	rm -f $(DESTDIR)$(SHAREDIR)/globals/*.cmi
90aeb998 C	402	rm -f $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui/*
	403	rm -f $(DESTDIR)$(SHAREDIR)/python/coccilib/*.py
	404	rmdir --ignore-fail-on-non-empty -p \
	405	$(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
ca417fcf C	406	rmdir $(DESTDIR)$(SHAREDIR)/globals
	407	rmdir $(DESTDIR)$(SHAREDIR)/commons
	408	rmdir $(DESTDIR)$(SHAREDIR)/parsing_c
	409	rmdir $(DESTDIR)$(SHAREDIR)/ocaml
	410	rmdir $(DESTDIR)$(SHAREDIR)
faf9a90c	411	rm -f $(DESTDIR)$(MANDIR)/man1/spatch.1
34e49164	412
aba5c457 C	413	uninstall-bash:
	414	rm -f $(DESTDIR)$(BASH_COMPLETION_DIR)/spatch
	415	rmdir --ignore-fail-on-non-empty -p \
	416	$(DESTDIR)$(BASH_COMPLETION_DIR)
	417
c491d8ee C	418	uninstall-tools:
	419	rm -f $(DESTDIR)$(BINDIR)/splitpatch
	420	rm -f $(DESTDIR)$(BINDIR)/cocci-send-email.perl
	421
34e49164	422	version:
951c7801	423	@echo "spatch $(VERSION)"
c3e37e97	424	@echo "spatch $(PKGVERSION) ($(DISTRIB_ID))"
951c7801	425	@echo "coccicheck $(CCVERSION)"
34e49164 C	426
	427
	428	##############################################################################
5636bb2c	429	# Deb package (for Ubuntu) and release rules
34e49164 C	430	##############################################################################
34e49164 C	431
5636bb2c	432	include Makefile.release
c3e37e97	433
34e49164 C	434	##############################################################################
	435	# Developer rules
	436	##############################################################################
	437
7f004419 C	438	-include Makefile.dev
7f004419 C	439
34e49164 C	440	test: $(TARGET)
	441	./$(TARGET) -testall
	442
	443	testparsing:
	444	./$(TARGET) -D standard.h -parse_c -dir tests/
	445
	446
	447
faf9a90c C	448	# -inline 0 to see all the functions in the profile.
faf9a90c C	449	# Can also use the profile framework in commons/ and run your program
34e49164 C	450	# with -profile.
	451	forprofiling:
	452	$(MAKE) OPTFLAGS="-p -inline 0 " opt
	453
	454	clean::
faf9a90c	455	rm -f gmon.out
34e49164 C	456
	457	tags:
	458	otags -no-mli-tags -r .
	459
	460	dependencygraph:
951c7801	461	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
485bce71	462	ocamldot -lr /tmp/dependfull.depend > /tmp/dependfull.dot
34e49164	463	dot -Tps /tmp/dependfull.dot > /tmp/dependfull.ps
485bce71	464	ps2pdf /tmp/dependfull.ps /tmp/dependfull.pdf
34e49164 C	465
	466	##############################################################################
	467	# Misc rules
	468	##############################################################################
	469
faf9a90c	470	# each member of the project can have its own test.ml. this file is
34e49164	471	# not under CVS.
faf9a90c	472	test.ml:
34e49164 C	473	echo "let foo_ctl () = failwith \"there is no foo_ctl formula\"" \
	474	> test.ml
	475
	476	beforedepend:: test.ml
	477
	478
	479	#INC=$(dir $(shell which ocaml))
	480	#INCX=$(INC:/=)
	481	#INCY=$(dir $(INCX))
	482	#INCZ=$(INCY:/=)/lib/ocaml
	483	#
	484	#prim.o: prim.c
	485	# gcc -c -o prim.o -I $(INCZ) prim.c
	486
	487
	488	##############################################################################
	489	# Generic ocaml rules
	490	##############################################################################
	491
	492	.SUFFIXES: .ml .mli .cmo .cmi .cmx
	493
	494	.ml.cmo:
	495	$(OCAMLC) -c $<
	496	.mli.cmi:
	497	$(OCAMLC) -c $<
	498	.ml.cmx:
	499	$(OCAMLOPT) -c $<
	500
faf9a90c	501	.ml.mldepend:
34e49164 C	502	$(OCAMLC) -i $<
	503
	504	clean::
	505	rm -f .cm[iox] .o *.annot
34e49164 C	506	rm -f ~ .~ .exe ##
34e49164 C	507
b1b2de81 C	508	distclean:: clean
	509	set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i $@; done
	510	rm -f .depend
	511	rm -f Makefile.config
b23ff9c7	512	rm -f globals/config.ml test.ml
b1b2de81 C	513	rm -f TAGS
	514	rm -f tests/SCORE_actual.sexp
	515	rm -f tests/SCORE_best_of_both.sexp
	516	find -name ".#1." \| xargs rm -f
	517
34e49164 C	518	beforedepend::
	519
	520	depend:: beforedepend
	521	$(OCAMLDEP) .mli .ml > .depend
b1b2de81 C	522	set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i $@; done
	523
	524	.depend::
	525	@if [ ! -f .depend ] ; then $(MAKE) depend ; fi
34e49164 C	526
34e49164 C	527	-include .depend