0001454: Configure script's autolocation of local OcamlGraph breaks out of tree builds

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001454

Frama-C

Kernel > configure

public

2013-07-08 02:25

2014-03-14 22:01

Reporter

sstewartgallus

Assigned To

virgile

Priority

normal

Severity

minor

Reproducibility

always

Status

assigned

Resolution

open

Platform

OS Version

Product Version

Frama-C Fluorine-20130601

Target Version

Fixed in Version

Summary

0001454: Configure script's autolocation of local OcamlGraph breaks out of tree builds

Description

I prefer to build my software packages out of tree. My personal arrangement is to have one sources directory, and one builds directory. I would then run my packages configure script inside a subdirectory of the sources directory specifically for that package, and build from there. It is great that a version of OcamlGraph is distributed with Frama-C but unfortunately the configure script can only find it if the current directory is the source directory, and this breaks out of tree builds. The problematic line in configure.in appears to be: AC_CHECK_FILE($OCAMLGRAPH_LOCAL,OCAMLGRAPH_EXISTS=yes) This line could probable be fixed in multiple ways. There's probably an autoconf macro for looking for a file in the source directory that's better than AC_CHECK_FILE, or one could define OCAMLGRAPH_LOCAL to use the invocation of ./configure to locate the directory it's located in (which would be something like ("$(cd $(dirname $0) && pwd)/ocamlgraph".)

Tags

No tags attached.

Attached Files

Relationships

Notes
(0004965) sstewartgallus (reporter) 2014-03-14 21:38	The latest NEON version of frama-c also has similar problems with sed scripts (for example, one configure error for building out of tree is sed: couldn't open file bin/sed_get_make_major: No such file or directory)

Issue History
Date Modified	Username	Field	Change
2013-07-08 02:25	sstewartgallus	New Issue
2013-07-08 02:25	sstewartgallus	Status	new => assigned
2013-07-08 02:25	sstewartgallus	Assigned To	=> virgile
2014-03-14 21:38	sstewartgallus	Note Added: 0004965