Frama-C Bug Tracking System - Frama-C
View Issue Details
0002457Frama-CKernel > configurepublic2019-06-20 00:502019-06-20 14:18
Reportermadroach 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
Platformamd64OSOpenBSDOS Version6.5
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in Version 
Summary0002457: configure does not detect gtksourceview due to wrong path
DescriptionThis is on 19.0-beta2.
due to looking in the wrong directory, gtksourceview is not found.
Diff can be found in `Additional Information`
Additional InformationIndex: configure.in
--- configure.in.orig
+++ configure.in
@@ -975,8 +975,8 @@ else
 fi
 
 configure_library([GTKSOURCEVIEW],
- [$SOURCEVIEW_PATH/lablgtksourceview2.$LIB_SUFFIX,
- $SOURCEVIEW_PATH/lablgtk3_sourceview3.$LIB_SUFFIX],
+ [$LABLGTKPATH_FOR_CONFIGURE/lablgtksourceview2.$LIB_SUFFIX,
+ $LABLGTKPATH_FOR_CONFIGURE/lablgtk3_sourceview3.$LIB_SUFFIX],
                   [lablgtksourceview not found],
                   no)

TagsNo tags attached.
Attached Files

Notes
(0006800)
virgile   
2019-06-20 08:55   
SOURCEVIEW_PATH is intended to be the path where the sourceview library is installed (while it is equal to $LABLGTKPATH_FOR_CONFIGURE in lablgtk2, this is not necessarily the case in lablgtk3, hence the distinction between the two variables). Thus I think that a proper fix would be to ensure that SOURCEVIEW_PATH has an appropriate value in the first place. Could you check whether the following patch solves your issue? If not, could you provide the content of config.log?

diff --git a/configure.in b/configure.in
index 1c508452c3..385594f975 100644
--- a/configure.in
+++ b/configure.in
@@ -967,7 +967,7 @@ if test "$SOURCEVIEW_PATH" = ""; then
        echo "Ocamlfind -> using $LABLGTK_PATH"
        LABLGTKPATH_FOR_CONFIGURE=$LABLGTK_PATH
   fi;
- SOURCEVIEW_PATH=$LABLGTK_PATH;
+ SOURCEVIEW_PATH=$LABLGTKPATH_FOR_CONFIGURE;
 else
   LABLGTK_VERSION=3
   echo "ocamlfind -> using $LABLGTK_PATH"
(0006802)
madroach   
2019-06-20 13:36   
Thanks, I removed my patch, applied yours and it configures fine.
(0006803)
virgile   
2019-06-20 14:18   
Cool. Many thanks for the feedback.

Issue History
2019-06-20 00:50madroachNew Issue
2019-06-20 00:50madroachStatusnew => assigned
2019-06-20 00:50madroachAssigned To => virgile
2019-06-20 08:55virgileNote Added: 0006800
2019-06-20 13:36madroachNote Added: 0006802
2019-06-20 14:18virgileNote Added: 0006803