ID0002458: **This issue was created automatically from Mantis Issue 2458. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002458 | 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-current | | **Product Version** | Frama-C GIT, precise the release id | **Target Version** | - | **Fixed in Version** | - | ### Description : here's the patch: Index: Makefile.generating --- Makefile.generating.orig +++ Makefile.generating @@ -153,8 +153,8 @@ endif ifeq ($(HAS_OCAML408),yes) DYNLINK_INIT=fun () -> () FORMAT_STAG=stag - FORMAT_STRING_OF_STAG=match s with\n\ - | Format.String_tag str -> str\n\ + FORMAT_STRING_OF_STAG=match s with \ + | Format.String_tag str -> str \ | _ -> raise (Invalid_argument "unsupported tag extension") FORMAT_STAG_OF_STRING=Format.String_tag s else The \n quoting does not work on GNU make 4.2.1. I get FORMAT_STRING_OF_STAG='match s withn | Format …` The GNU make manual recommends to use the 'define' keyword to assign multi-line values to make variables, but why bother? We don't need the linebreaks, do we?