2021-02-24 19:17 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000647Frama-CKernel > configurepublic2011-02-09 14:37
Assigned Tosignoles 
Product VersionFrama-C Carbon-20101202-beta2 
Target VersionFixed in VersionFrama-C Carbon-20110201 
Summary0000647: lib apron not found in configure
DescriptionI 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 libapron.so -> libapron.so.0
-rw-r--r-- 1 root root 783696 2010-02-24 20:09 libapron.so.0

Additional InformationI take a look to configure.in
jmharang@po25975:~/src/frama-c/frama-c-Carbon-20101202-beta2$ grep apron configure.in
# [JS 2009/03/25] apron must be configured before why/jc which uses $HAS_APRON
           [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

TagsNo tags attached.
Attached Files




signoles (manager)

Frama-C does not depend on Apron anymore. Only Why may use it for Jessie.

-Issue History
Date Modified Username Field Change
2010-12-22 15:16 jmharang New Issue
2010-12-22 15:16 jmharang Status new => assigned
2010-12-22 15:16 jmharang Assigned To => virgile
2011-01-21 16:39 signoles Assigned To virgile => signoles
2011-01-24 11:06 svn
2011-01-24 11:07 signoles Note Added: 0001408
2011-01-24 11:07 signoles Status assigned => resolved
2011-01-24 11:07 signoles Resolution open => fixed
2011-02-09 14:36 signoles Status resolved => closed
2011-02-09 14:37 signoles Fixed in Version => Frama-C Carbon-20110201
+Issue History