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.
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.
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.
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/>.
17 # The authors reserve the right to distribute this or future versions of
18 # Coccinelle under other licenses.
21 #############################################################################
22 # Configuration section
23 #############################################################################
25 -include Makefile.config
27 VERSION=$(shell cat globals/config.ml |grep version |perl -p -e 's/.*"(.*)".*/$$1/;')
29 ##############################################################################
31 ##############################################################################
34 SRC=flag_cocci.ml cocci.ml testing.ml test.ml main.ml
37 ifeq ($(FEATURE_PYTHON),1)
38 PYCMA=pycaml/pycaml.cma
40 PYLIB=dllpycaml_stubs.so
41 # the following is essential for Coccinelle to compile under gentoo (wierd)
42 OPTLIBFLAGS=-cclib dllpycaml_stubs.so
51 SYSLIBS=str.cma unix.cma
52 LIBS=commons/commons.cma globals/globals.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
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
63 ##############################################################################
65 ##############################################################################
67 INCLUDES=$(INCLUDEDIRS:%=-I %)
70 OPTOBJS= $(SRC:.ml=.cmx)
74 ##############################################################################
75 # Generic ocaml variables
76 ##############################################################################
78 OCAMLCFLAGS= #-g -dtypes # -w A
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.
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
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.
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)
101 # can also be set via 'make static'
102 STATIC= #-ccopt -static
104 # can also be unset via 'make purebytecode'
105 BYTECODE_STATIC=-custom
107 ##############################################################################
109 ##############################################################################
110 .PHONY: all all.opt opt top clean configure
111 .PHONY: $(MAKESUBDIRS) $(MAKESUBDIRS:%=%.opt) subdirs subdirs.opt
125 +for D in $(MAKESUBDIRS); do make $$D ; done
128 +for D in $(MAKESUBDIRS); do make $$D.opt ; done
131 $(MAKE) -C $@ OCAMLCFLAGS="$(OCAMLCFLAGS)" all
133 $(MAKESUBDIRS:%=%.opt):
134 $(MAKE) -C $(@:%.opt=%) OCAMLCFLAGS="$(OCAMLCFLAGS)" all.opt
139 # parsing_cocci:globals menhirlib
140 # parsing_c:parsing_cocci
141 # ctl:globals commons
142 # engine: parsing_cocci parsing_c ctl
144 # extra: parsing_cocci parsing_c ctl
146 # python:pycaml parsing_cocci parsing_c
151 # parsing_cocci.opt:globals.opt menhirlib.opt
152 # parsing_c.opt:parsing_cocci.opt
153 # ctl.opt:globals.opt commons.opt
154 # engine.opt: parsing_cocci.opt parsing_c.opt ctl.opt
155 # popl09.opt:engine.opt
156 # extra.opt: parsing_cocci.opt parsing_c.opt ctl.opt
158 # python.opt:pycaml.opt parsing_cocci.opt parsing_c.opt
161 set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i clean; done
166 $(LIBS): #$(MAKESUBDIRS)
167 $(LIBS:.cma=.cmxa): #$(MAKESUBDIRS:%=%.opt)
170 $(OPTOBJS):$(LIBS:.cma=.cmxa)
172 $(EXEC): $(LIBS) $(OBJS)
173 $(OCAMLC) $(BYTECODE_STATIC) -o $@ $(SYSLIBS) $^
175 $(EXEC).opt: $(LIBS:.cma=.cmxa) $(OPTOBJS)
176 $(OCAMLOPT) $(STATIC) -o $@ $(SYSLIBS:.cma=.cmxa) $(OPTLIBFLAGS) $^
178 $(EXEC).top: $(LIBS) $(OBJS)
179 $(OCAMLMKTOP) -custom -o $@ $(SYSLIBS) $^
182 rm -f $(TARGET) $(TARGET).opt $(TARGET).top
185 rm -f dllpycaml_stubs.so
188 .PHONY: tools all configure
193 $(MAKE) -C tools clean
197 rm -f spatch.opt spatch
198 $(MAKE) STATIC="-ccopt -static" spatch.opt
202 rm -f spatch.opt spatch
203 $(MAKE) BYTECODE_STATIC="" spatch
206 ##############################################################################
208 ##############################################################################
210 # don't remove DESTDIR, it can be set by package build system like ebuild
212 mkdir -p $(DESTDIR)$(BINDIR)
213 mkdir -p $(DESTDIR)$(LIBDIR)
214 mkdir -p $(DESTDIR)$(SHAREDIR)
215 mkdir -p $(DESTDIR)$(MANDIR)/man1
216 cp spatch $(DESTDIR)$(BINDIR)
217 cp standard.h $(DESTDIR)$(SHAREDIR)
218 cp standard.iso $(DESTDIR)$(SHAREDIR)
219 cp docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/
220 mkdir -p $(DESTDIR)$(SHAREDIR)/python
221 cp -a python/coccilib $(DESTDIR)$(SHAREDIR)/python
222 cp -f dllpycaml_stubs.so $(DESTDIR)$(LIBDIR)
224 @echo "You can also install spatch by copying the program spatch"
225 @echo "(available in this directory) anywhere you want and"
226 @echo "give it the right options to find its configuration files."
229 rm -f $(DESTDIR)$(BINDIR)/spatch
230 rm -f $(DESTDIR)$(LIBDIR)/dllpycaml_stubs.so
231 rm -f $(DESTDIR)$(SHAREDIR)/standard.h
232 rm -f $(DESTDIR)$(SHAREDIR)/standard.iso
233 rm -rf $(DESTDIR)$(SHAREDIR)/python/coccilib
234 rm -f $(DESTDIR)$(MANDIR)/man1/spatch.1
242 ##############################################################################
244 ##############################################################################
246 PACKAGE=coccinelle-$(VERSION)
248 BINSRC=spatch env.sh env.csh standard.h standard.iso \
250 demos/foo.* demos/simple.*
251 # $(PYLIB) python/coccilib/ demos/printloc.*
252 BINSRC2=$(BINSRC:%=$(PACKAGE)/%)
255 OCAMLVERSION=$(shell ocaml -version |perl -p -e 's/.*version (.*)/$$1/;')
257 # Procedure to do first time:
259 # cvs checkout coccinelle
264 # remember to comment the -g -dtypes in this Makefile
266 # Procedure to do each time:
268 # make sure that ocaml is the distribution ocaml of /usr/bin, not ~pad/...
269 # modify globals/config.ml
270 # cd globals/; cvs commit -m"new version" (do not commit from the root!)
271 # ./configure --without-python
274 # Check that run an ocaml in /usr/bin
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.
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.
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'.
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-vcs $(PACKAGE)
301 rm -rf $(TMP)/$(PACKAGE)
305 rm -f $(TMP)/$(PACKAGE)
306 ln -s `pwd` $(TMP)/$(PACKAGE)
307 cd $(TMP); tar cvfz $(PACKAGE)-bin-x86.tgz --exclude-vcs $(BINSRC2)
308 rm -f $(TMP)/$(PACKAGE)
310 staticbintar: all.opt
311 rm -f $(TMP)/$(PACKAGE)
312 ln -s `pwd` $(TMP)/$(PACKAGE)
314 cd $(TMP); tar cvfz $(PACKAGE)-bin-x86-static.tgz --exclude-vcs $(BINSRC2)
315 rm -f $(TMP)/$(PACKAGE)
317 # add ocaml version in name ?
319 rm -f $(TMP)/$(PACKAGE)
320 ln -s `pwd` $(TMP)/$(PACKAGE)
322 cd $(TMP); tar cvfz $(PACKAGE)-bin-bytecode-$(OCAMLVERSION).tgz --exclude-vcs $(BINSRC2)
323 rm -f $(TMP)/$(PACKAGE)
327 rm -f $(PACKAGE)-bin-x86.tgz
328 rm -f $(PACKAGE)-bin-x86-static.tgz
329 rm -f $(PACKAGE)-bin-bytecode-$(OCAMLVERSION).tgz
333 TOLICENSIFY=ctl engine parsing_cocci popl popl09 python
335 ocaml tools/licensify.ml
336 set -e; for i in $(TOLICENSIFY); do cd $$i; ocaml ../tools/licensify.ml; cd ..; done
338 # When checking out the source from diku sometimes I have some "X in the future"
341 echo do 'touch **/*.*'
345 # echo do 'rm -rf **/CVS'
348 @echo $(OCAMLVERSION)
351 ##############################################################################
353 ##############################################################################
355 #TOP=/home/pad/mobile/project-coccinelle
356 WEBSITE=/home/pad/mobile/homepage/software/project-coccinelle
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 rm -f $(WEBSITE)/LATEST* $(WEBSITE)/coccinelle-latest.tgz
364 cd $(WEBSITE); touch LATEST_IS_$(VERSION); ln -s $(PACKAGE).tgz coccinelle-latest.tgz
367 #TXT=$(wildcard *.txt)
369 # unison ~/public_html/wiki/wiki-LFS/data/pages/ docs/wiki/
370 # set -e; for i in $(TXT); do unison $$i docs/wiki/$$i; done
373 # @echo pull from ~/public_html/darcs/c-coccinelle and c-commons and lib-xxx
375 DARCSFORESTS=commons \
376 parsing_c parsing_cocci engine
380 set -e; for i in $(DARCSFORESTS); do cd $$i; darcs pull; cd ..; done
384 set -e; for i in $(DARCSFORESTS); do cd $$i; darcs diff -u; cd ..; done
387 ##############################################################################
389 ##############################################################################
395 ./$(TARGET) -D standard.h -parse_c -dir tests/
399 # -inline 0 to see all the functions in the profile.
400 # Can also use the profile framework in commons/ and run your program
403 $(MAKE) OPTFLAGS="-p -inline 0 " opt
409 otags -no-mli-tags -r .
412 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
413 ocamldot -lr /tmp/dependfull.depend > /tmp/dependfull.dot
414 dot -Tps /tmp/dependfull.dot > /tmp/dependfull.ps
415 ps2pdf /tmp/dependfull.ps /tmp/dependfull.pdf
417 ##############################################################################
419 ##############################################################################
421 # each member of the project can have its own test.ml. this file is
424 echo "let foo_ctl () = failwith \"there is no foo_ctl formula\"" \
427 beforedepend:: test.ml
430 #INC=$(dir $(shell which ocaml))
433 #INCZ=$(INCY:/=)/lib/ocaml
436 # gcc -c -o prim.o -I $(INCZ) prim.c
439 ##############################################################################
440 # Generic ocaml rules
441 ##############################################################################
443 .SUFFIXES: .ml .mli .cmo .cmi .cmx
456 rm -f *.cm[iox] *.o *.annot
459 rm -f *~ .*~ *.exe #*#
463 depend:: beforedepend
464 $(OCAMLDEP) *.mli *.ml > .depend
465 set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i depend; done