| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 0002457 | Frama-C | Kernel > configure | public | 2019-06-20 00:50 | 2019-06-20 14:18 | ||||||||
| Reporter | madroach | ||||||||||||
| Assigned To | virgile | ||||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||||||
| Status | assigned | Resolution | open | ||||||||||
| Platform | amd64 | OS | OpenBSD | OS Version | 6.5 | ||||||||
| Product Version | Frama-C GIT, precise the release id | ||||||||||||
| Target Version | Fixed in Version | ||||||||||||
| Summary | 0002457: configure does not detect gtksourceview due to wrong path | ||||||||||||
| Description | This is on 19.0-beta2. due to looking in the wrong directory, gtksourceview is not found. Diff can be found in `Additional Information` | ||||||||||||
| Additional Information | Index: 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) | ||||||||||||
| Tags | No tags attached. | ||||||||||||
| Attached Files |
| ||||||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
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" |
|
madroach (reporter) 2019-06-20 13:36 |
Thanks, I removed my patch, applied yours and it configures fine. |
|
virgile (developer) 2019-06-20 14:18 |
Cool. Many thanks for the feedback. |
| Notes |
| 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 | |
| Issue History |