Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Why/Jessie plugin version 2.22 is out



Hello Julien,

This is the relevant part of my .bashrc:

export PATH=$PATH:/cygdrive/c/Program\ Files/emacs-22.1/bin/:/cygdrive/c/Frama-C/bin:/cygdrive/c/Program\ Files/Alt-Ergo/bin:/cygdrive/c/Program\ Files/Why/bin
export CAMLLIB=/cygdrive/c/Frama-C/lib
export OCAMLLIB=/cygdrive/c/Frama-C/lib
export CAML_LD_LIBRARY_PATH=/cygdrive/c/Frama-C/lib/stublibs

However, it still doesn't work:

~/tmp/why-2.22> ./configure -prefix=/cygdrive/c/Frama-C/lib
checking executable suffix... .exe
checking for ocamlc... ocamlc
ocaml version is 3.11.0
ocaml library path is /cygdrive/c/Frama-C/lib
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
checking for /cygdrive/c/Frama-C/lib/graph.cmi... no
checking for /cygdrive/c/Frama-C/lib/ocamlgraph/graph.cmi... no
checking for ocamlgraph/src/sig.mli... yes
checking ocamlgraph version... failed
Switching to local ocamlgraph
checking ocamlgraph compilation... configure: error: cannot compile ocamlgraph in ocamlgraph

Here's the tail of config.log:

PATH: /usr/local/bin
PATH: /usr/bin
PATH: /bin
PATH: /usr/X11R6/bin
PATH: /cygdrive/c/Program Files/MiKTeX 2.8/miktex/bin
PATH: /cygdrive/c/WINNT/system32
PATH: /cygdrive/c/WINNT
PATH: /cygdrive/c/WINNT/System32/Wbem
PATH: /cygdrive/c/Program Files/ATI Technologies/Fire GL 3D Studio Max
PATH: /cygdrive/c/Program Files/Microsoft SQL Server/90/Tools/binn/
PATH: /cygdrive/c/Program Files/Objective Caml/bin
PATH: /cygdrive/c/Program Files/7-Zip
PATH: /cygdrive/c/texmf/miktex/bin
PATH: /cygdrive/c/jumbl
PATH: /cygdrive/c/Frama-C/bin
PATH: /cygdrive/c/Frama-C/bin
PATH: /usr/bin
PATH: /cygdrive/c/Program Files/Objective Caml/bin
PATH: /cygdrive/c/Program Files/Java/jre1.6.0_03/bin
PATH: /cygdrive/c/Frama-C/bin
PATH: /cygdrive/c/program files/microsoft research/vcc/Binaries/
PATH: /cygdrive/c/Frama-C/bin
PATH: /cygdrive/c/Frama-C/bin/bin
PATH: /cygdrive/c/Program Files/emacs-22.1/bin/
PATH: /cygdrive/c/Frama-C/bin
PATH: /cygdrive/c/Program Files/Alt-Ergo/bin
PATH: /cygdrive/c/Program Files/Why/bin


## ----------- ##
## Core tests. ##
## ----------- ##

configure:1772: checking executable suffix
configure:1778: result: .exe
configure:1793: checking for ocamlc
configure:1809: found /cygdrive/c/Program Files/Objective Caml/bin/ocamlc
configure:1821: result: ocamlc
configure:1864: checking for ocamlopt
configure:1880: found /cygdrive/c/Program Files/Objective Caml/bin/ocamlopt
configure:1892: result: ocamlopt
configure:1905: checking ocamlopt version
configure:1913: result: ok
configure:1922: checking for ocamlc.opt
configure:1938: found /cygdrive/c/Program Files/Objective Caml/bin/ocamlc.opt
configure:1950: result: ocamlc.opt
configure:1959: checking ocamlc.opt version
configure:1966: result: ok
configure:1976: checking for ocamlopt.opt
configure:1992: found /cygdrive/c/Program Files/Objective Caml/bin/ocamlopt.opt
configure:2004: result: ocamlopt.opt
configure:2013: checking ocamlc.opt version
configure:2020: result: ok
configure:2030: checking for ocamldep
configure:2046: found /cygdrive/c/Program Files/Objective Caml/bin/ocamldep
configure:2058: result: ocamldep
configure:2073: checking for ocamldep.opt
configure:2089: found /cygdrive/c/Program Files/Objective Caml/bin/ocamldep.opt
configure:2101: result: ocamldep.opt
configure:2116: checking for ocamllex
configure:2132: found /cygdrive/c/Program Files/Objective Caml/bin/ocamllex
configure:2144: result: ocamllex
configure:2159: checking for ocamllex.opt
configure:2175: found /cygdrive/c/Program Files/Objective Caml/bin/ocamllex.opt
configure:2187: result: ocamllex.opt
configure:2202: checking for ocamlyacc
configure:2218: found /cygdrive/c/Program Files/Objective Caml/bin/ocamlyacc
configure:2230: result: ocamlyacc
configure:2246: checking for ocamldoc
configure:2262: found /cygdrive/c/Program Files/Objective Caml/bin/ocamldoc
configure:2274: result: ocamldoc
configure:2288: checking for ocamldoc.opt
configure:2304: found /cygdrive/c/Program Files/Objective Caml/bin/ocamldoc.opt
configure:2316: result: ocamldoc.opt
configure:2335: checking for /cygdrive/c/Frama-C/lib/graph.cmi
configure:2352: result: no
configure:2364: checking for /cygdrive/c/Frama-C/lib/ocamlgraph/graph.cmi
configure:2381: result: no
configure:2392: checking for ocamlgraph/src/sig.mli
configure:2407: result: yes
configure:2435: checking ocamlgraph version
configure:2442: result: failed
configure:2445: result: Switching to local ocamlgraph
configure:2460: checking ocamlgraph compilation
configure:2466: error: cannot compile ocamlgraph in ocamlgraph

