diff options
author | Catherine <whitequark@whitequark.org> | 2022-07-07 08:48:47 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-07 08:48:47 +0000 |
commit | 8f5c823fa40fa39755f5ca8c5209f8f1ffd1c364 (patch) | |
tree | 3db79e2119c5a2665157161e937e2e1344250dde | |
parent | f159bef6c3d4e170929a216ded5496154c46e3c2 (diff) | |
parent | 5f40c4704f6f2ab027b12c3f61765d8a2090c92a (diff) | |
download | abc-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.c | 4 |
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 ) { |