X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/0708f913629519b5dbc99f68b6f3ea5ab068230c..5427db06e325c3c7c572e2e1ebe88a2fd211641c:/popl09/Makefile diff --git a/popl09/Makefile b/popl09/Makefile index 21bd4ae..db143ea 100644 --- a/popl09/Makefile +++ b/popl09/Makefile @@ -1,19 +1,21 @@ +# 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 +# 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. @@ -33,7 +35,7 @@ INCLUDES = -I ../commons -I ../globals \ -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine #The Caml compilers. -#for warning: -w A +#for warning: -w A #for profiling: -p -inline 0 with OCAMLOPT OCAMLCFLAGS ?= -g -dtypes OCAMLC =ocamlc$(OPTBIN) $(OCAMLCFLAGS) $(INCLUDES) @@ -67,7 +69,7 @@ $(OPTLIB): $(OPTOBJS) # clean rule for LIB.opt clean:: - rm -f $(OPTLIB) $(LIB:.cma=.a) + rm -f $(OPTLIB) $(LIB:.cma=.a) .SUFFIXES: @@ -88,13 +90,13 @@ clean:: # clean rule for others files clean:: rm -f *.cm[iox] *.o *.annot - rm -f *~ .*~ #*# + rm -f *~ .*~ #*# -depend: +depend: $(OCAMLDEP) *.mli *.ml > .depend -#clean:: -# rm -f .depend +distclean:: + rm -f .depend .depend: $(OCAMLDEP) $(INCLUDE_PATH) *.mli *.ml > .depend