lib apron not found in configure

ID0000647: This issue was created automatically from Mantis Issue 647. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0000647	Frama-C	Kernel > configure	public	2010-12-22	2011-02-09

Reporter	jmharang	Assigned To	signoles	Resolution	fixed
Priority	normal	Severity	feature	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Carbon-20101202-beta2	Target Version	-	Fixed in Version	Frama-C Carbon-20110201

Description :

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 libapron.so -> libapron.so.0 -rw-r--r-- 1 root root 783696 2010-02-24 20:09 libapron.so.0

Additional Information :

I 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

          [/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