mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 14:13:23 +00:00
Code Activity

Various small fixes for non-win32 builds

Browse source
This commit is contained in:
Clifford Wolf 2014-10-12 12:18:38 +02:00
parent 0b9282a779
commit 1a7684be24
2 changed files with 11 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
kernel/yosys.h
View file

@ -58,6 +58,10 @@
#include <string.h>
#include <stdio.h>
#ifdef YOSYS_ENABLE_TCL
# include <tcl.h>
#endif
#define PRIVATE_NAMESPACE_BEGIN namespace {
#define PRIVATE_NAMESPACE_END }
#define YOSYS_NAMESPACE_BEGIN namespace Yosys {
@ -107,7 +111,6 @@ void yosys_setup();
void yosys_shutdown();
#ifdef YOSYS_ENABLE_TCL
#include <tcl.h>
Tcl_Interp *yosys_get_tcl_interp();
#endif