Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 208
    • Issues 208
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #158

Closed
Open
Created Jun 20, 2019 by mantis-gitlab-migration@mantis-gitlab-migration

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
Assignee
Assign to
Time tracking