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_STAG_OF_STRING=Format.String_tag s else
| 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?