/*
 * GENPRINT.H
 *
 * (c)Copyright 1993-2014, Matthew Dillon, All Rights Reserved.  See the
 *    COPYRIGHT file at the base of the distribution.
 *
 * Support for genprint.c.  If DDC_GEN is defined this header file
 * is completely self contained and will include all necessary stdio
 * headers and libsupport/export.h.  See tests/DMakefile and
 * tests/libc.c for useage.
 */

#ifndef _LIBSUPPORT_GENPRINT_H_
#define _LIBSUPPORT_GENPRINT_H_

#ifdef DDC_GEN

#include <sys/types.h>
#include <sys/stat.h>
#include <sys/file.h>
#include <sys/mman.h>
#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>
#include <string.h>
#include <unistd.h>
#include <dirent.h>
#include <assert.h>
#include <libsupport/export.h>

#define FmtConstIntD(label)	\
	printf("public const int C_%s = %d;\n", #label, label);
#define FmtConstIntH(label)	\
	printf("public const int C_%s = 0x%08x;\n", #label, label);

#endif
#endif