1 /*-------------------------------------------------------------------------*/
2 /* Copyright 2010-2014 Armin Biere Johannes Kepler University Linz Austria */
3 /*-------------------------------------------------------------------------*/
13 void lglbnr (const char * name, const char * prefix, FILE * file) {
14 const char * p = LGL_CFLAGS, * q, * n;
15 int len = 78 - strlen (prefix);
16 fprintf (file, "%s%s\n", prefix, name);
17 fprintf (file, "%s\n", prefix);
18 fprintf (file, "%sVersion %s %s\n", prefix, LGL_VERSION, LGL_ID);
19 fprintf (file, "%s\n", prefix);
21 "%sCopyright (C) 2010-2014 Armin Biere JKU Linz Austria.\n",
23 fprintf (file, "%sAll rights reserved.\n", prefix);
24 fprintf (file, "%s\n", prefix);
25 fprintf (file, "%sreleased %s\n", prefix, LGL_RELEASED);
26 fprintf (file, "%scompiled %s\n", prefix, LGL_COMPILED);
27 fprintf (file, "%s\n", prefix);
28 fprintf (file, "%s%s\n", prefix, LGL_CC);
32 for (q = p; *q && *q != ' '; q++)
34 if (*q && q - p < len) {
36 for (n = q + 1; *n && *n != ' '; n++)
38 if (n - p >= len) break;
43 while (p < q) fputc (*p++, file);
49 fprintf (file, "%s%s\n", prefix, LGL_OS);
50 fprintf (file, "%s\n", prefix);
54 const char * lglversion (void) { return LGL_VERSION " " LGL_ID; }