// ------------------
// --- nrkernel.c ---
// ------------------

/*
 * Copyright (c) 2000-2014, Lionel Lacassagne, All rights reserved
 * Univ Paris Sud XI, CNRS
*/

#ifndef __NRKERNEL_H__
#define __NRKERNEL_H__


#if TARGET_OS == GIETVM
    #define nrerror(...) ({                        \
            printf("*** NRC Runtime Error:\n   "); \
            printf(__VA_ARGS__);                   \
            exit(1);                               \
    })
#else
    #define nrerror(...) ({                                 \
            fprintf(stderr, "*** NRC Runtime Error:\n   "); \
            fprintf(stderr, __VA_ARGS__);                   \
            exit(1);                                        \
    })
#endif




#endif // __NRKERNEL_H__