ID0002457: **This issue was created automatically from Mantis Issue 2457. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002457 | Frama-C | Kernel > configure | public | 2019-06-20 | 2019-06-20 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | madroach | **Assigned To** | virgile | **Resolution** | open | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | amd64 | **OS** | OpenBSD | **OS Version** | 6.5 | | **Product Version** | Frama-C GIT, precise the release id | **Target Version** | - | **Fixed in Version** | - | ### 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)