From 35d19a9f33b93cd3578d03b1e17ce59d914201d6 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 22 Dec 2025 12:31:08 +0100
Subject: [PATCH] WASI build fix for solver command

---
 src/base/cmd/cmd.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/base/cmd/cmd.c b/src/base/cmd/cmd.c
index a343c6789..fff4fa9f6 100644
--- a/src/base/cmd/cmd.c
+++ b/src/base/cmd/cmd.c
@@ -2844,6 +2844,10 @@ int CmdCommandSolver( Abc_Frame_t * pAbc, int argc, char **argv )
         goto usage;
     }
 
+#if defined(__wasm)
+    fprintf( pAbc->Err, "Unsupported command.\n" );
+    return 1;
+#else
     // Check if solver binary exists in current directory or PATH
     char * pSolverName;
     if ( (pFile = fopen( "./solver", "r" )) != NULL )
@@ -2913,7 +2917,7 @@ int CmdCommandSolver( Abc_Frame_t * pAbc, int argc, char **argv )
 
     // Clean up the temporary file
     unlink( TempFileName );
-
+#endif
     return 0;
 
 usage: