Frama-C Bug Tracking System - Frama-C
View Issue Details
0000647Frama-CKernel > configurepublic2010-12-22 15:162011-02-09 14:37
Frama-C Carbon-20101202-beta2 
Frama-C Carbon-20110201 
0000647: lib apron not found in configure
I build the beta release on a ubuntu 10.04 (LTS) : Lib Apron not found by configure .. checking for /usr/local/lib/apron.a... no checking for /usr/lib/apron.a... no .. but : jmharang@po25975:~/src/frama-c/frama-c-Carbon-20101202-beta2$ dpkg -l | grep -i apron ii libapron 0.9.10-4build1 Runtime libraries for APRON ii libapron-dev 0.9.10-4build1 An abstract interpretation library ii libapron-ocaml 0.9.10-4build1 Runtime libraries for APRON ii libapron-ocaml-dev 0.9.10-4build1 An abstract interpretation library and : jmharang@po25975:/usr/lib$ ls -Al libapron* lrwxrwxrwx 1 root root 13 2010-12-21 17:10 -> -rw-r--r-- 1 root root 783696 2010-02-24 20:09
I take a look to jmharang@po25975:~/src/frama-c/frama-c-Carbon-20101202-beta2$ grep apron # [JS 2009/03/25] apron must be configured before why/jc which uses $HAS_APRON [/usr/local/lib/apron.a,/usr/lib/apron.a], [apron not found]) ./configure search apron.a and not libapron.a I patch my configure (sh) to find it and it's seems ok. In boron (frama-c-Boron-20100401-why-2.24) : config.log:configure:7525: checking for /usr/local/lib/apron.a config.log:configure:7550: checking for /usr/lib/apron.a config.log:ac_cv_file__usr_lib_apron_a=no config.log:ac_cv_file__usr_local_lib_apron_a=no
No tags attached.
Issue History
2010-12-22 15:16jmharangNew Issue
2010-12-22 15:16jmharangStatusnew => assigned
2010-12-22 15:16jmharangAssigned To => virgile
2011-01-21 16:39signolesAssigned Tovirgile => signoles
2011-01-24 11:06svnCheckin
2011-01-24 11:07signolesNote Added: 0001408
2011-01-24 11:07signolesStatusassigned => resolved
2011-01-24 11:07signolesResolutionopen => fixed
2011-02-09 14:36signolesStatusresolved => closed
2011-02-09 14:37signolesFixed in Version => Frama-C Carbon-20110201

2011-01-24 11:07   
Frama-C does not depend on Apron anymore. Only Why may use it for Jessie.