Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
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

- Relationships

-  Notes
(0006800)
virgile (developer)
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 (reporter)
2019-06-20 13:36

Thanks, I removed my patch, applied yours and it configures fine.
(0006803)
virgile (developer)
2019-06-20 14:18

Cool. Many thanks for the feedback.

- Issue History
Date Modified Username Field Change
2019-06-20 00:50 madroach New Issue
2019-06-20 00:50 madroach Status new => assigned
2019-06-20 00:50 madroach Assigned To => virgile
2019-06-20 08:55 virgile Note Added: 0006800
2019-06-20 13:36 madroach Note Added: 0006802
2019-06-20 14:18 virgile Note Added: 0006803


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker