GitLab

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?