Hi Jamal, This can be fixed by running: $ sudo apt-get build-dep coccinelle
In order to this command to work, you need to enable the official universe repository in the sources.list file. Both for packages and sources. Mine looks like: $ cat /etc/apt/sources.list deb http://archive.ubuntu.com/ubuntu lucid main universe deb-src http://archive.ubuntu.com/ubuntu lucid main universe If you do changes in /etc/apt/sources.list, run `apt-get update` after the changes. Please let me know if this helped you. On Wed, Sep 4, 2013 at 1:00 PM, Jamal Khashan <[email protected]> wrote: > Hi Peter, > > /coccinelle-1.0.0-rc18# ./configure --enable-release --without-pkg-config > configure: configuring coccinelle 1.0.0-rc17 in > /root/conf/coccinelle-1.0.0-rc18 > checking for a BSD-compatible install... /usr/bin/install -c > checking whether build environment is sane... yes > /root/conf/coccinelle-1.0.0-rc18/setup/missing: Unknown '--is-lightweight' > option > Try '/root/conf/coccinelle-1.0.0-rc18/setup/missing --help' for more > information > configure: WARNING: 'missing' script is too old or missing > checking for a thread-safe mkdir -p... /bin/mkdir -p > checking for gawk... gawk > checking whether make sets $(MAKE)... yes > checking whether make supports nested variables... yes > configure: determining version suffix > checking for date... /bin/date > configure: version suffix set to Wed, 04 Sep 2013 11:55:21 +0100 > configure: this configure program uses pkg-config m4 macros > configure: this configure program uses ocaml m4 macros (see setup/ocaml.m4) > configure: this configure program uses custom m4 macros (see setup/cocci.m4) > configure: some fake substitutions for required but unavailable programs may > be used (see setup/fake*) > configure: verifying basic tools > checking for style of include used by make... GNU > checking for gcc... gcc > checking whether the C compiler works... yes > checking for C compiler default output file name... a.out > checking for suffix of executables... > checking whether we are cross compiling... no > checking for suffix of object files... o > checking whether we are using the GNU C compiler... yes > checking whether gcc accepts -g... yes > checking for gcc option to accept ISO C89... none needed > checking whether gcc understands -c and -o together... yes > checking dependency style of gcc... none > checking how to run the C preprocessor... gcc -E > checking for bash... /bin/bash > checking for tar... /bin/tar > checking for patch... /usr/bin/patch > checking for echo... /bin/echo > checking for patchelf... no > configure: pkg-config is disabled explicitly > checking for ocamlc... /usr/bin/ocamlc > OCaml version is 3.11.2 > OCaml library path is /usr/lib/ocaml > checking for ocamlopt... /usr/bin/ocamlopt > checking for ocamlc.opt... /usr/bin/ocamlc.opt > checking for ocamlopt.opt... /usr/bin/ocamlopt.opt > checking for ocaml... /usr/bin/ocaml > checking for ocamldep... /usr/bin/ocamldep > checking for ocamlmktop... /usr/bin/ocamlmktop > checking for ocamlmklib... /usr/bin/ocamlmklib > checking for ocamldoc... /usr/bin/ocamldoc > checking for ocamlbuild... /usr/bin/ocamlbuild > checking that the OCaml version is at least 3.10... yes > checking that the OCaml version is at least 3.11... yes > checking for camlp4... /usr/bin/camlp4 > checking for camlp4boot... no > checking for camlp4o... /usr/bin/camlp4o > checking for camlp4of... no > checking for camlp4oof... no > checking for camlp4orf... no > checking for camlp4prof... no > checking for camlp4r... /usr/bin/camlp4r > checking for camlp4rf... no > checking for ocamllex... /usr/bin/ocamllex > checking for ocamllex.opt... /usr/bin/ocamllex.opt > checking for ocamlyacc... /usr/bin/ocamlyacc > checking for ocamlfind... /usr/bin/ocamlfind > checking for ocamlprof... /usr/bin/ocamlprof > configure: verifying basic ocaml modules > configure: coccinelle may use external ocaml libraries in > /root/conf/coccinelle-1.0.0-rc18/bundles > configure: the following OCaml packages should be provided by your ocaml > installation > checking for OCaml findlib package unix... found > checking for OCaml findlib package bigarray... found > checking for OCaml findlib package num... found > checking for OCaml findlib package str... found > configure: configuring package dynlink > checking for OCaml findlib package dynlink... found > configure: configuring package camlp4 > checking for OCaml findlib package camlp4... found > configure: configuring package menhirLib > checking for OCaml findlib package menhirLib... found > configure: verifying optional features > checking for menhir... /usr/bin/menhir > checking for python... /usr/bin/python > checking python version... 2.6 found > configure: python major version: 2 > configure: looking for the corresponding python library > checking for PYTHON... no > configure: trying the default python library as fallback > checking for PYTHON... no > checking for PCRE... yes > configure: configuring package pcre > checking for OCaml findlib package pcre... not found > configure: OCaml package pcre is not available > checking for a bundled substitute of pcre... yes > configure: using bundled substitute for pcre in > /root/conf/coccinelle-1.0.0-rc18/bundles/pcre/ > configure: support for pcre syntax is enabled > checking for pdflatex... no > configure: pdflatex not found. Trying substitute > /root/conf/coccinelle-1.0.0-rc18/setup/fake-pdflatex.sh pdflatex. > checking for pdflatex... > /root/conf/coccinelle-1.0.0-rc18/setup/fake-pdflatex.sh pdflatex > configure: the optimized version of coccinelle will not be build by default > due to OCaml version 3.11.2 > checking that generated files are newer than configure... done > configure: creating ./config.status > config.status: creating Makefile.config > config.status: creating version.ml > config.status: creating commons/commands.ml > config.status: creating globals/config.ml > config.status: creating globals/regexp.ml > config.status: creating python/pycocci.ml > config.status: creating ocaml/prepare_ocamlcocci.ml > config.status: creating scripts/spatch.sh > config.status: creating docs/spatch.1 > config.status: creating myocamlbuild.ml > config.status: creating setup/Makefile > config.status: executing depfiles commands > configure: configuration completed > ------------------------------------------------------------------------------ > Summary > > configure flags: --enable-release --without-pkg-config > findlib: /usr/bin/ocamlfind (an actual version is strongly > recommended) > menhir: /usr/bin/menhir (should be an optional tool) > menhirLib module: yes (for local package use --disable-menhirLib) > > ocaml scripting: yes (overridable with --enable-ocaml) > python scripting: no (overridable with --enable-python) > pycaml module: (for local package use --disable-pycaml) > > pcre regexes: local (overridable with --enable-pcre-syntax) > pcre module: local (for local package use --disable-pcre) > pcre library: yes (requires the dev version of libpcre) > > release config: yes (strongly recommended to be 'yes', overridable with > --enable-release) > optimized spatch: no (overridable with --disable-opt) > > ------------------------------------------------------------------------------ > Coccinelle can now be compiled and installed. > > > If you compile coccinelle again after source code changes or > configuration changes, you may need to run first: > $ make clean > > To compile coccinelle, run: > $ make all > > To install coccinelle, run: > $ make install > > Then, to test coccinelle, run for example: > $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c > > Or when coccinelle is not installed yet: > $ COCCINELLE_HOME=/root/conf/coccinelle-1.0.0-rc18 ./scripts/spatch > -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c > ------------------------------------------------------------------------------ > # > > > Thanks and best regards, > > Jamal Khashan > Dialog Semiconductors IT Helpdesk > Direct Dial: +49 (0)7021 805 555 > [email protected] | www.diasemi.com > Dialog Semiconductor GmbH, Neue Strasse 95, 73230 Kirchheim /Teck, Germany > > > -----Original Message----- > From: Peter Senna Tschudin [mailto:[email protected]] > Sent: Tuesday, September 03, 2013 4:45 PM > To: Jamal Khashan > Cc: Julia Lawall; [email protected] > Subject: Re: [Cocci] coccinelle-1.0.0-rc18 > > Hi Jamal, > > Can you try to configure with: > > $ ./configure --enable-release --without-pkg-config > > Thanks, > > Peter > ... > > On Tue, Sep 3, 2013 at 8:24 AM, Jamal Khashan <[email protected]> > wrote: >> Hi Julia, >> >> Thanks for your feedback. >> >> I think this version is a bit old? Do you have the possibility to >> upgrade? >> Unfortunately I neither can upgrade Ubuntu nor python per feedback >> from my clients as follows “ Hi Jamal, I've spoken with several other >> engineers and it would be a big risk to update python. We are using >> Gitorious (python) which manages all our software version control, >> also other people in different teams use python for their development >> and I do not know how this would affect those people. >> I think that his update would be too risky for us at the moment. >> Regards, >> Stephen >> „ >> >> Can I supply any info, logs, configuration files etc that might assist >> in resolving this issue without OS or application upgrade? >> >> >> Thanks and best regards, >> >> Jamal Khashan >> Dialog Semiconductors IT Helpdesk >> Direct Dial: +49 (0)7021 805 555 >> [email protected] | www.diasemi.com Dialog Semiconductor >> GmbH, Neue Strasse 95, 73230 Kirchheim /Teck, Germany >> >> >> -----Original Message----- >> From: Julia Lawall [mailto:[email protected]] >> Sent: Monday, September 02, 2013 3:22 PM >> To: Jamal Khashan >> Cc: '[email protected]' >> Subject: RE: [Cocci] coccinelle-1.0.0-rc18 >> >> On Mon, 2 Sep 2013, Jamal Khashan wrote: >> >>> Hi Julia, >>> >>> Thanks for feedback, sorry for the late reply, I was on Vacation for >>> a week, but here's the output requested >>> >>> # lsb_release -a >>> No LSB modules are available. >>> Distributor ID: Ubuntu >>> Description: Ubuntu 10.04.4 LTS >>> Release: 10.04 >>> Codename: lucid >>> # >> >> I think this version is a bit old? Do you have the possibility to >> upgrade. >> On the other hand, it is the same version that I have at home, so I >> can try to reproduce the problem. >> >>> # pkg-config --exists --print-errors python-2.6 Package python-2.6 >>> was not found in the pkg-config search path. >>> Perhaps you should add the directory containing `python-2.6.pc' >>> to the PKG_CONFIG_PATH environment variable No package 'python-2.6' >>> found # >> >> Do you just need to install python 2.6? Did you install it separately >> from ubuntu? >> >> I don't know much about pkg-config. Maybe someone else knows why you >> might have some software installed but pkg-config can't find it. >> >> julia >> >>> Thanks and best regards, >>> >>> Jamal Khashan >>> Dialog Semiconductors IT Helpdesk >>> Direct Dial: +49 (0)7021 805 555 >>> [email protected] | www.diasemi.com Dialog Semiconductor >>> GmbH, Neue Strasse 95, 73230 Kirchheim /Teck, Germany >>> >>> >>> -----Original Message----- >>> From: Julia Lawall [mailto:[email protected]] >>> Sent: Saturday, August 24, 2013 8:12 AM >>> To: Jamal Khashan >>> Cc: '[email protected]' >>> Subject: Re: [Cocci] coccinelle-1.0.0-rc18 >>> >>> > I am having difficulties enabling python scripting with >>> > coccinelle-1.0.0-rc18 as follows >>> >>> What OS/distribution are you using? Perhaps the problem could be >>> that you have python 2.6? I have 2.7. >>> >>> Maybe you should try something like >>> >>> pkg-config --exists --print-errors python-2.6 >>> >>> julia >>> ________________________________ >>> >>> Dialog Semiconductor GmbH >>> Neue Str. 95 >>> D-73230 Kirchheim >>> Managing Directors: Dr. Jalal Bagherli, Jean-Michel Richard Chairman >>> of the Supervisory Board: Gregorio Reyes Commercial register: >>> Amtsgericht Stuttgart: HRB 231181 UST-ID-Nr. DE 811121668 >>> >>> Legal Disclaimer: This e-mail communication (and any attachment/s) is >>> confidential and contains proprietary information, some or all of >>> which may be legally privileged. It is intended solely for the use of >>> the individual or entity to which it is addressed. Access to this >>> email by anyone else is unauthorized. If you are not the intended >>> recipient, any disclosure, copying, distribution or any action taken >>> or omitted to be taken in reliance on it, is prohibited and may be >>> unlawful. >>> >>> Please consider the environment before printing this e-mail >>> >>> >>> >> >> >> >> ________________________________ >> >> Dialog Semiconductor GmbH >> Neue Str. 95 >> D-73230 Kirchheim >> Managing Directors: Dr. Jalal Bagherli, Jean-Michel Richard Chairman >> of the Supervisory Board: Gregorio Reyes Commercial register: >> Amtsgericht Stuttgart: HRB 231181 UST-ID-Nr. DE 811121668 Legal >> Disclaimer: This e-mail communication (and any attachment/s) is >> confidential and contains proprietary information, some or all of >> which may be legally privileged. It is intended solely for the use of >> the individual or entity to which it is addressed. Access to this >> email by anyone else is unauthorized. If you are not the intended >> recipient, any disclosure, copying, distribution or any action taken >> or omitted to be taken in reliance on it, is prohibited and may be >> unlawful. >> >> Please consider the environment before printing this e-mail >> >> >> _______________________________________________ >> Cocci mailing list >> [email protected] >> https://systeme.lip6.fr/mailman/listinfo/cocci >> > > > > -- > Peter > > > > ________________________________ > > Dialog Semiconductor GmbH > Neue Str. 95 > D-73230 Kirchheim > Managing Directors: Dr. Jalal Bagherli, Jean-Michel Richard > Chairman of the Supervisory Board: Gregorio Reyes > Commercial register: Amtsgericht Stuttgart: HRB 231181 > UST-ID-Nr. DE 811121668 > Legal Disclaimer: This e-mail communication (and any attachment/s) is > confidential and contains proprietary information, some or all of which may > be legally privileged. It is intended solely for the use of the individual > or entity to which it is addressed. Access to this email by anyone else is > unauthorized. If you are not the intended recipient, any disclosure, > copying, distribution or any action taken or omitted to be taken in reliance > on it, is prohibited and may be unlawful. > > Please consider the environment before printing this e-mail > -- Peter _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
