Merge branch 'master' into per-thread-state

.github/actions/build/action.yml

@@ -14,6 +14,7 @@ runs:
   using: composite
   steps:
     - name: Build and install libpoly
+      if: inputs.config-opt == '--enable-mcsat'
       shell: bash
       run: |
         pushd .
@@ -25,6 +26,7 @@ runs:
         sudo make install
         popd
     - name: Build and install CUDD
+      if: inputs.config-opt == '--enable-mcsat'
       shell: bash
       run: |
         pushd .

src/utils/error.c

@@ -30,7 +30,12 @@ void perror_fatal(const char *s) {
 void perror_fatal_code(const char *s, int err) {
   char buffer[64];
 
+#ifdef MINGW
+  fprintf(stderr, "%s: %s\n", s, strerror(err));
+#else
   strerror_r(err, buffer, sizeof(buffer));
   fprintf(stderr, "%s: %s\n", s, buffer);
+#endif
+
   exit(YICES_EXIT_INTERNAL_ERROR);
 }

src/utils/timeout.c

@@ -76,15 +76,16 @@ typedef struct timeout_s {
   timeout_state_t state;
   timeout_handler_t handler;
   void *param;
-#ifdef THREAD_SAFE
+#if !defined(MINGW) && defined(THREAD_SAFE)
   struct timespec ts;
   pthread_t thread;
   pthread_mutex_t mutex;
   pthread_cond_t cond;
 #endif
 } timeout_t;
 
-#ifndef THREAD_SAFE
+
+#if !defined(THREAD_SAFE) || defined(MINGW)
 
 /*
  * Global structure common to both implementation.
@@ -93,6 +94,7 @@ static timeout_t the_timeout;
 
 #endif
 
+
 #ifndef MINGW