build failure due to mangled variable assignment in Makefile
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")
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?