4 files changed, 50 insertions, 2 deletions

diff --git a/src/pruning.c b/src/pruning.c
index d484a12..869110f 100644
--- a/src/pruning.c
+++ b/src/pruning.c
@@ -135,6 +135,18 @@ genptable(PruneData *pd, int nthreads)
                 return;
         }
 
+        if (nthreads < 4) {
+                fprintf(stderr,
+                        "--- Warning ---\n"
+                        "You are using only %d threads to generate the pruning"
+                        "tables. This can take a while."
+                        "Unless you did this intentionally, you should re-run"
+                        "this command with `-t 4' or more.\n"
+                        "---------------\n\n", nthreads
+                );
+        }
+
+
         /* For the first steps we proceed the same way for compact and not */
         compact = pd->compact;
         pd->compact = false;
@@ -144,6 +156,7 @@ genptable(PruneData *pd, int nthreads)
         fprintf(stderr, "Cannot load %s, generating it with %d threads\n",
                         pd->filename, nthreads); 
 
+
         memset(pd->ptable, ~(uint8_t)0, ptablesize(pd)*sizeof(entry_group_t));
 
         ptable_update(pd, (Cube){0}, 0);
diff --git a/src/shell.c b/src/shell.c
index 6e67e0a..31dde0e 100644
--- a/src/shell.c
+++ b/src/shell.c
@@ -3,6 +3,27 @@
 static void             cleanwhitespaces(char *line);
 static int              parseline(char *line, char **v);
 
+bool
+checkfiles()
+{
+        /* TODO: add more checks (other files, use checksum...) */
+        FILE *f;
+        char fname[strlen(tabledir)+100];
+        int i;
+
+        for (i = 0; allpd[i] != NULL; i++) {
+                strcpy(fname, tabledir);
+                strcpy(fname, "/");
+                strcpy(fname, allpd[i]->filename);
+                if ((f = fopen(fname, "rb")) == NULL)
+                        return false;
+                else
+                        fclose(f);
+        }
+
+        return true;
+}
+
 static void
 cleanwhitespaces(char *line)
 {
@@ -119,6 +140,19 @@ launch(bool batchmode)
 int
 main(int argc, char *argv[])
 {
+        init_env();
+
+        if (!checkfiles()) {
+                fprintf(stderr,
+                        "--- Warning ---\n"
+                        "Some pruning tables are missing or unreadable."
+                        "You can generate them with `nissy gen -t 4'\n"
+                        "Here `4' is the number of threads. Use more if your"
+                        "CPU has them, or expect it to take a while.\n"
+                        "---------------\n\n"
+                );
+        }
+
         if (argc > 1) {
                 if (!strcmp(argv[1], "-b")) {
                         launch(true);
diff --git a/src/shell.h b/src/shell.h
index 80f86ba..7e4f785 100644
--- a/src/shell.h
+++ b/src/shell.h
@@ -7,6 +7,7 @@
 #define MAXTOKENLEN         255
 #define MAXNTOKENS          255
 
+bool        checkfiles();
 void        exec_args(int c, char **v);
 void        launch(bool batchmode);
 
diff --git a/src/symcoord.c b/src/symcoord.c
index b2099a7..4a737af 100644
--- a/src/symcoord.c
+++ b/src/symcoord.c
@@ -53,10 +53,10 @@ sd_eofbepos_16 = {
         .trans     = trans_group_udfix
 };
 
-static int nsymdata = 2;
 static SymData * all_sd[] = {
         &sd_cp_16,
         &sd_eofbepos_16,
+        NULL
 };
 
 
@@ -403,7 +403,7 @@ init_symcoord()
 
         init_coord();
 
-        for (i = 0; i < nsymdata; i++)
+        for (i = 0; all_sd[i] != NULL; i++)
                 gensym(all_sd[i]);
 }