-# Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
+# 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.
#
#############################################################################
-include Makefile.config
+-include /etc/lsb-release
VERSION=$(shell cat globals/config.ml.in |grep version |perl -p -e 's/.*"(.*)".*/$$1/;')
CCVERSION=$(shell cat scripts/coccicheck/README |grep "Coccicheck version" |perl -p -e 's/.*version (.*)[ ]*/$$1/;')
+PKGVERSION=$(shell dpkg-parsechangelog -ldebian/changelog.$(DISTRIB_CODENAME) 2> /dev/null \
+ | sed -n 's/^Version: \(.*\)/\1/p' )
##############################################################################
# Variables
##############################################################################
TARGET=spatch
+PRJNAME=coccinelle
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
+PYCMA=pycaml.cma
# the following is essential for Coccinelle to compile under gentoo (weird)
-OPTLIBFLAGS=-cclib dllpycaml_stubs.so
+#OPTLIBFLAGS=-cclib dllpycaml_stubs.so
else
PYCMA=
-PYDIR=
-PYLIB=
+endif
OPTLIBFLAGS=
+
+ifeq ("$(SEXPDIR)","ocamlsexp")
+SEXPLIB=sexplib.cmo
+OPTSEXPLIB=sexplib.cmx
+else
+SEXPLIB=sexplib.cma
+OPTSEXPLIB=sexplib.cmxa
endif
SEXPSYSCMA=bigarray.cma nums.cma
-SYSLIBS=str.cma unix.cma $(SEXPSYSCMA)
+SYSLIBS=str.cma unix.cma $(SEXPSYSCMA) $(PYCMA) dynlink.cma # threads.cma
LIBS=commons/commons.cma \
- ocamlsexp/sexplib1.cma commons/commons_sexp.cma \
+ commons/commons_sexp.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
+ extra/extra.cma python/coccipython.cma ocaml/cocciocaml.cma
+
+# Should we use the local version of pycaml
+ifeq ("$(PYCAMLDIR)","pycaml")
+LOCALPYCAML=pycaml
+else
+LOCALPYCAML=
+endif
+
+# Should we use the local version of menhirLib
+ifeq ("$(MENHIRDIR)","menhirlib")
+LOCALMENHIR=menhirlib
+else
+LOCALMENHIR=
+endif
+
+# Should we use the local version of ocamlsexp
+ifeq ("$(SEXPDIR)","ocamlsexp")
+LOCALSEXP=ocamlsexp
+else
+LOCALSEXP=
+endif
+
+# used for depend: and a little for rec & rec.opt
+MAKESUBDIRS=$(LOCALPYCAML) $(LOCALSEXP) commons \
+ globals $(LOCALMENHIR) ctl parsing_cocci parsing_c \
+ engine popl09 extra python ocaml
-#used for clean: and depend: and a little for rec & rec.opt
-MAKESUBDIRS=commons ocamlsexp \
- globals menhirlib $(PYDIR) ctl parsing_cocci parsing_c \
- engine popl09 extra python
-INCLUDEDIRS=commons commons/ocamlextra ocamlsexp \
- globals menhirlib $(PYDIR) ctl \
- parsing_cocci parsing_c engine popl09 extra python
+# used for clean:
+# It is like MAKESUBDIRS but also
+# force cleaning of local library copies
+CLEANSUBDIRS=pycaml ocamlsexp commons \
+ globals menhirlib ctl parsing_cocci parsing_c \
+ engine popl09 extra python ocaml
+
+INCLUDEDIRSDEP=commons commons/ocamlextra $(LOCALSEXP) \
+ globals $(LOCALMENHIR) $(LOCALPYCAML) ctl \
+ parsing_cocci parsing_c engine popl09 extra python ocaml
+
+INCLUDEDIRS=$(INCLUDEDIRSDEP) $(SEXPDIR) $(MENHIRDIR) $(PYCAMLDIR)
##############################################################################
# Generic variables
# to also link with -g, but even in 3.11 the backtrace support seems buggy so
# not worth it.
OPTFLAGS=
-# the following is essential for Coccinelle to compile under gentoo
-# but is now defined above in this file
-#OPTLIBFLAGS=-cclib dllpycaml_stubs.so
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)
+OCAMLDEP=ocamldep $(INCLUDEDIRSDEP:%=-I %)
OCAMLMKTOP=ocamlmktop -g -custom $(INCLUDES)
# can also be set via 'make static'
top: $(EXEC).top
subdirs:
- $(MAKE) -C commons OCAMLCFLAGS="$(OCAMLCFLAGS)"
- $(MAKE) -C ocamlsexp OCAMLCFLAGS="$(OCAMLCFLAGS)"
- $(MAKE) -C commons sexp OCAMLCFLAGS="$(OCAMLCFLAGS)"
+for D in $(MAKESUBDIRS); do $(MAKE) $$D || exit 1 ; done
+ $(MAKE) -C commons sexp OCAMLCFLAGS="$(OCAMLCFLAGS)"
subdirs.opt:
- $(MAKE) -C commons all.opt OCAMLCFLAGS="$(OCAMLCFLAGS)"
- $(MAKE) -C ocamlsexp all.opt OCAMLCFLAGS="$(OCAMLCFLAGS)"
- $(MAKE) -C commons sexp.opt OCAMLCFLAGS="$(OCAMLCFLAGS)"
+for D in $(MAKESUBDIRS); do $(MAKE) $$D.opt || exit 1 ; done
+ $(MAKE) -C commons sexp.opt OPTFLAGS="$(OPTFLAGS)"
$(MAKESUBDIRS):
$(MAKE) -C $@ OCAMLCFLAGS="$(OCAMLCFLAGS)" all
$(MAKESUBDIRS:%=%.opt):
- $(MAKE) -C $(@:%.opt=%) OCAMLCFLAGS="$(OCAMLCFLAGS)" all.opt
+ $(MAKE) -C $(@:%.opt=%) OPTFLAGS="$(OPTFLAGS)" all.opt
#dependencies:
# commons:
# python:pycaml parsing_cocci parsing_c
clean::
- set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i $@; done
+ set -e; for i in $(CLEANSUBDIRS); do $(MAKE) -C $$i $@; done
+ $(MAKE) -C demos/spp $@
$(LIBS): $(MAKESUBDIRS)
$(LIBS:.cma=.cmxa): $(MAKESUBDIRS:%=%.opt)
$(OPTOBJS):$(LIBS:.cma=.cmxa)
$(EXEC): $(LIBS) $(OBJS)
- $(OCAMLC) $(BYTECODE_STATIC) -o $@ $(SYSLIBS) $^
+ $(OCAMLC) $(BYTECODE_STATIC) -o $@ $(SYSLIBS) $(SEXPLIB) $^
$(EXEC).opt: $(LIBS:.cma=.cmxa) $(OPTOBJS)
- $(OCAMLOPT) $(STATIC) -o $@ $(SYSLIBS:.cma=.cmxa) $(OPTLIBFLAGS) $^
+ $(OCAMLOPT) $(STATIC) -o $@ $(SYSLIBS:.cma=.cmxa) $(OPTSEXPLIB) $(OPTLIBFLAGS) $^
$(EXEC).top: $(LIBS) $(OBJS)
- $(OCAMLMKTOP) -custom -o $@ $(SYSLIBS) $^
+ $(OCAMLMKTOP) -custom -o $@ $(SYSLIBS) $(SEXPLIB) $^
clean::
rm -f $(TARGET) $(TARGET).opt $(TARGET).top
- rm -f dllpycaml_stubs.so
.PHONY:: tools configure
$(MAKE) -C tools
clean::
- $(MAKE) -C tools clean
+ if [ -d tools ] ; then $(MAKE) -C tools clean ; fi
static:
rm -f spatch.opt spatch
# Pre-Install (customization of spatch frontend script)
##############################################################################
-preinstall: scripts/spatch scripts/spatch.opt scripts/spatch.byte
+preinstall: docs/spatch.1 scripts/spatch scripts/spatch.opt scripts/spatch.byte
+
+docs/spatch.1: Makefile.config
+ $(MAKE) -C docs spatch.1
# user will use spatch to run spatch.opt (native)
-scripts/spatch:
+scripts/spatch: Makefile.config
cp scripts/spatch.sh scripts/spatch.tmp2
sed "s|SHAREDIR|$(SHAREDIR)|g" scripts/spatch.tmp2 > scripts/spatch.tmp
sed "s|LIBDIR|$(LIBDIR)|g" scripts/spatch.tmp > scripts/spatch
rm -f scripts/spatch.tmp2 scripts/spatch.tmp
# user will use spatch to run spatch (bytecode)
-scripts/spatch.byte:
+scripts/spatch.byte: Makefile.config
cp scripts/spatch.sh scripts/spatch.byte.tmp3
sed "s|\.opt||" scripts/spatch.byte.tmp3 > scripts/spatch.byte.tmp2
sed "s|SHAREDIR|$(SHAREDIR)|g" scripts/spatch.byte.tmp2 \
scripts/spatch.byte.tmp
# user will use spatch.opt to run spatch.opt (native)
-scripts/spatch.opt:
+scripts/spatch.opt: Makefile.config
cp scripts/spatch.sh scripts/spatch.opt.tmp2
sed "s|SHAREDIR|$(SHAREDIR)|g" scripts/spatch.opt.tmp2 \
> scripts/spatch.opt.tmp
install-common:
mkdir -p $(DESTDIR)$(BINDIR)
mkdir -p $(DESTDIR)$(LIBDIR)
- mkdir -p $(DESTDIR)$(SHAREDIR)
+ mkdir -p $(DESTDIR)$(SHAREDIR)/ocaml
mkdir -p $(DESTDIR)$(MANDIR)/man1
$(INSTALL_DATA) standard.h $(DESTDIR)$(SHAREDIR)
$(INSTALL_DATA) standard.iso $(DESTDIR)$(SHAREDIR)
+ $(INSTALL_DATA) ocaml/coccilib.cmi $(DESTDIR)$(SHAREDIR)/ocaml/
$(INSTALL_DATA) docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/
@if [ $(FEATURE_PYTHON) -eq 1 ]; then $(MAKE) install-python; fi
+install-bash:
+ mkdir -p $(DESTDIR)$(BASH_COMPLETION_DIR)
+ $(INSTALL_DATA) scripts/spatch.bash_completion \
+ $(DESTDIR)$(BASH_COMPLETION_DIR)/spatch
+
install-python:
mkdir -p $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
$(INSTALL_DATA) python/coccilib/*.py \
$(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
$(INSTALL_DATA) python/coccilib/coccigui/pygui.gladep \
$(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
- $(INSTALL_LIB) dllpycaml_stubs.so $(DESTDIR)$(LIBDIR)
+ if [ -f pycaml/dllpycaml_stubs.so ]; then \
+ $(INSTALL_LIB) pycaml/dllpycaml_stubs.so $(DESTDIR)$(LIBDIR) ; fi
install: install-common
@if test -x spatch -a ! -x spatch.opt ; then \
rm -f $(DESTDIR)$(BINDIR)/spatch
rm -f $(DESTDIR)$(BINDIR)/spatch.opt
rm -f $(DESTDIR)$(LIBDIR)/dllpycaml_stubs.so
+ rm -f $(DESTDIR)$(SHAREDIR)/spatch
+ rm -f $(DESTDIR)$(SHAREDIR)/spatch.opt
rm -f $(DESTDIR)$(SHAREDIR)/standard.h
rm -f $(DESTDIR)$(SHAREDIR)/standard.iso
- rm -rf $(DESTDIR)$(SHAREDIR)/python/coccilib
+ rm -f $(DESTDIR)$(SHAREDIR)/ocaml/coccilib.cmi
+ rm -f $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui/*
+ rm -f $(DESTDIR)$(SHAREDIR)/python/coccilib/*.py
+ rmdir --ignore-fail-on-non-empty -p \
+ $(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
rm -f $(DESTDIR)$(MANDIR)/man1/spatch.1
+uninstall-bash:
+ rm -f $(DESTDIR)$(BASH_COMPLETION_DIR)/spatch
+ rmdir --ignore-fail-on-non-empty -p \
+ $(DESTDIR)$(BASH_COMPLETION_DIR)
+
version:
@echo "spatch $(VERSION)"
+ @echo "spatch $(PKGVERSION) ($(DISTRIB_ID))"
@echo "coccicheck $(CCVERSION)"
##############################################################################
-# Package rules
+# Deb package (for Ubuntu) and release rules
##############################################################################
-PACKAGE=coccinelle-$(VERSION)
-CCPACKAGE=coccicheck-$(CCVERSION)
-
-BINSRC=spatch env.sh env.csh standard.h standard.iso \
- *.txt \
- docs/manual/manual.pdf docs/manual/options.pdf docs/manual/main_grammar.pdf docs/spatch.1 \
- docs/manual/cocci-python.txt \
- demos/*
-BINSRC-PY=$(BINSRC) $(PYLIB) python/coccilib/
-BINSRC2=$(BINSRC:%=$(PACKAGE)/%)
-BINSRC2-PY=$(BINSRC-PY:%=$(PACKAGE)/%)
-
-TMP=/tmp
-OCAMLVERSION=$(shell ocaml -version |perl -p -e 's/.*version (.*)/$$1/;')
-
-# Procedure to do first time:
-# cd ~/release
-# cvs checkout coccinelle -dP
-# cd coccinelle
-#
-# Procedure to do each time:
-#
-# 1) make prepackage # WARN: These will clean your local rep. of pending modifications
-#
-# UPDATE VERSION number in globals/config.ml.in
-# and commit it with
-#
-# 2) make release
-#
-# The project is then automatically licensified.
-#
-# Remember to comment the -g -dtypes in this Makefile
-# You can also remove a few things, for instance I removed in this
-# Makefile things related to popl/ and popl09/
-# make sure that ocaml is the distribution ocaml of /usr/bin, not ~pad/...
-#
-# 3) make package
-#
-# if WEBSITE is set properly, you can also run 'make website'
-# Check 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.
-
-prepackage:
- cvs up -CdP
- $(MAKE) distclean
- sed -i "s|^OCAMLCFLAGS=.*$$|OCAMLCFLAGS=|" Makefile
-
-release:
- cvs ci -m "Release $(VERSION)" globals/config.ml.in
- $(MAKE) licensify
-
-package:
- $(MAKE) package-src
- $(MAKE) package-nopython
- $(MAKE) package-python
-
-package-src:
- $(MAKE) distclean # Clean project
- $(MAKE) srctar
- $(MAKE) coccicheck
-
-package-nopython:
- $(MAKE) distclean # Clean project
- ./configure --without-python
- $(MAKE) docs
- $(MAKE) bintar
- $(MAKE) bytecodetar
- $(MAKE) staticbintar
-
-package-python:
- $(MAKE) distclean # Clean project
- ./configure # Reconfigure project with Python support
- $(MAKE) docs
- $(MAKE) bintar-python
- $(MAKE) bytecodetar-python
-
-
-# I currently pre-generate the parser so the user does not have to
-# install menhir on his machine. We could also do a few cleanups.
-# You may have first to do a 'make licensify'.
-#
-# update: make docs generates pdf but also some ugly .log files, so
-# make clean is there to remove them while not removing the pdf
-# (only distclean remove the pdfs).
-srctar:
- make distclean
- make docs
- make clean
- cp -a . $(TMP)/$(PACKAGE)
- cd $(TMP)/$(PACKAGE); cd parsing_cocci/; make parser_cocci_menhir.ml
- cd $(TMP); tar cvfz $(PACKAGE).tgz --exclude-vcs $(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-vcs $(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-vcs $(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-vcs $(BINSRC2)
- rm -f $(TMP)/$(PACKAGE)
-
-bintar-python: all
- rm -f $(TMP)/$(PACKAGE)
- ln -s `pwd` $(TMP)/$(PACKAGE)
- cd $(TMP); tar cvfz $(PACKAGE)-bin-x86-python.tgz --exclude-vcs $(BINSRC2-PY)
- rm -f $(TMP)/$(PACKAGE)
-
-# add ocaml version in name ?
-bytecodetar-python: all
- rm -f $(TMP)/$(PACKAGE)
- ln -s `pwd` $(TMP)/$(PACKAGE)
- make purebytecode
- cd $(TMP); tar cvfz $(PACKAGE)-bin-bytecode-$(OCAMLVERSION)-python.tgz --exclude-vcs $(BINSRC2-PY)
- rm -f $(TMP)/$(PACKAGE)
-
-coccicheck:
- cp -a `pwd`/scripts/coccicheck $(TMP)/$(CCPACKAGE)
- tar cvfz $(TMP)/$(CCPACKAGE).tgz -C $(TMP) --exclude-vcs $(CCPACKAGE)
- rm -rf $(TMP)/$(CCPACKAGE)
-
-clean-packages::
- rm -f $(TMP)/$(PACKAGE).tgz
- rm -f $(TMP)/$(PACKAGE)-bin-x86.tgz
- rm -f $(TMP)/$(PACKAGE)-bin-x86-static.tgz
- rm -f $(TMP)/$(PACKAGE)-bin-bytecode-$(OCAMLVERSION).tgz
- rm -f $(TMP)/$(PACKAGE)-bin-x86-python.tgz
- rm -f $(TMP)/$(PACKAGE)-bin-bytecode-$(OCAMLVERSION)-python.tgz
- rm -f $(TMP)/$(CCPACKAGE).tgz
-
-#
-# No need to licensify 'demos'. Because these is basic building blocks
-# to use SmPL.
-#
-TOLICENSIFY=ctl engine globals parsing_cocci popl popl09 python scripts tools
-licensify:
- ocaml str.cma tools/licensify.ml
- set -e; for i in $(TOLICENSIFY); do cd $$i; ocaml str.cma ../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)
+include Makefile.release
##############################################################################
# Developer rules
HCoop / bpt / coccinelle.git / blobdiff