[bpt/coccinelle.git] / .#Makefile.1.117

# 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 |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 (wierd)
OPTLIBFLAGS=-cclib dllpycaml_stubs.so
else
PYCMA=
PYDIR=
PYLIB=
OPTLIBFLAGS=
endif


SYSLIBS=str.cma unix.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 $(PYCMA) python/coccipython.cma

MAKESUBDIRS=commons globals menhirlib $(PYDIR) ctl parsing_cocci parsing_c \
 engine popl09 extra python
INCLUDEDIRS=commons commons/ocamlextra globals menhirlib $(PYDIR) ctl \
 parsing_cocci parsing_c engine popl09 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.
OPTFLAGS=
# the following is essential for Coccinelle to compile under gentoo
# but is now defined above in this file
#OPTLIBFLAGS=-cclib dllpycaml_stubs.so

# the OPTBIN variable is here to allow to use ocamlc.opt instead of 
# ocaml, when it is available, which speeds up compilation. So
# if you want the fast version of the ocaml chain tools, set this var 
# or setenv it to ".opt" in your startup script.
OPTBIN= #.opt

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
##############################################################################
all: subdirs
opt: subdirs.opt
all.opt: opt
top: $(EXEC).top

.PHONY: $(MAKESUBDIRS) $(MAKESUBDIRS:%=%.opt)

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

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

commons:
globals:
menhirlib:
parsing_cocci: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

commons.opt:
globals.opt:
menhirlib.opt:
parsing_cocci.opt:globals.opt menhirlib.opt
parsing_c.opt:parsing_cocci.opt
ctl.opt:globals.opt commons.opt
engine.opt: parsing_cocci.opt parsing_c.opt ctl.opt
popl09.opt:engine.opt
extra.opt: parsing_cocci.opt parsing_c.opt ctl.opt
pycaml.opt:
python.opt:pycaml.opt parsing_cocci.opt parsing_c.opt

#	set -e; for i in $(MAKESUBDIRS); \
#	do $(MAKE) -C $$i OCAMLCFLAGS="$(OCAMLCFLAGS)" all; done 
#
#rec.opt:
#	set -e; for i in $(MAKESUBDIRS); \
#	do $(MAKE) -C $$i OCAMLCFLAGS="$(OCAMLCFLAGS)" all.opt; done 
clean::
	set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i clean; done 

configure:
	./configure

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

subdirs: 
	echo "$(SRC:.ml=.cmi): $(MAKESUBDIRS)" > .subdirs
	$(MAKE) $(EXEC)

subdirs.opt:
	echo "$(SRC:.ml=.cmi): $(MAKESUBDIRS:%=%.opt)" > .subdirs
	$(MAKE) $(EXEC).opt

-include .subdirs

