lf_flexpret_support.h

Go to the documentation of this file.

/* FlexPRET API support for the C target of Lingua Franca. */
 


 
#ifndef LF_FLEXPRET_SUPPORT_H
#define LF_FLEXPRET_SUPPORT_H
 
#include <flexpret/flexpret.h>

 
#include <inttypes.h> // Needed to define PRId64 and PRIu32
#define PRINTF_TIME "%" PRId64
#define PRINTF_MICROSTEP "%" PRIu32
 
// For convenience, the following string can be inserted in a printf
// format for printing both time and microstep as follows:
//     printf("Tag is " PRINTF_TAG "\n", time_value, microstep);
#define PRINTF_TAG "(%" PRId64 ", %" PRIu32 ")"
 
#if !defined(LF_SINGLE_THREADED)
typedef fp_lock_t lf_mutex_t;
typedef fp_thread_t lf_thread_t;
typedef fp_cond_t lf_cond_t;
#endif
 
// This will filter out some unecessary calls to standard library functions
// and save code space
#define NO_CLI
#define MINIMAL_STDLIB

#include <stdio.h>
 
// Likewise, fprintf is used to print to `stderr`, but FlexPRET has no `stderr`
// We instead redirect its output to normal printf
// Note: Most compilers do not support passing this on the command line, so CMake
//       will drop it if you try... But that would be the better option.
#define fprintf(stream, fmt, ...) printf(fmt, ##__VA_ARGS__)
#define vfprintf(fp, fmt, args) vprintf(fmt, args)
 
#endif // LF_FLEXPRET_SUPPORT_H