## ---------------- ##
## Cache variables. ##
## ---------------- ##

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_file__cygdrive_c_Frama_C_lib_graph_cmi=no
ac_cv_file__cygdrive_c_Frama_C_lib_ocamlgraph_graph_cmi=no
ac_cv_file_ocamlgraph_src_sig_mli=yes
ac_cv_prog_OCAMLC=ocamlc
ac_cv_prog_OCAMLCDOTOPT=ocamlc.opt
ac_cv_prog_OCAMLDEP=ocamldep
ac_cv_prog_OCAMLDEPDOTOPT=ocamldep.opt
ac_cv_prog_OCAMLDOC=ocamldoc
ac_cv_prog_OCAMLDOCOPT=ocamldoc.opt
ac_cv_prog_OCAMLLEX=ocamllex
ac_cv_prog_OCAMLLEXDOTOPT=ocamllex.opt
ac_cv_prog_OCAMLOPT=ocamlopt
ac_cv_prog_OCAMLOPTDOTOPT=ocamlopt.opt
ac_cv_prog_OCAMLYACC=ocamlyacc

## ----------------- ##
## Output variables. ##
## ----------------- ##

APRONLIB=''
APRONLIBS=''
ATPCMO=''
CAMLP4O=''
COQ=''
COQC7=''
COQC8=''
COQC=''
COQDEP=''
COQLIB=''
COQVER=''
CPULIMIT='cpulimit-win'
DEFS=''
ECHO_C=''
ECHO_N='-n'
ECHO_T=''
EXE='.exe'
FORPACK='-for-pack Graph'
FRAMAC=''
INCLUDEGTK2=''
JESSIELIBCOQ=''
LABLGTK2=''
LIBOBJS=''
LIBS=''
LTLIBOBJS=''
MIZAR=''
MIZARLIB=''
MIZF=''
OCAMLBEST='opt'
OCAMLC='ocamlc.opt'
OCAMLCDOTOPT='ocamlc.opt'
OCAMLDEP='ocamldep.opt'
OCAMLDEPDOTOPT='ocamldep.opt'
OCAMLDOC='ocamldoc.opt'
OCAMLDOCOPT='ocamldoc.opt'
OCAMLGRAPHLIB='-I ocamlgraph'
OCAMLLEX='ocamllex.opt'
OCAMLLEXDOTOPT='ocamllex.opt'
OCAMLLIB='/cygdrive/c/Frama-C/lib'
OCAMLOPT='ocamlopt.opt'
OCAMLOPTDOTOPT='ocamlopt.opt'
OCAMLV=''
OCAMLVERSION='3.11.0'
OCAMLWEB=''
OCAMLYACC='ocamlyacc'
PACKAGE_BUGREPORT=''
PACKAGE_NAME=''
PACKAGE_STRING=''
PACKAGE_TARNAME=''
PACKAGE_VERSION=''
PATH_SEPARATOR=':'
PVS=''
PVSC=''
PVSLIB=''
SHELL='/bin/sh'
STRIP='echo "no strip "'
VERBOSEMAKE='no'
WHYFLOATS=''
WHYLIBCOQ=''
bindir='${exec_prefix}/bin'
build_alias=''
datadir='${datarootdir}'
datarootdir='${prefix}/share'
docdir='${datarootdir}/doc/${PACKAGE}'
dvidir='${docdir}'
enable_apron=''
exec_prefix='NONE'
host_alias=''
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
libdir='${exec_prefix}/lib'
libexecdir='${exec_prefix}/libexec'
localedir='${datarootdir}/locale'
localstatedir='${prefix}/var'
mandir='${datarootdir}/man'
oldincludedir='/usr/include'
pdfdir='${docdir}'
prefix='/cygdrive/c/Frama-C/lib'
program_transform_name='s,x,x,'
psdir='${docdir}'
sbindir='${exec_prefix}/sbin'
sharedstatedir='${prefix}/com'
sysconfdir='${prefix}/etc'
target_alias=''

## ----------- ##
## confdefs.h. ##
## ----------- ##

#define PACKAGE_NAME ""
#define PACKAGE_TARNAME ""
#define PACKAGE_VERSION ""
#define PACKAGE_STRING ""
#define PACKAGE_BUGREPORT ""

configure: exit 1