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")

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?

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information