$(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 all configure

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


##############################################################################
# Install
##############################################################################

# don't remove DESTDIR, it can be set by package build system like ebuild
install: all
	mkdir -p $(DESTDIR)$(BINDIR)
	mkdir -p $(DESTDIR)$(LIBDIR)
	mkdir -p $(DESTDIR)$(SHAREDIR)
	mkdir -p $(DESTDIR)$(MANDIR)/man1
	cp spatch $(DESTDIR)$(BINDIR)	
	cp standard.h $(DESTDIR)$(SHAREDIR)
	cp standard.iso $(DESTDIR)$(SHAREDIR)
	cp docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/
	mkdir -p $(DESTDIR)$(SHAREDIR)/python
	cp -a python/coccilib $(DESTDIR)$(SHAREDIR)/python
	cp -f dllpycaml_stubs.so $(DESTDIR)$(LIBDIR)	
	@echo ""
	@echo "You can also install spatch by copying the program spatch"
	@echo "(available in this directory) anywhere you want and"
	@echo "give it the right options to find its configuration files."

uninstall:
	rm -f $(DESTDIR)$(BINDIR)/spatch
	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/* \
       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

# Procedure to do each time:
#  cvs update
#  ./configure --without-python
#  make package
#  make website
# Check also 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 
	make bintar 
	make staticbintar 
	make bytecodetar

# I currently pre-generate the parser so the user does not have to 
# install menhir on his machine. I also do a few cleanups like 'rm todo_pos'.
# You may have first to do a 'make licensify'.
srctar:
	make clean
	cp -a .  $(TMP)/$(PACKAGE)
	cd $(TMP)/$(PACKAGE); cd parsing_cocci/; make parser_cocci_menhir.ml
	cd $(TMP)/$(PACKAGE); rm todo_pos
	cd $(TMP); tar cvfz $(PACKAGE).tgz  --exclude=CVS  $(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=CVS $(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=CVS $(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=CVS $(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 popl popl09 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)


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


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

clean::
	rm -f *~ .*~ *.exe #*#

beforedepend::

depend:: beforedepend
	$(OCAMLDEP) *.mli *.ml > .depend
	set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i depend; done

-include .depend
Commit	Line	Data
faf9a90c C	1	# Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
	2	# Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller
	3	# This file is part of Coccinelle.
	4	#
	5	# Coccinelle is free software: you can redistribute it and/or modify
	6	# it under the terms of the GNU General Public License as published by
	7	# the Free Software Foundation, according to version 2 of the License.
	8	#
	9	# Coccinelle is distributed in the hope that it will be useful,
	10	# but WITHOUT ANY WARRANTY; without even the implied warranty of
	11	# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	12	# GNU General Public License for more details.
	13	#
	14	# You should have received a copy of the GNU General Public License
	15	# along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
	16	#
	17	# The authors reserve the right to distribute this or future versions of
	18	# Coccinelle under other licenses.
	19
	20
	21	#############################################################################
	22	# Configuration section
	23	#############################################################################
	24
	25	-include Makefile.config
	26
	27	VERSION=$(shell cat globals/config.ml \|grep version \|perl -p -e 's/."(.)".*/$$1/;')
	28
	29	##############################################################################
	30	# Variables
	31	##############################################################################
	32	TARGET=spatch
	33
	34	SRC=flag_cocci.ml cocci.ml testing.ml test.ml main.ml
	35
	36
	37	ifeq ($(FEATURE_PYTHON),1)
	38	PYCMA=pycaml/pycaml.cma
	39	PYDIR=pycaml
	40	PYLIB=dllpycaml_stubs.so
	41	# the following is essential for Coccinelle to compile under gentoo (wierd)
	42	OPTLIBFLAGS=-cclib dllpycaml_stubs.so
	43	else
	44	PYCMA=
	45	PYDIR=
	46	PYLIB=
	47	OPTLIBFLAGS=
	48	endif
	49
	50
	51	SYSLIBS=str.cma unix.cma
	52	LIBS=commons/commons.cma globals/globals.cma\
	53	ctl/ctl.cma \
	54	parsing_cocci/cocci_parser.cma parsing_c/parsing_c.cma \
	55	engine/cocciengine.cma popl09/popl.cma \
	56	extra/extra.cma $(PYCMA) python/coccipython.cma
	57
	58	MAKESUBDIRS=commons globals menhirlib $(PYDIR) ctl parsing_cocci parsing_c \
	59	engine popl09 extra python
	60	INCLUDEDIRS=commons commons/ocamlextra globals menhirlib $(PYDIR) ctl \
	61	parsing_cocci parsing_c engine popl09 extra python
	62
	63	##############################################################################
	64	# Generic variables
65	##############################################################################
66
67	INCLUDES=$(INCLUDEDIRS:%=-I %)
68
69	OBJS= $(SRC:.ml=.cmo)
70	OPTOBJS= $(SRC:.ml=.cmx)
71
72	EXEC=$(TARGET)
73
74	##############################################################################
75	# Generic ocaml variables
76	##############################################################################
77
78	OCAMLCFLAGS= #-g -dtypes # -w A
79
80	# for profiling add -p -inline 0
81	# but 'make forprofiling' below does that for you.
82	# This flag is also used in subdirectories so don't change its name here.
83	OPTFLAGS=
84	# the following is essential for Coccinelle to compile under gentoo
85	# but is now defined above in this file
86	#OPTLIBFLAGS=-cclib dllpycaml_stubs.so
87
88	# the OPTBIN variable is here to allow to use ocamlc.opt instead of
89	# ocaml, when it is available, which speeds up compilation. So
90	# if you want the fast version of the ocaml chain tools, set this var
91	# or setenv it to ".opt" in your startup script.
92	OPTBIN= #.opt
93
94	OCAMLC=ocamlc$(OPTBIN) $(OCAMLCFLAGS) $(INCLUDES)
95	OCAMLOPT=ocamlopt$(OPTBIN) $(OPTFLAGS) $(INCLUDES)
96	OCAMLLEX=ocamllex #-ml # -ml for debugging lexer, but slightly slower
97	OCAMLYACC=ocamlyacc -v
98	OCAMLDEP=ocamldep #$(INCLUDES)
99	OCAMLMKTOP=ocamlmktop -g -custom $(INCLUDES)
100
101	# can also be set via 'make static'
102	STATIC= #-ccopt -static
103
104	# can also be unset via 'make purebytecode'
105	BYTECODE_STATIC=-custom
106
107	##############################################################################
108	# Top rules
109	##############################################################################
110	all: subdirs
111	opt: subdirs.opt
112	all.opt: opt
113	top: $(EXEC).top
114
115	.PHONY: $(MAKESUBDIRS) $(MAKESUBDIRS:%=%.opt)
116
117	$(MAKESUBDIRS):
118	$(MAKE) -C $@ OCAMLCFLAGS="$(OCAMLCFLAGS)" all
119
120	$(MAKESUBDIRS:%=%.opt):
121	$(MAKE) -C $(@:%.opt=%) OCAMLCFLAGS="$(OCAMLCFLAGS)" all.opt
122
123	commons:
124	globals:
125	menhirlib:
126	parsing_cocci:globals menhirlib
127	parsing_c:parsing_cocci
128	ctl:globals commons
129	engine: parsing_cocci parsing_c ctl
130	popl09:engine
131	extra: parsing_cocci parsing_c ctl
132	pycaml:
133	python:pycaml parsing_cocci parsing_c
134
135	commons.opt:
136	globals.opt:
137	menhirlib.opt:
138	parsing_cocci.opt:globals.opt menhirlib.opt
139	parsing_c.opt:parsing_cocci.opt
140	ctl.opt:globals.opt commons.opt
141	engine.opt: parsing_cocci.opt parsing_c.opt ctl.opt
142	popl09.opt:engine.opt
143	extra.opt: parsing_cocci.opt parsing_c.opt ctl.opt
144	pycaml.opt:
145	python.opt:pycaml.opt parsing_cocci.opt parsing_c.opt
146
147	# set -e; for i in $(MAKESUBDIRS); \
148	# do $(MAKE) -C $$i OCAMLCFLAGS="$(OCAMLCFLAGS)" all; done
149	#
150	#rec.opt:
151	# set -e; for i in $(MAKESUBDIRS); \
152	# do $(MAKE) -C $$i OCAMLCFLAGS="$(OCAMLCFLAGS)" all.opt; done
153	clean::
154	set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i clean; done
155
156	configure:
157	./configure
158
159	$(LIBS): $(MAKESUBDIRS)
160	$(LIBS:.cma=.cmxa): $(MAKESUBDIRS:%=%.opt)
161
162	subdirs:
163	echo "$(SRC:.ml=.cmi): $(MAKESUBDIRS)" > .subdirs
164	$(MAKE) $(EXEC)
165
166	subdirs.opt:
167	echo "$(SRC:.ml=.cmi): $(MAKESUBDIRS:%=%.opt)" > .subdirs
168	$(MAKE) $(EXEC).opt
169
170	-include .subdirs
171
172	$(OBJS):$(LIBS)
173	$(OPTOBJS):$(LIBS:.cma=.cmxa)
174
175	$(EXEC): $(LIBS) $(OBJS)
176	$(OCAMLC) $(BYTECODE_STATIC) -o $@ $(SYSLIBS) $^
177
178	$(EXEC).opt: $(LIBS:.cma=.cmxa) $(OPTOBJS)
179	$(OCAMLOPT) $(STATIC) -o $@ $(SYSLIBS:.cma=.cmxa) $(OPTLIBFLAGS) $^
180
181	$(EXEC).top: $(LIBS) $(OBJS)
182	$(OCAMLMKTOP) -custom -o $@ $(SYSLIBS) $^
183
184	clean::
185	rm -f $(TARGET) $(TARGET).opt $(TARGET).top
186
187	clean::
188	rm -f dllpycaml_stubs.so
189
190
191	.PHONY: tools all configure
192
193	tools:
194	$(MAKE) -C tools
195	clean::
196	$(MAKE) -C tools clean
197
198
199	static:
200	rm -f spatch.opt spatch
201	$(MAKE) STATIC="-ccopt -static" spatch.opt
202	cp spatch.opt spatch
203
204	purebytecode:
205	rm -f spatch.opt spatch
206	$(MAKE) BYTECODE_STATIC="" spatch
207
208
209	##############################################################################
210	# Install
211	##############################################################################
212
213	# don't remove DESTDIR, it can be set by package build system like ebuild
214	install: all
215	mkdir -p $(DESTDIR)$(BINDIR)
216	mkdir -p $(DESTDIR)$(LIBDIR)
217	mkdir -p $(DESTDIR)$(SHAREDIR)
218	mkdir -p $(DESTDIR)$(MANDIR)/man1
219	cp spatch $(DESTDIR)$(BINDIR)
220	cp standard.h $(DESTDIR)$(SHAREDIR)
221	cp standard.iso $(DESTDIR)$(SHAREDIR)
222	cp docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/
223	mkdir -p $(DESTDIR)$(SHAREDIR)/python
224	cp -a python/coccilib $(DESTDIR)$(SHAREDIR)/python
225	cp -f dllpycaml_stubs.so $(DESTDIR)$(LIBDIR)
226	@echo ""
227	@echo "You can also install spatch by copying the program spatch"
228	@echo "(available in this directory) anywhere you want and"
229	@echo "give it the right options to find its configuration files."
230
231	uninstall:
232	rm -f $(DESTDIR)$(BINDIR)/spatch
233	rm -f $(DESTDIR)$(LIBDIR)/dllpycaml_stubs.so
234	rm -f $(DESTDIR)$(SHAREDIR)/standard.h
235	rm -f $(DESTDIR)$(SHAREDIR)/standard.iso
236	rm -rf $(DESTDIR)$(SHAREDIR)/python/coccilib
237	rm -f $(DESTDIR)$(MANDIR)/man1/spatch.1
238
239
240
241	version:
242	@echo $(VERSION)
243
244
245	##############################################################################
246	# Package rules
247	##############################################################################
248
249	PACKAGE=coccinelle-$(VERSION)
250
251	BINSRC=spatch env.sh env.csh standard.h standard.iso \
252	.txt docs/ \
253	demos/foo.* demos/simple.*
254	# $(PYLIB) python/coccilib/ demos/printloc.*
255	BINSRC2=$(BINSRC:%=$(PACKAGE)/%)
256
257	TMP=/tmp
258	OCAMLVERSION=$(shell ocaml -version \|perl -p -e 's/.version (.)/$$1/;')
259
260	# Procedure to do first time:
261	# cd ~/release
262	# cvs checkout coccinelle
263	# cd coccinelle
264	# cvs update -d -P
265	# touch */
266	# make licensify
267	# remember to comment the -g -dtypes in this Makefile
268
269	# Procedure to do each time:
270	# cvs update
271	# ./configure --without-python
272	# make package
273	# make website
274	# Check also that run an ocaml in /usr/bin
275
276	# To test you can try compile and run spatch from different instances
277	# like my ~/coccinelle, ~/release/coccinelle, and the /tmp/coccinelle-0.X
278	# downloaded from the website.
279
280	# For 'make srctar' it must done from a clean
281	# repo such as ~/release/coccinelle. It must also be a repo where
282	# the scripts/licensify has been run at least once.
283	# For the 'make bintar' I can do it from my original repo.
284
285
286	package:
287	make srctar
288	make bintar
289	make staticbintar
290	make bytecodetar
291
292	# I currently pre-generate the parser so the user does not have to
293	# install menhir on his machine. I also do a few cleanups like 'rm todo_pos'.
294	# You may have first to do a 'make licensify'.
295	srctar:
296	make clean
297	cp -a . $(TMP)/$(PACKAGE)
298	cd $(TMP)/$(PACKAGE); cd parsing_cocci/; make parser_cocci_menhir.ml
299	cd $(TMP)/$(PACKAGE); rm todo_pos
300	cd $(TMP); tar cvfz $(PACKAGE).tgz --exclude=CVS $(PACKAGE)
301	rm -rf $(TMP)/$(PACKAGE)
302
303
304	bintar: all
305	rm -f $(TMP)/$(PACKAGE)
306	ln -s `pwd` $(TMP)/$(PACKAGE)
307	cd $(TMP); tar cvfz $(PACKAGE)-bin-x86.tgz --exclude=CVS $(BINSRC2)
308	rm -f $(TMP)/$(PACKAGE)
309
310	staticbintar: all.opt
311	rm -f $(TMP)/$(PACKAGE)
312	ln -s `pwd` $(TMP)/$(PACKAGE)
313	make static
314	cd $(TMP); tar cvfz $(PACKAGE)-bin-x86-static.tgz --exclude=CVS $(BINSRC2)
315	rm -f $(TMP)/$(PACKAGE)
316
317	# add ocaml version in name ?
318	bytecodetar: all
319	rm -f $(TMP)/$(PACKAGE)
320	ln -s `pwd` $(TMP)/$(PACKAGE)
321	make purebytecode
322	cd $(TMP); tar cvfz $(PACKAGE)-bin-bytecode-$(OCAMLVERSION).tgz --exclude=CVS $(BINSRC2)
323	rm -f $(TMP)/$(PACKAGE)
324
325	clean::
326	rm -f $(PACKAGE)
327	rm -f $(PACKAGE)-bin-x86.tgz
328	rm -f $(PACKAGE)-bin-x86-static.tgz
329	rm -f $(PACKAGE)-bin-bytecode-$(OCAMLVERSION).tgz
330
331
332
333	TOLICENSIFY=ctl engine parsing_cocci popl popl09 python
334	licensify:
335	ocaml tools/licensify.ml
336	set -e; for i in $(TOLICENSIFY); do cd $$i; ocaml ../tools/licensify.ml; cd ..; done
337
338	# When checking out the source from diku sometimes I have some "X in the future"
339	# error messages.
340	fixdates:
341	echo do 'touch */.*'
342
343	#fixCVS:
344	# cvs update -d -P
345	# echo do 'rm -rf **/CVS'
346
347	ocamlversion:
348	@echo $(OCAMLVERSION)
349
350
351	##############################################################################
352	# Pad specific rules
353	##############################################################################
354
355	#TOP=/home/pad/mobile/project-coccinelle
356	WEBSITE=/home/pad/mobile/homepage/software/project-coccinelle
357
358	website:
359	cp $(TMP)/$(PACKAGE).tgz $(WEBSITE)
360	cp $(TMP)/$(PACKAGE)-bin-x86.tgz $(WEBSITE)
361	cp $(TMP)/$(PACKAGE)-bin-x86-static.tgz $(WEBSITE)
362	cp $(TMP)/$(PACKAGE)-bin-bytecode-$(OCAMLVERSION).tgz $(WEBSITE)
363
364
365	#TXT=$(wildcard *.txt)
366	syncwiki:
367	# unison ~/public_html/wiki/wiki-LFS/data/pages/ docs/wiki/
368	# set -e; for i in $(TXT); do unison $$i docs/wiki/$$i; done
369
370	darcsweb:
371	# @echo pull from ~/public_html/darcs/c-coccinelle and c-commons and lib-xxx
372
373	DARCSFORESTS=commons \
374	parsing_c parsing_cocci engine
375
376	update_darcs:
377	darcs pull
378	set -e; for i in $(DARCSFORESTS); do cd $$i; darcs pull; cd ..; done
379
380	#darcs diff -u
381	diff_darcs:
382	set -e; for i in $(DARCSFORESTS); do cd $$i; darcs diff -u; cd ..; done
383
384
385	##############################################################################
386	# Developer rules
387	##############################################################################
388
389	test: $(TARGET)
390	./$(TARGET) -testall
391
392	testparsing:
393	./$(TARGET) -D standard.h -parse_c -dir tests/
394
395
396
397	# -inline 0 to see all the functions in the profile.
398	# Can also use the profile framework in commons/ and run your program
399	# with -profile.
400	forprofiling:
401	$(MAKE) OPTFLAGS="-p -inline 0 " opt
402
403	clean::
404	rm -f gmon.out
405
406	tags:
407	otags -no-mli-tags -r .
408
409	dependencygraph:
410	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
411	ocamldot -lr /tmp/dependfull.depend > /tmp/dependfull.dot
412	dot -Tps /tmp/dependfull.dot > /tmp/dependfull.ps
413	ps2pdf /tmp/dependfull.ps /tmp/dependfull.pdf
414
415	##############################################################################
416	# Misc rules
417	##############################################################################
418
419	# each member of the project can have its own test.ml. this file is
420	# not under CVS.
421	test.ml:
422	echo "let foo_ctl () = failwith \"there is no foo_ctl formula\"" \
423	> test.ml
424
425	beforedepend:: test.ml
426
427
428	#INC=$(dir $(shell which ocaml))
429	#INCX=$(INC:/=)
430	#INCY=$(dir $(INCX))
431	#INCZ=$(INCY:/=)/lib/ocaml
432	#
433	#prim.o: prim.c
434	# gcc -c -o prim.o -I $(INCZ) prim.c
435
436
437	##############################################################################
438	# Generic ocaml rules
439	##############################################################################
440
441	.SUFFIXES: .ml .mli .cmo .cmi .cmx
442
443	.ml.cmo:
444	$(OCAMLC) -c $<
445	.mli.cmi:
446	$(OCAMLC) -c $<
447	.ml.cmx:
448	$(OCAMLOPT) -c $<
449
450	.ml.mldepend:
451	$(OCAMLC) -i $<
452
453	clean::
454	rm -f .cm[iox] .o *.annot
455
456	clean::
457	rm -f ~ .~ .exe ##
458
459	beforedepend::
460
461	depend:: beforedepend
462	$(OCAMLDEP) .mli .ml > .depend
463	set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i depend; done
464
465	-include .depend