Skip to content

Instantly share code, notes, and snippets.

@dalehamel
Created January 8, 2020 16:22
Show Gist options
  • Select an option

  • Save dalehamel/7e23c9bfa7d405315cc3acdef2d96327 to your computer and use it in GitHub Desktop.

Select an option

Save dalehamel/7e23c9bfa7d405315cc3acdef2d96327 to your computer and use it in GitHub Desktop.

Revisions

  1. dalehamel created this gist Jan 8, 2020.
    21 changes: 21 additions & 0 deletions argp-header.patch
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,21 @@
    diff -Naur argp_sources/gllib/argp.h argp_sources/gllib/argp.h.new
    --- argp_sources/gllib/argp.h 2019-02-19 20:38:53.000000000 +0000
    +++ argp_sources/gllib/argp.h.new 2020-01-08 16:21:42.843277973 +0000
    @@ -19,6 +19,17 @@
    #ifndef _ARGP_H
    #define _ARGP_H

    +#ifndef ARGP_EI
    +# define ARGP_EI inline
    +#endif
    +
    +// since ece81a73b64483a68f5157420836d84beb3a1680 argp.h as distributed with
    +// gnulib requires _GL_INLINE_HEADER_BEGIN macro to be defined.
    +#ifndef _GL_INLINE_HEADER_BEGIN
    +# define _GL_INLINE_HEADER_BEGIN
    +# define _GL_INLINE_HEADER_END
    +#endif
    +
    #include <stdio.h>
    #include <ctype.h>
    #include <getopt.h>