ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
utilSignal.c
Go to the documentation of this file.
1
20
21#include <stdio.h>
22#include <stdlib.h>
23#include <string.h>
24
25#include "abc_global.h"
26#include "utilSignal.h"
27
28#ifdef _MSC_VER
29#define unlink _unlink
30#else
31#include <unistd.h>
32#endif
33
35
39
43
44int Util_SignalSystem(const char* cmd)
45{
46#if defined(__wasm)
47 return -1;
48#else
49 return system(cmd);
50#endif
51}
52
53int tmpFile(const char* prefix, const char* suffix, char** out_name);
54
55int Util_SignalTmpFile(const char* prefix, const char* suffix, char** out_name)
56{
57 return tmpFile(prefix, suffix, out_name);
58}
59
60void Util_SignalTmpFileRemove(const char* fname, int fLeave)
61{
62 if (! fLeave)
63 {
64 unlink(fname);
65 }
66}
67
69
#define ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_END
int tmpFile(const char *prefix, const char *suffix, char **out_name)
Definition utilFile.c:106
ABC_NAMESPACE_IMPL_START int Util_SignalSystem(const char *cmd)
DECLARATIONS ///.
Definition utilSignal.c:44
void Util_SignalTmpFileRemove(const char *fname, int fLeave)
Definition utilSignal.c:60
int Util_SignalTmpFile(const char *prefix, const char *suffix, char **out_name)
INCLUDES ///.
Definition utilSignal.c:55
int system()