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?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information