| | 1 | # Copyright 2012, INRIA |
| | 2 | # Julia Lawall, Gilles Muller |
| | 3 | # Copyright 2010-2011, INRIA, University of Copenhagen |
| | 4 | # Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix |
| | 5 | # Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen |
| | 6 | # Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix |
| | 7 | # This file is part of Coccinelle. |
| | 8 | # |
| | 9 | # Coccinelle is free software: you can redistribute it and/or modify |
| | 10 | # it under the terms of the GNU General Public License as published by |
| | 11 | # the Free Software Foundation, according to version 2 of the License. |
| | 12 | # |
| | 13 | # Coccinelle is distributed in the hope that it will be useful, |
| | 14 | # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| | 15 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| | 16 | # GNU General Public License for more details. |
| | 17 | # |
| | 18 | # You should have received a copy of the GNU General Public License |
| | 19 | # along with Coccinelle. If not, see <http://www.gnu.org/licenses/>. |
| | 20 | # |
| | 21 | # The authors reserve the right to distribute this or future versions of |
| | 22 | # Coccinelle under other licenses. |
| | 23 | |
| | 24 | |
| | 25 | ############################################################################# |
| | 26 | # Configuration section |
| | 27 | ############################################################################# |
| | 28 | |
| | 29 | include Makefile.libs |
| | 30 | |
| | 31 | # 'distclean' does not require configure to have run, and should also |
| | 32 | # clean all the bundled directories. Hence, a special case. |
| | 33 | ifeq ($(MAKECMDGOALS),distclean) |
| | 34 | MAKELIBS:=$(dir $(wildcard ./bundles/*/Makefile)) |
| | 35 | else |
| | 36 | ifneq ($(MAKECMDGOALS),configure) |
| | 37 | -include Makefile.config |
| | 38 | endif |
| | 39 | endif |
| | 40 | |
| | 41 | -include /etc/lsb-release |
| | 42 | -include Makefile.override # local customizations, if any |
| | 43 | -include /etc/Makefile.coccinelle # local customizations, if any |
| | 44 | |
| | 45 | |
| | 46 | VERSION=$(shell cat ./version | tr -d '\n') |
| | 47 | CCVERSION=$(shell cat scripts/coccicheck/README | egrep -o '[[:digit:]]+\.[[:digit:]]+\.[[:digit:]]+' | head -n1) |
| | 48 | PKGVERSION=$(shell dpkg-parsechangelog -ldebian/changelog.$(DISTRIB_CODENAME) 2> /dev/null \ |
| | 49 | | sed -n 's/^Version: \(.*\)/\1/p' ) |
| | 50 | |
| | 51 | ############################################################################## |
| | 52 | # Variables |
| | 53 | ############################################################################## |
| | 54 | |
| | 55 | TARGET=spatch |
| | 56 | PRJNAME=coccinelle |
| | 57 | SRC=flag_cocci.ml cocci.ml testing.ml test.ml $(LEXER_SOURCES:.mll=.ml) main.ml |
| | 58 | |
| | 59 | ifeq ($(FEATURE_PYTHON),1) |
| | 60 | PYTHON_INSTALL_TARGET=install-python |
| | 61 | else |
| | 62 | PYTHON_INSTALL_TARGET= |
| | 63 | endif |
| | 64 | |
| | 65 | SYSLIBS=str.cma unix.cma bigarray.cma nums.cma |
| | 66 | LIBS=commons/commons.cma \ |
| | 67 | globals/globals.cma \ |
| | 68 | ctl/ctl.cma \ |
| | 69 | parsing_cocci/cocci_parser.cma parsing_c/parsing_c.cma \ |
| | 70 | engine/cocciengine.cma popl09/popl.cma \ |
| | 71 | extra/extra.cma python/coccipython.cma ocaml/cocciocaml.cma |
| | 72 | |
| | 73 | MAKESUBDIRS=$(MAKELIBS) commons \ |
| | 74 | globals ctl parsing_cocci parsing_c \ |
| | 75 | engine popl09 extra python ocaml |
| | 76 | |
| | 77 | CLEANSUBDIRS=commons \ |
| | 78 | globals ctl parsing_cocci parsing_c \ |
| | 79 | engine popl09 extra python ocaml docs \ |
| | 80 | $(MAKELIBS) |
| | 81 | |
| | 82 | INCLUDEDIRSDEP=commons commons/ocamlextra \ |
| | 83 | globals ctl \ |
| | 84 | parsing_cocci parsing_c engine popl09 extra python ocaml \ |
| | 85 | $(MAKELIBS) |
| | 86 | |
| | 87 | INCLUDEDIRS=$(INCLUDEDIRSDEP) $(PCREDIR) $(INCLIBS) |
| | 88 | |
| | 89 | ############################################################################## |
| | 90 | # Generic variables |
| | 91 | ############################################################################## |
| | 92 | |
| | 93 | # sort to remove duplicates |
| | 94 | INCLUDESET=$(sort $(INCLUDEDIRS)) |
| | 95 | INCLUDES=$(INCLUDESET:%=-I %) |
| | 96 | |
| | 97 | OBJS= $(SRC:.ml=.cmo) |
| | 98 | OPTOBJS= $(SRC:.ml=.cmx) |
| | 99 | |
| | 100 | EXEC=$(TARGET) |
| | 101 | |
| | 102 | ############################################################################## |
| | 103 | # Generic ocaml variables |
| | 104 | ############################################################################## |
| | 105 | |
| | 106 | OCAMLC_CMD=$(OCAMLC) $(OCAMLCFLAGS) $(INCLUDES) |
| | 107 | OCAMLOPT_CMD=$(OCAMLOPT) $(OPTFLAGS) $(INCLUDES) |
| | 108 | OCAMLYACC_CMD=$(OCAMLYACC) -v |
| | 109 | OCAMLDEP_CMD=$(OCAMLDEP) $(INCLUDEDIRSDEP:%=-I %) |
| | 110 | OCAMLMKTOP_CMD=$(OCAMLMKTOP) -g -custom $(INCLUDES) |
| | 111 | |
| | 112 | # these are unused at the moment (todo: remove) |
| | 113 | EXTRA_CFLAGS= # -static -pie -fpie -fPIE -static-libgcc |
| | 114 | EXTRA_OCAML_CFLAGS=$(EXTRA_CFLAGS:%=-ccopt %) |
| | 115 | |
| | 116 | # 'make purebytecode' unsets this definition |
| | 117 | BYTECODE_EXTRA=-custom $(EXTRA_OCAML_FLAGS) |
| | 118 | |
| | 119 | ############################################################################## |
| | 120 | # Top rules |
| | 121 | ############################################################################## |
| | 122 | .PHONY:: all all.opt byte opt top clean distclean configure opt-compil |
| | 123 | .PHONY:: $(MAKESUBDIRS:%=%.all) $(MAKESUBDIRS:%=%.opt) subdirs.all subdirs.opt |
| | 124 | .PHONY:: all-opt all-byte byte-only opt-only pure-byte |
| | 125 | .PHONY:: copy-stubs install-stubs install install-man install-python install-common |
| | 126 | |
| | 127 | |
| | 128 | # below follow the main make targets when ocamlbuild is not enabled |
| | 129 | ifneq ($(FEATURE_OCAMLBUILD),yes) |
| | 130 | |
| | 131 | # All make targets that are expected to be an entry point have a dependency on |
| | 132 | # 'Makefile.config' to ensure that if Makefile.config is not present, an error |
| | 133 | # message is printed first before any other actions are executed. |
| | 134 | # In addition, the targets that actually build something have a dependency on |
| | 135 | # '.depend' and 'version.ml'. |
| | 136 | |
| | 137 | # dispatches to either 'all-dev' or 'all-release' |
| | 138 | all: Makefile.config |
| | 139 | @$(MAKE) .depend |
| | 140 | $(MAKE) $(TARGET_ALL) |
| | 141 | |
| | 142 | # make "all" comes in three flavours |
| | 143 | world: Makefile.config version.ml |
| | 144 | @echo "building both versions of spatch" |
| | 145 | $(MAKE) .depend |
| | 146 | $(MAKE) byte |
| | 147 | $(MAKE) opt-compil |
| | 148 | $(MAKE) preinstall |
| | 149 | $(MAKE) docs |
| | 150 | @echo "" |
| | 151 | @echo -e "\tcoccinelle can now be installed via 'make install'" |
| | 152 | |
| | 153 | # note: the 'all-dev' target excludes the documentation |
| | 154 | all-dev: Makefile.config version.ml |
| | 155 | @$(MAKE) .depend |
| | 156 | @echo "building the unoptimized version of spatch" |
| | 157 | $(MAKE) byte |
| | 158 | @$(MAKE) preinstall |
| | 159 | @echo "" |
| | 160 | @echo -e "\tcoccinelle can now be installed via 'make install'" |
| | 161 | |
| | 162 | all-release: Makefile.config version.ml |
| | 163 | @echo building $(TARGET_SPATCH) |
| | 164 | $(MAKE) .depend |
| | 165 | $(MAKE) $(TARGET_SPATCH) |
| | 166 | $(MAKE) preinstall |
| | 167 | $(MAKE) docs |
| | 168 | @echo "" |
| | 169 | @echo -e "\tcoccinelle can now be installed via 'make install'" |
| | 170 | |
| | 171 | all.opt: Makefile.config |
| | 172 | @$(MAKE) .depend |
| | 173 | $(MAKE) opt-only |
| | 174 | $(MAKE) preinstall |
| | 175 | |
| | 176 | byte: Makefile.config version.ml |
| | 177 | @$(MAKE) .depend |
| | 178 | @$(MAKE) subdirs.all |
| | 179 | @$(MAKE) $(EXEC) |
| | 180 | @echo the compilation of $(EXEC) finished |
| | 181 | @echo $(EXEC) can be installed or used |
| | 182 | |
| | 183 | opt-compil: Makefile.config version.ml |
| | 184 | $(MAKE) .depend |
| | 185 | $(MAKE) subdirs.opt BUILD_OPT=yes |
| | 186 | $(MAKE) $(EXEC).opt BUILD_OPT=yes |
| | 187 | @echo the compilation of $(EXEC).opt finished |
| | 188 | @echo $(EXEC).opt can be installed or used |
| | 189 | |
| | 190 | top: $(EXEC).top |
| | 191 | |
| | 192 | # the .cmi file of coccilib |
| | 193 | ocaml/coccilib/coccilib.cmi: ocaml/coccilib.cmi |
| | 194 | cp ocaml/coccilib.cmi ocaml/coccilib/coccilib.cmi |
| | 195 | |
| | 196 | # ocamlbuild version of the main make targets |
| | 197 | else |
| | 198 | |
| | 199 | all: Makefile.config |
| | 200 | $(MAKE) $(TARGET_ALL) |
| | 201 | |
| | 202 | world: Makefile.config myocamlbuild.ml version.ml prepare-bundles |
| | 203 | @echo "building both versions of spatch" |
| | 204 | $(MAKE) byte |
| | 205 | $(MAKE) opt-compil |
| | 206 | @$(MAKE) coccilib-cmi |
| | 207 | $(MAKE) preinstall |
| | 208 | $(MAKE) docs |
| | 209 | @echo "" |
| | 210 | @echo -e "\tcoccinelle can now be installed via 'make install'" |
| | 211 | |
| | 212 | # note: the 'all-dev' target excludes the documentation and is less noisy |
| | 213 | all-dev: Makefile.config myocamlbuild.ml version.ml prepare-bundles |
| | 214 | $(MAKE) byte |
| | 215 | @$(MAKE) coccilib-cmi |
| | 216 | @$(MAKE) preinstall |
| | 217 | |
| | 218 | all-release: Makefile.config myocamlbuild.ml version.ml prepare-bundles |
| | 219 | @echo building $(TARGET_SPATCH) |
| | 220 | $(MAKE) $(TARGET_SPATCH) |
| | 221 | @$(MAKE) coccilib-cmi |
| | 222 | $(MAKE) preinstall |
| | 223 | $(MAKE) docs |
| | 224 | @echo "" |
| | 225 | @echo -e "\tcoccinelle can now be installed via 'make install'" |
| | 226 | |
| | 227 | all.opt: Makefile.config myocamlbuild.ml version.ml prepare-bundles |
| | 228 | $(MAKE) opt-only |
| | 229 | @$(MAKE) coccilib-cmi |
| | 230 | $(MAKE) preinstall |
| | 231 | |
| | 232 | byte: Makefile.config myocamlbuild.ml version.ml prepare-bundles |
| | 233 | $(OCAMLBUILD) -j 0 main.byte |
| | 234 | cp _build/main.byte $(EXEC) |
| | 235 | |
| | 236 | pure-byte: Makefile.config myocamlbuild.ml version.ml prepare-bundles |
| | 237 | $(OCAMLBUILD) -j 0 -tag nocustom main.byte |
| | 238 | cp _build/main.byte $(EXEC) |
| | 239 | |
| | 240 | opt-compil: Makefile.config myocamlbuild.ml version.ml prepare-bundles |
| | 241 | $(OCAMLBUILD) -j 0 main.native |
| | 242 | cp _build/main.native $(EXEC).opt |
| | 243 | |
| | 244 | # the .cmi file of coccilib |
| | 245 | _build/ocaml/coccilib.cmi: |
| | 246 | $(OCAMLBUILD) -j 0 ocaml/coccilib.cmi |
| | 247 | ocaml/coccilib/coccilib.cmi: _build/ocaml/coccilib.cmi |
| | 248 | cp _build/ocaml/coccilib.cmi ocaml/coccilib/coccilib.cmi |
| | 249 | |
| | 250 | # end of main build target distinction on ocamlbuild |
| | 251 | endif |
| | 252 | |
| | 253 | # aliases for "byte" and "opt-compil" |
| | 254 | opt opt-only: Makefile.config opt-compil |
| | 255 | byte-only: Makefile.config byte |
| | 256 | |
| | 257 | |
| | 258 | # ensures that coccilib.cmi gets build |
| | 259 | .PHONY:: coccilib-cmi |
| | 260 | coccilib-cmi: ocaml/coccilib/coccilib.cmi |
| | 261 | distclean:: |
| | 262 | rm -f ocaml/coccilib/coccilib.cmi |
| | 263 | |
| | 264 | |
| | 265 | subdirs.all: |
| | 266 | @+for D in $(MAKESUBDIRS); do $(MAKE) $$D.all || exit 1 ; done |
| | 267 | |
| | 268 | subdirs.opt: |
| | 269 | @+for D in $(MAKESUBDIRS); do $(MAKE) $$D.opt || exit 1 ; done |
| | 270 | |
| | 271 | $(MAKESUBDIRS:%=%.all): |
| | 272 | @$(MAKE) -C $(@:%.all=%) all |
| | 273 | |
| | 274 | $(MAKESUBDIRS:%=%.opt): |
| | 275 | @$(MAKE) -C $(@:%.opt=%) all.opt |
| | 276 | |
| | 277 | # This make target prepares the bundled software for building. |
| | 278 | # Note that running 'make' in these subdirectories will |
| | 279 | # automatically prepare the bundled software. |
| | 280 | .PHONY:: prepare-bundles |
| | 281 | prepare-bundles: $(MAKELIBS:%=%/.prepare) |
| | 282 | |
| | 283 | $(MAKELIBS:%=%/.prepare): |
| | 284 | echo $@ |
| | 285 | @$(MAKE) -C $(@:%.prepare=%) .prepare |
| | 286 | |
| | 287 | #dependencies: |
| | 288 | # commons: |
| | 289 | # globals: |
| | 290 | # menhirLib: |
| | 291 | # parsing_cocci: commons globals menhirLib |
| | 292 | # parsing_c:parsing_cocci |
| | 293 | # ctl:globals commonsg |
| | 294 | # engine: parsing_cocci parsing_c ctl |
| | 295 | # popl09:engine |
| | 296 | # extra: parsing_cocci parsing_c ctl |
| | 297 | # pycaml: |
| | 298 | # python:pycaml parsing_cocci parsing_c |
| | 299 | |
| | 300 | clean:: Makefile.config |
| | 301 | @set -e; for i in $(CLEANSUBDIRS); do $(MAKE) -C $$i $@; done |
| | 302 | @$(MAKE) -C demos/spp $@ |
| | 303 | |
| | 304 | $(LIBS): $(MAKESUBDIRS:%=%.all) |
| | 305 | $(LIBS:.cma=.cmxa): $(MAKESUBDIRS:%=%.opt) |
| | 306 | $(LNKLIBS) : $(MAKESUBDIRS:%=%.all) |
| | 307 | $(LNKOPTLIBS) : $(MAKESUBDIRS:%=%.opt) |
| | 308 | |
| | 309 | $(OBJS):$(LIBS) |
| | 310 | $(OPTOBJS):$(LIBS:.cma=.cmxa) |
| | 311 | |
| | 312 | $(EXEC): $(LNKLIBS) $(LIBS) $(OBJS) |
| | 313 | $(OCAMLC_CMD) $(BYTECODE_EXTRA) $(FLAGSLIBS) -o $@ $(SYSLIBS) $^ |
| | 314 | |
| | 315 | $(EXEC).opt: $(OPTLNKLIBS) $(LIBS:.cma=.cmxa) $(OPTOBJS) |
| | 316 | $(OCAMLOPT_CMD) $(OPTFLAGSLIBS) -o $@ $(SYSLIBS:.cma=.cmxa) $^ |
| | 317 | |
| | 318 | $(EXEC).top: $(LNKLIBS) $(LIBS) $(OBJS) |
| | 319 | $(OCAMLMKTOP_CMD) -custom -o $@ $(SYSLIBS) $(FLAGSLIBS) $^ |
| | 320 | |
| | 321 | clean distclean:: |
| | 322 | rm -f $(TARGET) $(TARGET).opt $(TARGET).top |
| | 323 | |
| | 324 | clean:: |
| | 325 | @if test -n "${OCAMLBUILD}" -d _build; then \ |
| | 326 | $(OCAMLBUILD) -clean; fi |
| | 327 | |
| | 328 | # distclean can run without ocamlbuild configured. |
| | 329 | distclean:: |
| | 330 | -@if test -d _build; then \ |
| | 331 | ocamlbuild -clean; fi |
| | 332 | rm -rf _build _log |
| | 333 | |
| | 334 | .PHONY:: tools configure |
| | 335 | |
| | 336 | configure: |
| | 337 | ./configure $(CONFIGURE_FLAGS) |
| | 338 | |
| | 339 | # the dependencies on Makefile.config should give a hint to the programmer that |
| | 340 | # configure should be run again |
| | 341 | Makefile.config: Makefile.config.in configure.ac |
| | 342 | @echo "Makefile.config needs to be (re)build. Run ./configure $(CONFIGURE_FLAGS) to generate it." |
| | 343 | @false |
| | 344 | |
| | 345 | # as above, also for the ocamlbuild plugin |
| | 346 | myocamlbuild.ml: myocamlbuild.ml.in configure.ac |
| | 347 | |
| | 348 | tools: $(LIBS) $(LNKLIBS) |
| | 349 | $(MAKE) -C tools |
| | 350 | |
| | 351 | distclean:: |
| | 352 | @if [ -d tools ] ; then $(MAKE) -C tools distclean ; fi |
| | 353 | |
| | 354 | # it seems impossible to pass "-static" unless all dependent |
| | 355 | # libraries are also available as static archives. |
| | 356 | # set $(STATIC) to -static if you have such libraries. |
| | 357 | static: |
| | 358 | rm -f spatch.opt spatch |
| | 359 | $(MAKE) $(STATIC) opt-only |
| | 360 | cp spatch.opt spatch |
| | 361 | |
| | 362 | # creates a portable version of spatch, which, however, may |
| | 363 | # be dependent on non-portably dynamic libraries. You |
| | 364 | # may need the stubs, see 'copy-stubs'. |
| | 365 | purebytecode: |
| | 366 | rm -f spatch.opt spatch |
| | 367 | ifneq ($(FEATURE_OCAMLBUILD),yes) |
| | 368 | $(MAKE) BYTECODE_EXTRA="" byte-only |
| | 369 | else |
| | 370 | @$(MAKE) pure-byte |
| | 371 | endif |
| | 372 | sed -i '1 s,^#!.*$$,#!/usr/bin/ocamlrun,g' spatch |
| | 373 | |
| | 374 | # copies the stubs libraries (if any) to the root directory |
| | 375 | ifneq ($(FEATURE_OCAMLBUILD),yes) |
| | 376 | copy-stubs: |
| | 377 | @if test -f ./bundles/pycaml/dllpycaml_stubs.so; then \ |
| | 378 | cp -fv ./bundles/pycaml/dllpycaml_stubs.so .; fi |
| | 379 | @if test -f ./bundles/pcre/dllpcre_stubs.so; then \ |
| | 380 | cp -fv ./bundles/pcre/dllpcre_stubs.so .; fi |
| | 381 | else |
| | 382 | copy-stubs: |
| | 383 | @if test -f _build/bundles/pycaml/dllpycaml_stubs.so; then \ |
| | 384 | cp -fv _build/bundles/pycaml/dllpycaml_stubs.so .; fi |
| | 385 | @if test -f _build/bundles/pcre/dllpcre_stubs.so; then \ |
| | 386 | cp -fv _build/bundles/pcre/dllpcre_stubs.so .; fi |
| | 387 | endif |
| | 388 | |
| | 389 | ############################################################################## |
| | 390 | # Build version information |
| | 391 | ############################################################################## |
| | 392 | |
| | 393 | version.ml: |
| | 394 | @echo "version.ml is missing. Run ./configure to generate it." |
| | 395 | @false |
| | 396 | |
| | 397 | ############################################################################## |
| | 398 | # Build documentation |
| | 399 | ############################################################################## |
| | 400 | .PHONY:: docs |
| | 401 | |
| | 402 | ifneq ($(FEATURE_OCAMLBUILD),yes) |
| | 403 | docs: |
| | 404 | else |
| | 405 | docs: prepare-bundles |
| | 406 | endif |
| | 407 | @$(MAKE) -C docs || (echo "warning: ignored the failed construction of the manual" 1>&2) |
| | 408 | ifneq ($(FEATURE_OCAMLBUILD),yes) |
| | 409 | @if test "x$(FEATURE_OCAML)" = x1; then \ |
| | 410 | if test -f ./parsing_c/ast_c.cmo -o -f ./parsing_c/ast_c.cmx; then \ |
| | 411 | $(MAKE) -C ocaml doc; \ |
| | 412 | else echo "note: to obtain coccilib documenation, it is required to build 'spatch' first so that ./parsing_c/ast_c.cm* gets build."; \ |
| | 413 | fi fi |
| | 414 | else |
| | 415 | @if test "x$(FEATURE_OCAML)" = x1; then \ |
| | 416 | $(MAKE) -C ocaml doc; fi |
| | 417 | endif |
| | 418 | @echo "finished building manuals" |
| | 419 | |
| | 420 | clean:: Makefile.config |
| | 421 | $(MAKE) -C docs clean |
| | 422 | $(MAKE) -C ocaml cleandoc |
| | 423 | |
| | 424 | ############################################################################## |
| | 425 | # Pre-Install (customization of spatch frontend script) |
| | 426 | ############################################################################## |
| | 427 | |
| | 428 | preinstall: docs/spatch.1 scripts/spatch scripts/spatch.opt scripts/spatch.byte |
| | 429 | |
| | 430 | docs/spatch.1: Makefile.config |
| | 431 | $(MAKE) -C docs spatch.1 |
| | 432 | |
| | 433 | # user will use spatch to run spatch.opt (native) |
| | 434 | scripts/spatch: Makefile.config scripts/spatch.sh |
| | 435 | cp scripts/spatch.sh scripts/spatch |
| | 436 | chmod +x scripts/spatch |
| | 437 | |
| | 438 | # user will use spatch to run spatch (bytecode) |
| | 439 | scripts/spatch.byte: Makefile.config scripts/spatch.sh |
| | 440 | cp scripts/spatch.sh scripts/spatch.byte |
| | 441 | chmod +x scripts/spatch.byte |
| | 442 | |
| | 443 | # user will use spatch.opt to run spatch.opt (native) |
| | 444 | scripts/spatch.opt: Makefile.config scripts/spatch.sh |
| | 445 | cp scripts/spatch.sh scripts/spatch.opt |
| | 446 | chmod +x scripts/spatch.opt |
| | 447 | |
| | 448 | distclean:: |
| | 449 | rm -f scripts/spatch scripts/spatch.byte scripts/spatch.opt |
| | 450 | |
| | 451 | ############################################################################## |
| | 452 | # Install |
| | 453 | ############################################################################## |
| | 454 | |
| | 455 | # don't remove DESTDIR, it can be set by package build system like ebuild |
| | 456 | # for staged installation. |
| | 457 | install-common: ocaml/coccilib/coccilib.cmi |
| | 458 | $(MKDIR_P) $(DESTDIR)$(BINDIR) |
| | 459 | $(MKDIR_P) $(DESTDIR)$(LIBDIR) |
| | 460 | $(MKDIR_P) $(DESTDIR)$(SHAREDIR)/ocaml |
| | 461 | # $(MKDIR_P) $(DESTDIR)$(SHAREDIR)/commons |
| | 462 | # $(MKDIR_P) $(DESTDIR)$(SHAREDIR)/globals |
| | 463 | # $(MKDIR_P) $(DESTDIR)$(SHAREDIR)/parsing_c |
| | 464 | $(INSTALL_DATA) standard.h $(DESTDIR)$(SHAREDIR) |
| | 465 | $(INSTALL_DATA) standard.iso $(DESTDIR)$(SHAREDIR) |
| | 466 | $(INSTALL_DATA) ocaml/coccilib/coccilib.cmi $(DESTDIR)$(SHAREDIR)/ocaml/ |
| | 467 | # $(INSTALL_DATA) parsing_c/*.cmi $(DESTDIR)$(SHAREDIR)/parsing_c/ |
| | 468 | # $(INSTALL_DATA) commons/*.cmi $(DESTDIR)$(SHAREDIR)/commons/ |
| | 469 | # $(INSTALL_DATA) globals/iteration.cmi $(DESTDIR)$(SHAREDIR)/globals/ |
| | 470 | |
| | 471 | install-man: |
| | 472 | @echo "Installing manuals in: ${DESTDIR}${MANDIR}" |
| | 473 | $(MKDIR_P) $(DESTDIR)$(MANDIR)/man1 |
| | 474 | $(MKDIR_P) $(DESTDIR)$(MANDIR)/man3 |
| | 475 | $(INSTALL_DATA) docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/ |
| | 476 | $(INSTALL_DATA) docs/Coccilib.3cocci $(DESTDIR)$(MANDIR)/man3/ |
| | 477 | |
| | 478 | install-bash: |
| | 479 | @echo "Installing bash completion in: ${DESTDIR}${BASH_COMPLETION_DIR}" |
| | 480 | $(MKDIR_P) $(DESTDIR)$(BASH_COMPLETION_DIR) |
| | 481 | $(INSTALL_DATA) scripts/spatch.bash_completion \ |
| | 482 | $(DESTDIR)$(BASH_COMPLETION_DIR)/spatch |
| | 483 | |
| | 484 | install-tools: |
| | 485 | @echo "Installing tools in: ${DESTDIR}${BINDIR}" |
| | 486 | $(MKDIR_P) $(DESTDIR)$(BINDIR) |
| | 487 | $(INSTALL_PROGRAM) tools/splitpatch \ |
| | 488 | $(DESTDIR)$(BINDIR)/splitpatch |
| | 489 | $(INSTALL_PROGRAM) tools/cocci-send-email.perl \ |
| | 490 | $(DESTDIR)$(BINDIR)/cocci-send-email.perl |
| | 491 | |
| | 492 | install-python: |
| | 493 | @echo "Installing python support in: ${DESTDIR}${SHAREDIR}/python" |
| | 494 | $(MKDIR_P) $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui |
| | 495 | $(INSTALL_DATA) python/coccilib/*.py \ |
| | 496 | $(DESTDIR)$(SHAREDIR)/python/coccilib |
| | 497 | $(INSTALL_DATA) python/coccilib/coccigui/*.py \ |
| | 498 | $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui |
| | 499 | $(INSTALL_DATA) python/coccilib/coccigui/pygui.glade \ |
| | 500 | $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui |
| | 501 | $(INSTALL_DATA) python/coccilib/coccigui/pygui.gladep \ |
| | 502 | $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui |
| | 503 | |
| | 504 | install-stubs: |
| | 505 | $(MKDIR_P) $(DESTDIR)$(SHAREDIR) |
| | 506 | @if test -f ./bundles/pycaml/dllpycaml_stubs.so; then \ |
| | 507 | cp -fv ./bundles/pycaml/dllpycaml_stubs.so $(DESTDIR)$(SHAREDIR); fi |
| | 508 | @if test -f ./bundles/pcre/dllpcre_stubs.so; then \ |
| | 509 | cp -fv ./bundles/pcre/dllpcre_stubs.so $(DESTDIR)$(SHAREDIR); fi |
| | 510 | |
| | 511 | install: install-man install-common install-stubs $(PYTHON_INSTALL_TARGET) |
| | 512 | rm -f $(DESTDIR)$(SHAREDIR)/spatch |
| | 513 | rm -f $(DESTDIR)$(SHAREDIR)/spatch.opt |
| | 514 | @if test -x spatch -o -x spatch.opt; then \ |
| | 515 | $(MAKE) install-def;fi |
| | 516 | @if test -x spatch ; then \ |
| | 517 | $(MAKE) install-byte; fi |
| | 518 | @if test -x spatch.opt ; then \ |
| | 519 | $(MAKE) install-opt;fi |
| | 520 | @if test ! -x spatch -a ! -x spatch.opt ; then \ |
| | 521 | echo -e "\n\n\t==> Run 'make', 'make opt', or both first. <==\n\n";fi |
| | 522 | @echo "" |
| | 523 | @echo -e "\tYou can also install spatch by copying the program spatch" |
| | 524 | @echo -e "\t(available in this directory) anywhere you want and" |
| | 525 | @echo -e "\tgive it the right options to find its configuration files." |
| | 526 | @echo "" |
| | 527 | |
| | 528 | # |
| | 529 | # Installation of spatch and spatch.opt and their wrappers |
| | 530 | # |
| | 531 | |
| | 532 | # user will use spatch to run one of the binaries |
| | 533 | install-def: |
| | 534 | $(INSTALL_PROGRAM) scripts/spatch $(DESTDIR)$(BINDIR)/spatch |
| | 535 | |
| | 536 | # user will use spatch.byte to run spatch (bytecode) |
| | 537 | install-byte: |
| | 538 | $(INSTALL_PROGRAM) spatch $(DESTDIR)$(SHAREDIR) |
| | 539 | $(INSTALL_PROGRAM) scripts/spatch.byte $(DESTDIR)$(BINDIR)/spatch.byte |
| | 540 | |
| | 541 | # user will use spatch.opt to run spatch.opt (native) |
| | 542 | install-opt: |
| | 543 | $(INSTALL_PROGRAM) spatch.opt $(DESTDIR)$(SHAREDIR) |
| | 544 | $(INSTALL_PROGRAM) scripts/spatch.opt $(DESTDIR)$(BINDIR)/spatch.opt |
| | 545 | |
| | 546 | uninstall: |
| | 547 | rm -f $(DESTDIR)$(BINDIR)/spatch |
| | 548 | rm -f $(DESTDIR)$(BINDIR)/spatch.opt |
| | 549 | rm -f $(DESTDIR)$(BINDIR)/spatch.byte |
| | 550 | rm -f $(DESTDIR)$(SHAREDIR)/dllpycaml_stubs.so |
| | 551 | rm -f $(DESTDIR)$(SHAREDIR)/dllpcre_stubs.so |
| | 552 | rm -f $(DESTDIR)$(SHAREDIR)/spatch |
| | 553 | rm -f $(DESTDIR)$(SHAREDIR)/spatch.opt |
| | 554 | rm -f $(DESTDIR)$(SHAREDIR)/standard.h |
| | 555 | rm -f $(DESTDIR)$(SHAREDIR)/standard.iso |
| | 556 | rm -f $(DESTDIR)$(SHAREDIR)/ocaml/coccilib.cmi |
| | 557 | rm -f $(DESTDIR)$(SHAREDIR)/parsing_c/*.cmi |
| | 558 | rm -f $(DESTDIR)$(SHAREDIR)/commons/*.cmi |
| | 559 | rm -f $(DESTDIR)$(SHAREDIR)/globals/*.cmi |
| | 560 | rm -f $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui/* |
| | 561 | rm -f $(DESTDIR)$(SHAREDIR)/python/coccilib/*.py |
| | 562 | rmdir --ignore-fail-on-non-empty -p \ |
| | 563 | $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui |
| | 564 | rmdir $(DESTDIR)$(SHAREDIR)/globals |
| | 565 | rmdir $(DESTDIR)$(SHAREDIR)/commons |
| | 566 | rmdir $(DESTDIR)$(SHAREDIR)/parsing_c |
| | 567 | rmdir $(DESTDIR)$(SHAREDIR)/ocaml |
| | 568 | rmdir $(DESTDIR)$(SHAREDIR) |
| | 569 | rm -f $(DESTDIR)$(MANDIR)/man1/spatch.1 |
| | 570 | rm -f $(DESTDIR)$(MANDIR)/man3/Coccilib.3cocci |
| | 571 | |
| | 572 | uninstall-bash: |
| | 573 | rm -f $(DESTDIR)$(BASH_COMPLETION_DIR)/spatch |
| | 574 | rmdir --ignore-fail-on-non-empty -p \ |
| | 575 | $(DESTDIR)$(BASH_COMPLETION_DIR) |
| | 576 | |
| | 577 | uninstall-tools: |
| | 578 | rm -f $(DESTDIR)$(BINDIR)/splitpatch |
| | 579 | rm -f $(DESTDIR)$(BINDIR)/cocci-send-email.perl |
| | 580 | |
| | 581 | version: |
| | 582 | @echo "spatch $(VERSION)" |
| | 583 | @echo "spatch $(PKGVERSION) ($(DISTRIB_ID))" |
| | 584 | @echo "coccicheck $(CCVERSION)" |
| | 585 | |
| | 586 | |
| | 587 | ############################################################################## |
| | 588 | # Deb package (for Ubuntu) and release rules |
| | 589 | ############################################################################## |
| | 590 | |
| | 591 | include Makefile.release |
| | 592 | |
| | 593 | ############################################################################## |
| | 594 | # Developer rules |
| | 595 | ############################################################################## |
| | 596 | |
| | 597 | -include Makefile.dev |
| | 598 | |
| | 599 | test: $(TARGET) |
| | 600 | ./$(TARGET) -testall |
| | 601 | |
| | 602 | testparsing: |
| | 603 | ./$(TARGET) -D standard.h -parse_c -dir tests/ |
| | 604 | |
| | 605 | # the check target runs: |
| | 606 | # * some feature tests (depending on what is enabled) |
| | 607 | # * the test suite |
| | 608 | check: scripts/spatch |
| | 609 | @echo "testing if spatch works on hello world..." |
| | 610 | @COCCINELLE_HOME="$$(pwd)" ./scripts/spatch --sp-file demos/hello/hello-smpl.cocci demos/hello/helloworld.c --very-quiet | grep -q '+ printf("world, hello!");' |
| | 611 | @echo "testing if spatch works with regexes..." |
| | 612 | @COCCINELLE_HOME="$$(pwd)" ./scripts/spatch --sp-file demos/hello/hello-regexp.cocci demos/hello/helloworld.c --very-quiet | grep -q '+ printf("world, hello!");' |
| | 613 | @if test "x${FEATURE_OCAML}" = x1 -a -z "${NO_OCAMLFIND}"; then \ |
| | 614 | echo "testing if spatch works with ocaml scripts..."; \ |
| | 615 | COCCINELLE_HOME="$$(pwd)" ./scripts/spatch --sp-file demos/hello/hello-ocaml.cocci demos/hello/helloworld.c --very-quiet | grep -q 'Hello at: 2'; fi |
| | 616 | @if test "x${FEATURE_PYTHON}" = x1; then \ |
| | 617 | echo "testing if spatch works with python scripts..."; \ |
| | 618 | COCCINELLE_HOME="$$(pwd)" ./scripts/spatch --sp-file demos/hello/hello-python.cocci demos/hello/helloworld.c --very-quiet | grep -q 'Hello at: 2'; fi |
| | 619 | @echo running the test suite |
| | 620 | COCCINELLE_HOME="$$(pwd)" ./scripts/spatch --testall --no-update-score-file |
| | 621 | |
| | 622 | # -inline 0 to see all the functions in the profile. |
| | 623 | # Can also use the profile framework in commons/ and run your program |
| | 624 | # with -profile. |
| | 625 | forprofiling: |
| | 626 | $(MAKE) OPTFLAGS="-p -inline 0 ${EXTRA_OCAML_FLAGS}" opt |
| | 627 | |
| | 628 | clean distclean:: |
| | 629 | rm -f gmon.out ocamlprof.dump |
| | 630 | |
| | 631 | tags: |
| | 632 | otags -no-mli-tags -r . |
| | 633 | |
| | 634 | dependencygraph: |
| | 635 | 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 |
| | 636 | ocamldot -lr /tmp/dependfull.depend > /tmp/dependfull.dot |
| | 637 | dot -Tps /tmp/dependfull.dot > /tmp/dependfull.ps |
| | 638 | ps2pdf /tmp/dependfull.ps /tmp/dependfull.pdf |
| | 639 | |
| | 640 | ############################################################################## |
| | 641 | # Misc rules |
| | 642 | ############################################################################## |
| | 643 | |
| | 644 | # each member of the project can have its own test.ml. this file is |
| | 645 | # not under CVS. |
| | 646 | test.ml: |
| | 647 | echo "let foo_ctl () = failwith \"there is no foo_ctl formula\"" \ |
| | 648 | > test.ml |
| | 649 | |
| | 650 | ############################################################################## |
| | 651 | # Generic ocaml rules |
| | 652 | ############################################################################## |
| | 653 | |
| | 654 | .SUFFIXES: .ml .mli .cmo .cmi .cmx |
| | 655 | |
| | 656 | .ml.cmo: |
| | 657 | $(OCAMLC_CMD) -c $< |
| | 658 | .mli.cmi: |
| | 659 | $(OCAMLC_CMD) -c $< |
| | 660 | .ml.cmx: |
| | 661 | $(OCAMLOPT_CMD) -c $< |
| | 662 | |
| | 663 | .ml.mldepend: |
| | 664 | $(OCAMLC_CMD) -i $< |
| | 665 | |
| | 666 | clean distclean:: |
| | 667 | rm -f .depend |
| | 668 | rm -f *.cm[iox] *.o *.annot |
| | 669 | rm -f *~ .*~ *.exe #*# |
| | 670 | |
| | 671 | distclean:: |
| | 672 | set -e; for i in $(CLEANSUBDIRS); do $(MAKE) -C $$i $@; done |
| | 673 | rm -f test.ml |
| | 674 | rm -f TAGS *.native *.byte *.d.native *.p.byte |
| | 675 | if test -z "${KEEP_GENERATED}"; then \ |
| | 676 | rm -f tests/SCORE_actual.sexp tests/SCORE_best_of_both.sexp; fi |
| | 677 | find . -name ".#*1.*" | xargs rm -f |
| | 678 | rm -f $(EXEC) $(EXEC).opt $(EXEC).top |
| | 679 | rm -f setup/Makefile |
| | 680 | |
| | 681 | # using 'touch' to prevent infinite recursion with 'make depend' |
| | 682 | .PHONY:: depend |
| | 683 | .depend: Makefile.config test.ml version |
| | 684 | @touch .depend |
| | 685 | @$(MAKE) depend |
| | 686 | |
| | 687 | depend: Makefile.config test.ml version |
| | 688 | @echo constructing '.depend' |
| | 689 | @rm -f .depend |
| | 690 | @set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i depend; done |
| | 691 | $(OCAMLDEP_CMD) *.mli *.ml > .depend |
| | 692 | |
| | 693 | ############################################################################## |
| | 694 | # configure-related |
| | 695 | ############################################################################## |
| | 696 | |
| | 697 | distclean:: |
| | 698 | @echo "cleaning configured files" |
| | 699 | if test -z "${KEEP_CONFIG}"; then rm -f Makefile.config; fi |
| | 700 | rm -rf autom4te.cache |
| | 701 | rm -f config.status |
| | 702 | rm -f config.log |
| | 703 | if test -z "${KEEP_GENERATED}"; then \ |
| | 704 | rm -f version.ml; fi |
| | 705 | rm -f globals/config.ml |
| | 706 | rm -f globals/regexp.ml python/pycocci.ml ocaml/prepare_ocamlcocci.ml |
| | 707 | rm -f scripts/spatch.sh |
| | 708 | rm -f aclocal.m4 |
| | 709 | @echo "run 'configure' again prior to building coccinelle" |
| | 710 | |
| | 711 | |
| | 712 | # don't include depend for those actions that either don't need |
| | 713 | # depend or that call 'make .depend' explicitly. |
| | 714 | # TODO: find a nicer way to express this |
| | 715 | ifneq ($(MAKECMDGOALS),clean) |
| | 716 | ifneq ($(MAKECMDGOALS),distclean) |
| | 717 | ifneq ($(MAKECMDGOALS),configure) |
| | 718 | ifneq ($(MAKECMDGOALS),prerelease) |
| | 719 | ifneq ($(MAKECMDGOALS),release) |
| | 720 | ifneq ($(MAKECMDGOALS),package) |
| | 721 | ifneq ($(MAKECMDGOALS),all-release) |
| | 722 | ifneq ($(MAKECMDGOALS),all-dev) |
| | 723 | ifneq ($(MAKECMDGOALS),all) |
| | 724 | ifneq ($(MAKECMDGOALS),.depend) |
| | 725 | ifneq ($(MAKECMDGOALS),depend) |
| | 726 | ifneq ($(FEATURE_OCAMLBUILD),yes) |
| | 727 | -include .depend |
| | 728 | endif |
| | 729 | endif |
| | 730 | endif |
| | 731 | endif |
| | 732 | endif |
| | 733 | endif |
| | 734 | endif |
| | 735 | endif |
| | 736 | endif |
| | 737 | endif |
| | 738 | endif |
| | 739 | endif |
| | 740 | |
| | 741 | include Makefile.common |
HCoop / bpt / coccinelle.git / blame_incremental