build.c File Reference

#include "build.h"
#include "colors.h"
#include "kissat.h"
#include "print.h"
#include <stdio.h>

Include dependency graph for build.c:

Go to the source code of this file.

Macros
#define	PREFIX(COLORS)
#define	NL()

Functions
ABC_NAMESPACE_IMPL_START const char *	kissat_signature (void)
const char *	kissat_id (void)
const char *	kissat_compiler (void)
const char **	kissat_copyright (void)
const char *	kissat_version (void)
void	kissat_build (const char *prefix)
void	kissat_banner (const char *prefix, const char *name)

Macro Definition Documentation

NL

#define NL

(

)

Value:

  do { \
    fputs ("\n", stdout); \
    COLOR (NORMAL); \
  } while (0)

Definition at line 32 of file build.c.

#define NL() \
  do { \
    fputs ("\n", stdout); \
    COLOR (NORMAL); \
  } while (0)

PREFIX

#define PREFIX

(

COLORS

)

Value:

  do { \
    if (prefix) \
      fputs (prefix, stdout); \
    COLOR (COLORS); \
  } while (0)

Definition at line 25 of file build.c.

#define PREFIX(COLORS) \
  do { \
    if (prefix) \
      fputs (prefix, stdout); \
    COLOR (COLORS); \
  } while (0)

Function Documentation

kissat_banner()

void kissat_banner	(	const char *	prefix,
		const char *	name )

Definition at line 59 of file build.c.

                                                          {
  TERMINAL (stdout, 1);
  if (!prefix)
    connected_to_terminal = false;
 
  PREFIX (BOLD MAGENTA);
  printf ("%s", name);
  NL ();
 
  PREFIX (BOLD MAGENTA);
  NL ();
 
  for (const char **p = kissat_copyright (), *line; (line = *p); p++) {
    PREFIX (BOLD MAGENTA);
    fputs (line, stdout);
    NL ();
  }
 
  if (prefix) {
    PREFIX ("");
    NL ();
  }
 
  kissat_build (prefix);
}

Here is the call graph for this function:

kissat_build()

void kissat_build

(

const char *

prefix

)

Definition at line 38 of file build.c.

                                       {
  TERMINAL (stdout, 1);
  if (!prefix)
    connected_to_terminal = false;
 
  PREFIX (MAGENTA);
  if (ID)
    printf ("Version %s %s", VERSION, ID);
  else
    printf ("Version %s", VERSION);
  NL ();
 
  PREFIX (MAGENTA);
  printf ("%s", COMPILER);
  NL ();
 
  PREFIX (MAGENTA);
  printf ("%s", BUILD);
  NL ();
}

Here is the caller graph for this function:

kissat_compiler()

const char * kissat_compiler

(

void

)

Definition at line 14 of file build.c.

{ return COMPILER; }

kissat_copyright()

const char ** kissat_copyright

(

void

)

Definition at line 21 of file build.c.

{ return copyright_lines; }

Here is the caller graph for this function:

kissat_id()

const char * kissat_id

(

void

)

Definition at line 12 of file build.c.

{ return ID; }

kissat_signature()

ABC_NAMESPACE_IMPL_START const char * kissat_signature

(

void

)

Definition at line 10 of file build.c.

{ return "kissat-" VERSION; }

kissat_version()

const char * kissat_version

(

void

)

Definition at line 23 of file build.c.

{ return VERSION; }