From daad9ede0137dc58487a0abc126253e671a85b14 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Wed, 13 Sep 2023 13:57:48 +0000
Subject: [PATCH] Add WASI support in Gia_StochProcessOne.

---
 src/aig/gia/giaStoch.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/aig/gia/giaStoch.c b/src/aig/gia/giaStoch.c
index 78fe2cb67..b6c3c101f 100644
--- a/src/aig/gia/giaStoch.c
+++ b/src/aig/gia/giaStoch.c
@@ -67,7 +67,11 @@ Gia_Man_t * Gia_StochProcessOne( Gia_Man_t * p, char * pScript, int Rand, int Ti
     sprintf( FileName, "%06x.aig", Rand );
     Gia_AigerWrite( p, FileName, 0, 0, 0 );
     sprintf( Command, "./abc -q \"&read %s; %s; &write %s\"", FileName, pScript, FileName );
+#if defined(__wasm)
+    if ( 1 )
+#else
     if ( system( (char *)Command ) )    
+#endif
     {
         fprintf( stderr, "The following command has returned non-zero exit status:\n" );
         fprintf( stderr, "\"%s\"\n", (char *)Command );