On 10/16/18 10:10 AM, Himanshu Jha wrote:
> FYI coccinelle works fine on Ubuntu 18.04.1 when built through
> source code.
I've attached my config.log, can you compare it with yours and post the diff?
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
It was created by coccinelle configure 1.0.7-00033-g21afa515-dirty, which was
generated by GNU Autoconf 2.69. Invocation command line was
$ ./configure
## --------- ##
## Platform. ##
## --------- ##
hostname = ttabi
uname -m = x86_64
uname -r = 4.15.0-34-generic
uname -s = Linux
uname -v = #37-Ubuntu SMP Mon Aug 27 15:21:48 UTC 2018
/usr/bin/uname -p = unknown
/bin/uname -X = unknown
/bin/arch = unknown
/usr/bin/arch -k = unknown
/usr/convex/getsysinfo = unknown
/usr/bin/hostinfo = unknown
/bin/machine = unknown
/usr/bin/oslevel = unknown
/bin/universe = unknown
PATH: /home/ttabi/bin
PATH: /usr/local/sbin
PATH: /usr/local/bin
PATH: /usr/sbin
PATH: /usr/bin
PATH: /sbin
PATH: /bin
PATH: /usr/games
PATH: /usr/local/games
PATH: /snap/bin
PATH: /home/ttabi/bin
PATH: /home/ttabi/sw/misc/linux
PATH: /home/ttabi/sw/automation/dvs/dvsbuild/
PATH: /home/ttabi/sw/main/apps/p4review
PATH: /home/ttabi/ttabi_p4hw-1/hw/nv/utils/as2/beta_0.4/bin
## ----------- ##
## Core tests. ##
## ----------- ##
configure:2191: configuring coccinelle 1.0.7-00033-g21afa515-dirty in /home/ttabi/coccinelle
configure:2209: checking for a BSD-compatible install
configure:2277: result: /usr/bin/install -c
configure:2288: checking whether build environment is sane
configure:2343: result: yes
configure:2494: checking for a thread-safe mkdir -p
configure:2533: result: /bin/mkdir -p
configure:2540: checking for gawk
configure:2556: found /usr/bin/gawk
configure:2567: result: gawk
configure:2578: checking whether make sets $(MAKE)
configure:2600: result: yes
configure:2629: checking whether make supports nested variables
configure:2646: result: yes
configure:2774: determining version suffix
configure:2778: building a version from a git repository
configure:2826: checking for git
configure:2844: found /usr/bin/git
configure:2856: result: /usr/bin/git
configure:2996: version suffix set to Sun, 14 Oct 2018 21:55:15 +0200
configure:3000: this configure program uses pkg-config m4 macros
configure:3002: this configure program uses ocaml m4 macros (see setup/ocaml.m4)
configure:3004: this configure program uses custom m4 macros (see setup/cocci.m4)
configure:3006: some fake substitutions for required but unavailable programs may be used (see setup/fake*)
configure:3013: verifying basic tools
configure:3030: checking for style of include used by make
configure:3058: result: GNU
configure:3129: checking for gcc
configure:3145: found /usr/bin/gcc
configure:3156: result: gcc
configure:3385: checking for C compiler version
configure:3394: gcc --version >&5
gcc (Ubuntu 7.3.0-27ubuntu1~18.04) 7.3.0
Copyright (C) 2017 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
configure:3405: $? = 0
configure:3394: gcc -v >&5
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/7/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none
OFFLOAD_TARGET_DEFAULT=1
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 7.3.0-27ubuntu1~18.04' --with-bugurl=file:///usr/share/doc/gcc-7/README.Bugs --enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++ --prefix=/usr --with-gcc-major-version-only --program-suffix=-7 --program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --enable-default-pie --with-system-zlib --with-target-system-zlib --enable-objc-gc=auto --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-offload-targets=nvptx-none --without-cuda-driver --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 7.3.0 (Ubuntu 7.3.0-27ubuntu1~18.04)
configure:3405: $? = 0
configure:3394: gcc -V >&5
gcc: error: unrecognized command line option '-V'
gcc: fatal error: no input files
compilation terminated.
configure:3405: $? = 1
configure:3394: gcc -qversion >&5
gcc: error: unrecognized command line option '-qversion'; did you mean '--version'?
gcc: fatal error: no input files
compilation terminated.
configure:3405: $? = 1
configure:3425: checking whether the C compiler works
configure:3447: gcc conftest.c >&5
configure:3451: $? = 0
configure:3499: result: yes
configure:3502: checking for C compiler default output file name
configure:3504: result: a.out
configure:3510: checking for suffix of executables
configure:3517: gcc -o conftest conftest.c >&5
configure:3521: $? = 0
configure:3543: result:
configure:3565: checking whether we are cross compiling
configure:3573: gcc -o conftest conftest.c >&5
configure:3577: $? = 0
configure:3584: ./conftest
configure:3588: $? = 0
configure:3603: result: no
configure:3608: checking for suffix of object files
configure:3630: gcc -c conftest.c >&5
configure:3634: $? = 0
configure:3655: result: o
configure:3659: checking whether we are using the GNU C compiler
configure:3678: gcc -c conftest.c >&5
configure:3678: $? = 0
configure:3687: result: yes
configure:3696: checking whether gcc accepts -g
configure:3716: gcc -c -g conftest.c >&5
configure:3716: $? = 0
configure:3757: result: yes
configure:3774: checking for gcc option to accept ISO C89
configure:3837: gcc -c -g -O2 conftest.c >&5
configure:3837: $? = 0
configure:3850: result: none needed
configure:3875: checking whether gcc understands -c and -o together
configure:3897: gcc -c conftest.c -o conftest2.o
configure:3900: $? = 0
configure:3897: gcc -c conftest.c -o conftest2.o
configure:3900: $? = 0
configure:3912: result: yes
configure:3931: checking dependency style of gcc
configure:4042: result: none
configure:4062: checking how to run the C preprocessor
configure:4093: gcc -E conftest.c
configure:4093: $? = 0
configure:4107: gcc -E conftest.c
conftest.c:11:10: fatal error: ac_nonexistent.h: No such file or directory
#include <ac_nonexistent.h>
^~~~~~~~~~~~~~~~~~
compilation terminated.
configure:4107: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "coccinelle"
| #define PACKAGE_TARNAME "coccinelle"
| #define PACKAGE_VERSION "1.0.7-00033-g21afa515-dirty"
| #define PACKAGE_STRING "coccinelle 1.0.7-00033-g21afa515-dirty"
| #define PACKAGE_BUGREPORT "[email protected]"
| #define PACKAGE_URL "http://coccinelle.lip6.fr/";
| #define PACKAGE "coccinelle"
| #define VERSION "1.0.7-00033-g21afa515-dirty"
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:4132: result: gcc -E
configure:4152: gcc -E conftest.c
configure:4152: $? = 0
configure:4166: gcc -E conftest.c
conftest.c:11:10: fatal error: ac_nonexistent.h: No such file or directory
#include <ac_nonexistent.h>
^~~~~~~~~~~~~~~~~~
compilation terminated.
configure:4166: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "coccinelle"
| #define PACKAGE_TARNAME "coccinelle"
| #define PACKAGE_VERSION "1.0.7-00033-g21afa515-dirty"
| #define PACKAGE_STRING "coccinelle 1.0.7-00033-g21afa515-dirty"
| #define PACKAGE_BUGREPORT "[email protected]"
| #define PACKAGE_URL "http://coccinelle.lip6.fr/";
| #define PACKAGE "coccinelle"
| #define VERSION "1.0.7-00033-g21afa515-dirty"
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:4196: checking for bash
configure:4226: result: /bin/bash
configure:4236: checking for tar
configure:4254: found /bin/tar
configure:4266: result: /bin/tar
configure:4276: checking for patch
configure:4294: found /usr/bin/patch
configure:4306: result: /usr/bin/patch
configure:4316: checking for echo
configure:4334: found /bin/echo
configure:4346: result: /bin/echo
configure:4375: checking for patchelf
configure:4408: result: no
configure:4495: checking for pkg-config
configure:4513: found /usr/bin/pkg-config
configure:4525: result: /usr/bin/pkg-config
configure:4550: checking pkg-config is at least version 0.9.0
configure:4553: result: yes
configure:5591: checking for ocamlc
configure:5609: found /usr/bin/ocamlc
configure:5621: result: /usr/bin/ocamlc
configure:5646: result: OCaml version is 4.05.0
configure:5655: result: OCaml library path is /usr/lib/ocaml
configure:5708: checking for ocamlopt
configure:5726: found /usr/bin/ocamlopt
configure:5738: result: /usr/bin/ocamlopt
configure:5824: checking for ocamlc.opt
configure:5842: found /usr/bin/ocamlc.opt
configure:5854: result: /usr/bin/ocamlc.opt
configure:5934: checking for ocamlopt.opt
configure:5952: found /usr/bin/ocamlopt.opt
configure:5964: result: /usr/bin/ocamlopt.opt
configure:6049: checking for ocaml
configure:6067: found /usr/bin/ocaml
configure:6079: result: /usr/bin/ocaml
configure:6149: checking for ocamldep
configure:6167: found /usr/bin/ocamldep
configure:6179: result: /usr/bin/ocamldep
configure:6249: checking for ocamlmktop
configure:6267: found /usr/bin/ocamlmktop
configure:6279: result: /usr/bin/ocamlmktop
configure:6349: checking for ocamlmklib
configure:6367: found /usr/bin/ocamlmklib
configure:6379: result: /usr/bin/ocamlmklib
configure:6449: checking for ocamldoc
configure:6467: found /usr/bin/ocamldoc
configure:6479: result: /usr/bin/ocamldoc
configure:6503: checking that the OCaml version is at least 3.12
configure:6518: result: yes
configure:6527: checking that the OCaml version is at least 4.02
configure:6542: result: yes
configure:6751: checking for ocamllex
configure:6769: found /usr/bin/ocamllex
configure:6781: result: /usr/bin/ocamllex
configure:6850: checking for ocamllex.opt
configure:6868: found /usr/bin/ocamllex.opt
configure:6880: result: /usr/bin/ocamllex.opt
configure:8072: checking for ocamlyacc
configure:8090: found /usr/bin/ocamlyacc
configure:8102: result: /usr/bin/ocamlyacc
configure:9290: checking for ocamlfind
configure:9308: found /usr/bin/ocamlfind
configure:9320: result: /usr/bin/ocamlfind
configure:10406: checking for ocamlprof
configure:10424: found /usr/bin/ocamlprof
configure:10436: result: /usr/bin/ocamlprof
configure:11139: verifying basic ocaml modules
configure:11145: coccinelle may use external ocaml libraries in /home/ttabi/coccinelle/bundles
configure:11214: the following OCaml packages should be provided by your ocaml installation
configure:11217: checking for OCaml findlib package unix
configure:11225: result: found
configure:11252: checking for OCaml findlib package bigarray
configure:11260: result: found
configure:11287: checking for OCaml findlib package str
configure:11295: result: found
configure:11322: configuring package dynlink
configure:11332: checking for OCaml findlib package dynlink
configure:11340: result: found
configure:11445: configuring package parmap
configure:11455: checking for OCaml findlib package parmap
configure:11463: result: found
configure:11573: verifying optional features
configure:12095: checking for menhir
configure:12113: found /usr/bin/menhir
configure:12125: result: /usr/bin/menhir
configure:12710: system menhir will be used
configure:12714: system menhir will be used
configure:12858: configuring package pyml
configure:12868: checking for OCaml findlib package pyml
configure:12884: result: not found
configure:12909: OCaml package pyml is not available
configure:12921: checking for a bundled substitute of pyml
configure:12924: result: yes
configure:12926: using bundled substitute for pyml in /home/ttabi/coccinelle/bundles/pyml
configure:13014: checking for PCRE
configure:13021: $PKG_CONFIG --exists --print-errors "libpcre"
configure:13024: $? = 0
configure:13038: $PKG_CONFIG --exists --print-errors "libpcre"
configure:13041: $? = 0
configure:13081: result: yes
configure:13091: configuring package pcre
configure:13101: checking for OCaml findlib package pcre
configure:13109: result: found
configure:13209: checking if pcre depends on bytes
configure:13212: result: yes
configure:13214: checking if bytes is an actual module
configure:13339: result: no
configure:13358: support for pcre syntax is enabled
configure:13948: checking for pdflatex
configure:13966: found /usr/bin/pdflatex
configure:13978: result: /usr/bin/pdflatex
configure:14630: checking for BASH_COMPLETION
configure:14637: $PKG_CONFIG --exists --print-errors "bash-completion >= 2.0"
configure:14640: $? = 0
configure:14654: $PKG_CONFIG --exists --print-errors "bash-completion >= 2.0"
configure:14657: $? = 0
configure:14697: result: yes
configure:14856: checking that generated files are newer than configure
configure:14862: result: done
configure:14885: creating ./config.status
## ---------------------- ##
## Running config.status. ##
## ---------------------- ##
This file was extended by coccinelle config.status 1.0.7-00033-g21afa515-dirty, which was
generated by GNU Autoconf 2.69. Invocation command line was
CONFIG_FILES =
CONFIG_HEADERS =
CONFIG_LINKS =
CONFIG_COMMANDS =
$ ./config.status
on ttabi
config.status:940: creating Makefile.config
config.status:940: creating version.ml
config.status:940: creating commons/commands.ml
config.status:940: creating globals/config.ml
config.status:940: creating globals/regexp.ml
config.status:940: creating python/pycocci.ml
config.status:940: creating ocaml/prepare_ocamlcocci.ml
config.status:940: creating scripts/spatch.sh
config.status:940: creating tools/spgen/scripts/spgen.sh
config.status:940: creating docs/spatch.1
config.status:940: creating setup/Makefile
config.status:1112: executing depfiles commands
configure:16026: configuration completed
## ---------------- ##
## Cache variables. ##
## ---------------- ##
ac_cv_c_compiler_gnu=yes
ac_cv_env_BASH_COMPLETION_CFLAGS_set=
ac_cv_env_BASH_COMPLETION_CFLAGS_value=
ac_cv_env_BASH_COMPLETION_LIBS_set=
ac_cv_env_BASH_COMPLETION_LIBS_value=
ac_cv_env_CC_set=
ac_cv_env_CC_value=
ac_cv_env_CFLAGS_set=
ac_cv_env_CFLAGS_value=
ac_cv_env_COCCI_OCAML_EXTERNAL_set=
ac_cv_env_COCCI_OCAML_EXTERNAL_value=
ac_cv_env_CPPFLAGS_set=
ac_cv_env_CPPFLAGS_value=
ac_cv_env_CPP_set=
ac_cv_env_CPP_value=
ac_cv_env_LDFLAGS_set=
ac_cv_env_LDFLAGS_value=
ac_cv_env_LIBS_set=
ac_cv_env_LIBS_value=
ac_cv_env_MENHIR_set=
ac_cv_env_MENHIR_value=
ac_cv_env_OCAMLFIND_set=
ac_cv_env_OCAMLFIND_value=
ac_cv_env_OCAMLLEX_set=
ac_cv_env_OCAMLLEX_value=
ac_cv_env_OCAMLPROF_set=
ac_cv_env_OCAMLPROF_value=
ac_cv_env_OCAMLYACC_set=
ac_cv_env_OCAMLYACC_value=
ac_cv_env_PCRE_CFLAGS_set=
ac_cv_env_PCRE_CFLAGS_value=
ac_cv_env_PCRE_LIBS_set=
ac_cv_env_PCRE_LIBS_value=
ac_cv_env_PDFLATEX_set=
ac_cv_env_PDFLATEX_value=
ac_cv_env_PKG_CONFIG_LIBDIR_set=
ac_cv_env_PKG_CONFIG_LIBDIR_value=
ac_cv_env_PKG_CONFIG_PATH_set=
ac_cv_env_PKG_CONFIG_PATH_value=
ac_cv_env_PKG_CONFIG_set=
ac_cv_env_PKG_CONFIG_value=
ac_cv_env_PYVER_set=
ac_cv_env_PYVER_value=
ac_cv_env_RUNTIME_OCAMLC_CMD_set=
ac_cv_env_RUNTIME_OCAMLC_CMD_value=
ac_cv_env_RUNTIME_OCAMLDEP_CMD_set=
ac_cv_env_RUNTIME_OCAMLDEP_CMD_value=
ac_cv_env_RUNTIME_OCAMLFIND_CMD_set=
ac_cv_env_RUNTIME_OCAMLFIND_CMD_value=
ac_cv_env_RUNTIME_OCAMLOPT_CMD_set=
ac_cv_env_RUNTIME_OCAMLOPT_CMD_value=
ac_cv_env_build_alias_set=
ac_cv_env_build_alias_value=
ac_cv_env_host_alias_set=
ac_cv_env_host_alias_value=
ac_cv_env_target_alias_set=
ac_cv_env_target_alias_value=
ac_cv_objext=o
ac_cv_path_BASH=/bin/bash
ac_cv_path_ECHO=/bin/echo
ac_cv_path_PATCH=/usr/bin/patch
ac_cv_path_TAR=/bin/tar
ac_cv_path_ac_pt_GIT=/usr/bin/git
ac_cv_path_ac_pt_MENHIR=/usr/bin/menhir
ac_cv_path_ac_pt_OCAML=/usr/bin/ocaml
ac_cv_path_ac_pt_OCAMLC=/usr/bin/ocamlc
ac_cv_path_ac_pt_OCAMLCDOTOPT=/usr/bin/ocamlc.opt
ac_cv_path_ac_pt_OCAMLDEP=/usr/bin/ocamldep
ac_cv_path_ac_pt_OCAMLDOC=/usr/bin/ocamldoc
ac_cv_path_ac_pt_OCAMLFIND=/usr/bin/ocamlfind
ac_cv_path_ac_pt_OCAMLLEX=/usr/bin/ocamllex
ac_cv_path_ac_pt_OCAMLLEXDOTOPT=/usr/bin/ocamllex.opt
ac_cv_path_ac_pt_OCAMLMKLIB=/usr/bin/ocamlmklib
ac_cv_path_ac_pt_OCAMLMKTOP=/usr/bin/ocamlmktop
ac_cv_path_ac_pt_OCAMLOPT=/usr/bin/ocamlopt
ac_cv_path_ac_pt_OCAMLOPTDOTOPT=/usr/bin/ocamlopt.opt
ac_cv_path_ac_pt_OCAMLPROF=/usr/bin/ocamlprof
ac_cv_path_ac_pt_OCAMLYACC=/usr/bin/ocamlyacc
ac_cv_path_ac_pt_PDFLATEX=/usr/bin/pdflatex
ac_cv_path_ac_pt_PKG_CONFIG=/usr/bin/pkg-config
ac_cv_path_install='/usr/bin/install -c'
ac_cv_path_mkdir=/bin/mkdir
ac_cv_prog_AWK=gawk
ac_cv_prog_CPP='gcc -E'
ac_cv_prog_ac_ct_CC=gcc
ac_cv_prog_cc_c89=
ac_cv_prog_cc_g=yes
ac_cv_prog_make_make_set=yes
am_cv_CC_dependencies_compiler_type=none
am_cv_make_support_nested_variables=yes
am_cv_prog_cc_c_o=yes
pkg_cv_BASH_COMPLETION_CFLAGS=
pkg_cv_BASH_COMPLETION_LIBS=
pkg_cv_PCRE_CFLAGS=
pkg_cv_PCRE_LIBS=-lpcre
## ----------------- ##
## Output variables. ##
## ----------------- ##
ACLOCAL='${SHELL} /home/ttabi/coccinelle/setup/missing aclocal-1.15'
AMDEPBACKSLASH='\'
AMDEP_FALSE='#'
AMDEP_TRUE=''
AMTAR='$${TAR-tar}'
AM_BACKSLASH='\'
AM_DEFAULT_V='$(AM_DEFAULT_VERBOSITY)'
AM_DEFAULT_VERBOSITY='1'
AM_V='$(V)'
AUTOCONF='${SHELL} /home/ttabi/coccinelle/setup/missing autoconf'
AUTOHEADER='${SHELL} /home/ttabi/coccinelle/setup/missing autoheader'
AUTOMAKE='${SHELL} /home/ttabi/coccinelle/setup/missing automake-1.15'
AWK='gawk'
BASH='/bin/bash'
BASH_COMPLETION_CFLAGS=''
BASH_COMPLETION_DIR='/usr/share/bash-completion/completions'
BASH_COMPLETION_LIBS=''
CC='gcc'
CCDEPMODE='depmode=none'
CFLAGS='-g -O2'
COCCI_OCAML_EXTERNAL='/home/ttabi/coccinelle/bundles'
COCCI_SRCDIR='/home/ttabi/coccinelle'
COCCI_VERSION='1.0.7-00033-g21afa515-dirty'
CONFIGURE_FLAGS=''
CONFVERSION='Sun, 14 Oct 2018 21:55:15 +0200'
CPP='gcc -E'
CPPFLAGS=''
CYGPATH_W='echo'
DATE=''
DEFS='-DPACKAGE_NAME=\"coccinelle\" -DPACKAGE_TARNAME=\"coccinelle\" -DPACKAGE_VERSION=\"1.0.7-00033-g21afa515-dirty\" -DPACKAGE_STRING=\"coccinelle\ 1.0.7-00033-g21afa515-dirty\" -DPACKAGE_BUGREPORT=\"[email protected]\" -DPACKAGE_URL=\"http://coccinelle.lip6.fr/\"; -DPACKAGE=\"coccinelle\" -DVERSION=\"1.0.7-00033-g21afa515-dirty\"'
DEPDIR='.deps'
DYNLINK_IS_NATIVE='Dynlink.is_native'
ECHO='/bin/echo'
ECHO_C=''
ECHO_N='-n'
ECHO_T=''
EXEEXT=''
FEATURE_OCAML='1'
FEATURE_PYTHON='1'
FEATURE_bytes='0'
FEATURE_dynlink='1'
FEATURE_menhirLib='1'
FEATURE_parmap='1'
FEATURE_pcre='1'
FEATURE_pyml='1'
FLAGS_bytes=''
FLAGS_dynlink='$(FLAGS_dynlink)'
FLAGS_menhirLib=''
FLAGS_parmap='$(FLAGS_parmap)'
FLAGS_pcre='$(FLAGS_pcre)'
FLAGS_pyml='$(FLAGS_pyml)'
GET_TEMP_DIR_NAME_EXPR='(Filename.get_temp_dir_name ())'
GIT='/usr/bin/git'
GLOBAL_bytes=''
GLOBAL_dynlink='dynlink'
GLOBAL_parmap='parmap'
GLOBAL_pcre='pcre'
GLOBAL_pyml='no'
HAVE_PCRE='yes'
INSTALL='/usr/bin/install -c'
INSTALL_DATA='${INSTALL} -m 644'
INSTALL_PROGRAM='${INSTALL}'
INSTALL_SCRIPT='${INSTALL}'
INSTALL_STRIP_PROGRAM='$(install_sh) -c -s'
LDFLAGS=''
LIBDIR='${exec_prefix}/lib/coccinelle'
LIBOBJS=''
LIBS=''
LOCALLIB_bytes='0'
LOCALLIB_dynlink='0'
LOCALLIB_parmap='0'
LOCALLIB_pcre='0'
LOCALLIB_pyml='1'
LTLIBOBJS=''
MAKEINFO='${SHELL} /home/ttabi/coccinelle/setup/missing makeinfo'
MAKETARGET_SPATCH='opt-only'
MAKE_bytes=''
MAKE_dynlink=''
MAKE_menhirLib=''
MAKE_parmap=''
MAKE_pcre=''
MAKE_pyml='/home/ttabi/coccinelle/bundles/pyml'
MENHIR='/usr/bin/menhir'
MKDIR_P='/bin/mkdir -p'
MODULESOPT_bytes=''
MODULESOPT_dynlink='$(GLOBALOPT_dynlink)'
MODULESOPT_menhirLib=''
MODULESOPT_parmap='$(GLOBALOPT_parmap)'
MODULESOPT_pcre='$(GLOBALOPT_pcre)'
MODULESOPT_pyml='$(LOCALOPT_pyml)'
MODULES_bytes=''
MODULES_dynlink='$(GLOBAL_dynlink)'
MODULES_menhirLib=''
MODULES_parmap='$(GLOBAL_parmap)'
MODULES_pcre='$(GLOBAL_pcre)'
MODULES_pyml='$(LOCAL_pyml)'
OBJEXT='o'
OCAML='/usr/bin/ocaml'
OCAMLATLEAST312='yes'
OCAMLATLEAST4020='yes'
OCAMLBEST='opt'
OCAMLC='/usr/bin/ocamlc.opt'
OCAMLCDOTOPT='/usr/bin/ocamlc.opt'
OCAMLCOCCI_FILE='yes_prepare_ocamlcocci.ml'
OCAMLCOCCI_MODULE='Yes_prepare_ocamlcocci'
OCAMLCORIG='/usr/bin/ocamlc.opt'
OCAMLDEP='/usr/bin/ocamldep'
OCAMLDOC='/usr/bin/ocamldoc'
OCAMLFIND='/usr/bin/ocamlfind'
OCAMLLEX='/usr/bin/ocamllex.opt'
OCAMLLEXDOTOPT='/usr/bin/ocamllex.opt'
OCAMLLIB='/usr/lib/ocaml'
OCAMLMKLIB='/usr/bin/ocamlmklib'
OCAMLMKTOP='/usr/bin/ocamlmktop'
OCAMLOPT='/usr/bin/ocamlopt.opt'
OCAMLOPTDOTOPT='/usr/bin/ocamlopt.opt'
OCAMLPROF='/usr/bin/ocamlprof'
OCAMLVERSION='4.05.0'
OCAMLYACC='/usr/bin/ocamlyacc'
OCAML_PKG_bigarray='bigarray'
OCAML_PKG_bytes=''
OCAML_PKG_dynlink='dynlink'
OCAML_PKG_parmap='parmap'
OCAML_PKG_pcre='pcre'
OCAML_PKG_pyml='no'
OCAML_PKG_str='str'
OCAML_PKG_unix='unix'
OPTFLAGS_bytes=''
OPTFLAGS_dynlink='$(OPTFLAGS_dynlink)'
OPTFLAGS_menhirLib=''
OPTFLAGS_parmap='$(OPTFLAGS_parmap)'
OPTFLAGS_pcre='$(OPTFLAGS_pcre)'
OPTFLAGS_pyml='$(OPTFLAGS_pyml)'
OPTIMIZED_dynlink='yes'
PACKAGE='coccinelle'
PACKAGE_BUGREPORT='[email protected]'
PACKAGE_NAME='coccinelle'
PACKAGE_STRING='coccinelle 1.0.7-00033-g21afa515-dirty'
PACKAGE_TARNAME='coccinelle'
PACKAGE_URL='http://coccinelle.lip6.fr/'
PACKAGE_VERSION='1.0.7-00033-g21afa515-dirty'
PATCH='/usr/bin/patch'
PATCHELF=''
PATH_SEPARATOR=':'
PATH_bigarray='/usr/lib/ocaml'
PATH_bytes=''
PATH_dynlink='/usr/lib/ocaml'
PATH_menhirLib='/usr/lib/ocaml/menhirLib'
PATH_menhirLib_bundle='/home/ttabi/coccinelle/bundles/menhirLib'
PATH_menhir_bundle='/home/ttabi/coccinelle/bundles/menhirLib/menhir'
PATH_parmap='/usr/lib/ocaml/parmap'
PATH_pcre='/usr/lib/ocaml/pcre'
PATH_pyml='/home/ttabi/coccinelle/bundles/pyml'
PATH_str='/usr/lib/ocaml'
PATH_unix='/usr/lib/ocaml'
PCRE_CFLAGS=''
PCRE_LIBS='-lpcre'
PDFLATEX='/usr/bin/pdflatex'
PKG_CONFIG='/home/ttabi/coccinelle/setup/fake-subst.sh /usr/bin/pkg-config'
PKG_CONFIG_LIBDIR=''
PKG_CONFIG_ORIG='/usr/bin/pkg-config'
PKG_CONFIG_PATH=''
PYCOCCI_FILE='yes_pycocci.ml'
PYCOCCI_MODULE='Yes_pycocci'
PYTHON='python'
PYVER=''
REGEXP_FILE='regexp_pcre.ml'
REGEXP_MODULE='Regexp_pcre'
RUNTIME_OCAMLC_CMD='ocamlc'
RUNTIME_OCAMLDEP_CMD='ocamldep'
RUNTIME_OCAMLFIND_CMD='ocamlfind'
RUNTIME_OCAMLOPT_CMD='ocamlopt'
SET_MAKE=''
SHELL='/bin/bash'
SPATCHNAME='spatch.opt'
STRIP=''
SUBSTITUTED_MENHIR=''
SUBSTITUTED_OCAMLFIND=''
SUBSTITUTED_OCAMLLEX=''
SUBSTITUTED_OCAMLPROF=''
SUBSTITUTED_OCAMLYACC=''
SUBSTITUTED_PDFLATEX=''
SUBSTITUTED_PKG_CONFIG=''
TAR='/bin/tar'
VERSION='1.0.7-00033-g21afa515-dirty'
ac_ct_CC='gcc'
am__EXEEXT_FALSE=''
am__EXEEXT_TRUE='#'
am__fastdepCC_FALSE=''
am__fastdepCC_TRUE='#'
am__include='include'
am__isrc=''
am__leading_dot='.'
am__nodep='_no'
am__quote=''
am__tar='$${TAR-tar} chof - "$$tardir"'
am__untar='$${TAR-tar} xf -'
bindir='${exec_prefix}/bin'
build_alias=''
datadir='${datarootdir}'
datarootdir='${prefix}/share'
docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
dvidir='${docdir}'
enable_bytes=''
enable_dynlink='yes'
enable_ocaml='yes'
enable_opt='yes'
enable_parmap='yes'
enable_pcre='yes'
enable_pcre_syntax=''
enable_pyml='local'
enable_python='yes'
exec_prefix='${prefix}'
host_alias=''
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
install_sh='${SHELL} /home/ttabi/coccinelle/setup/install-sh'
libdir='${exec_prefix}/lib'
libexecdir='${exec_prefix}/libexec'
localedir='${datarootdir}/locale'
localstatedir='${prefix}/var'
mandir='${datarootdir}/man'
mkdir_p='$(MKDIR_P)'
oldincludedir='/usr/include'
pdfdir='${docdir}'
prefix='/usr/local'
program_transform_name='s,x,x,'
psdir='${docdir}'
runstatedir='${localstatedir}/run'
sbindir='${exec_prefix}/sbin'
sharedstatedir='${prefix}/com'
sysconfdir='${prefix}/etc'
target_alias=''
with_MENHIR=''
with_OCAMLFIND=''
with_OCAMLLEX=''
with_OCAMLPROF=''
with_OCAMLYACC=''
with_PDFLATEX=''
with_PKG_CONFIG=''
with_bash_completion='yes'
## ----------- ##
## confdefs.h. ##
## ----------- ##
/* confdefs.h */
#define PACKAGE_NAME "coccinelle"
#define PACKAGE_TARNAME "coccinelle"
#define PACKAGE_VERSION "1.0.7-00033-g21afa515-dirty"
#define PACKAGE_STRING "coccinelle 1.0.7-00033-g21afa515-dirty"
#define PACKAGE_BUGREPORT "[email protected]"
#define PACKAGE_URL "http://coccinelle.lip6.fr/";
#define PACKAGE "coccinelle"
#define VERSION "1.0.7-00033-g21afa515-dirty"
configure: exit 0
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
