X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/485bce717a659e363d3bb74bf2ff76f1cd3b0ff7..f537ebc4bbd27866c9ac3e1198b6756ebab7f2ba:/engine/Makefile diff --git a/engine/Makefile b/engine/Makefile index 105528d..6a7fa2c 100644 --- a/engine/Makefile +++ b/engine/Makefile @@ -1,19 +1,21 @@ -# Copyright 2005-2008, Ecole des Mines de Nantes, University of Copenhagen -# Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller +# 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 . -# +# # The authors reserve the right to distribute this or future versions of # Coccinelle under other licenses. @@ -22,6 +24,8 @@ # Variables ############################################################################## #TARGET=matcher +-include ../Makefile.config + TARGET=cocciengine CTLTARGET=engine @@ -37,16 +41,16 @@ SRC= flag_matcher.ml lib_engine.ml pretty_print_engine.ml \ #SRC= flag_matcher.ml \ # c_vs_c.ml cocci_vs_c.ml \ # lib_engine.ml \ -# pattern_c.ml transformation_c.ml +# pattern_c.ml transformation_c.ml #LIBS=../commons/commons.cma ../parsing_c/parsing_c.cma #INCLUDES= -I ../commons -I ../parsing_c INCLUDES = -I ../commons -I ../commons/ocamlextra -I ../globals \ - -I ../ctl -I ../parsing_cocci -I ../parsing_c + -I ../ctl -I ../parsing_cocci -I ../parsing_c LIBS=../commons/commons.cma ../globals/globals.cma \ ../ctl/ctl.cma ../parsing_c/parsing_c.cma ../parsing_cocci/cocci_parser.cma -SYSLIBS= str.cma unix.cma +SYSLIBS= str.cma unix.cma # just to test asttoctl @@ -57,7 +61,7 @@ SYSLIBS= str.cma unix.cma # Generic variables ############################################################################## -#for warning: -w A +#for warning: -w A #for profiling: -p -inline 0 with OCAMLOPT OCAMLCFLAGS ?= -g -dtypes @@ -110,14 +114,16 @@ clean:: .ml.cmx: $(OCAMLOPT) -c $< -.ml.mldepend: +.ml.mldepend: $(OCAMLC) -i $< clean:: rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot -clean:: rm -f *~ .*~ gmon.out #*# +distclean:: + rm -f .depend + beforedepend:: depend:: beforedepend