summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCatherine <whitequark@whitequark.org>2022-07-07 08:48:47 +0000
committerGitHub <noreply@github.com>2022-07-07 08:48:47 +0000
commit8f5c823fa40fa39755f5ca8c5209f8f1ffd1c364 (patch)
tree3db79e2119c5a2665157161e937e2e1344250dde
parentf159bef6c3d4e170929a216ded5496154c46e3c2 (diff)
parent5f40c4704f6f2ab027b12c3f61765d8a2090c92a (diff)
downloadabc-8f5c823fa40fa39755f5ca8c5209f8f1ffd1c364.tar.gz
abc-8f5c823fa40fa39755f5ca8c5209f8f1ffd1c364.tar.bz2
abc-8f5c823fa40fa39755f5ca8c5209f8f1ffd1c364.zip
Merge pull request #17 from YosysHQ/wasi-wlnRtl
Add support for WASI platform in Wln_ConvertToRtl
-rw-r--r--src/base/wln/wlnRtl.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/base/wln/wlnRtl.c b/src/base/wln/wlnRtl.c
index fa0f0cd5..8a8e0a32 100644
--- a/src/base/wln/wlnRtl.c
+++ b/src/base/wln/wlnRtl.c
@@ -121,6 +121,9 @@ char * Wln_GetYosysName()
}
int Wln_ConvertToRtl( char * pCommand, char * pFileTemp )
{
+#if defined(__wasm)
+ return 0;
+#else
FILE * pFile;
if ( system( pCommand ) == -1 )
{
@@ -134,6 +137,7 @@ int Wln_ConvertToRtl( char * pCommand, char * pFileTemp )
}
fclose( pFile );
return 1;
+#endif
}
Rtl_Lib_t * Wln_ReadSystemVerilog( char * pFileName, char * pTopModule, int fCollapse, int fVerbose )
{