Changeset 55cb6b in git for libpolys/polys/mod_raw.cc

Timestamp:

Apr 10, 2013, 4:04:09 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

ccae2f26143f71606cceb669458d60a2c39c4654

Parents:

c60380d927be780ce0fe437b14c03e70f0df8f5984299e1e1d2b92c5e28fc52391cc529f8eb8ade7

Message:

Merge pull request #317 from mmklee/factory_flint_built

fix: include problems when compiling without NTL but with FLINT

File:

• libpolys/polys/mod_raw.cc (modified) (4 diffs)

libpolys/polys/mod_raw.cc

@@ -16 +16 @@
 #include <ctype.h>
 #include <sys/stat.h>
+#include <errno.h>
 
 
@@ -39 +40 @@
 char* si_bultin_libs[]={ SI_FOREACH_BUILTIN(SI_BUILTIN_LIBSTR)  NULL };
 
-#undef SI_BUILTIN_LIBSTR 
+#undef SI_BUILTIN_LIBSTR
 
 lib_types type_of_LIB(char *newlib, char *libnamebuf)
@@ -45 +46 @@
   const unsigned char mach_o[]={0xfe,0xed,0xfa,0xce,0};
   const unsigned char mach_O[]={0xce,0xfa,0xed,0xfe,0};
-   
+
   const unsigned char mach_o64[]={0xfe,0xed,0xfa,0xcf,0};
   const unsigned char mach_O64[]={0xcf,0xfa,0xed,0xfe,0};
-   
+
   int i=0;
   while(si_bultin_libs[i]!=NULL)
@@ -62 +63 @@
   struct stat sb;
   int nbytes = 0;
-  // int ret;
+  int ret;
   lib_types LT=LT_NONE;
 
   FILE * fp = feFopen( newlib, "r", libnamebuf, FALSE );
-  /*ret =*/ (void) stat(libnamebuf, &sb);
+
+  do
+  {
+    ret = stat(libnamebuf, &sb);
+  } while((ret < 0) and (errno == EINTR));
 
   if (fp==NULL)