Add REQUIRE construct & new options

Add REQUIRE to define dependencies among compile
time options. Also defines new options USE_TWO_CUTS
and EXPLICIT_NORMAL_EDGES which are unused by now.

compileTimeOptions.h

@@ -5,12 +5,18 @@ BOOL_OPTION(SAVE_MEMORY, 1)
 
 BOOL_OPTION(OPTIMIZED_MAPPINGS, 1)
 
+#ifndef MAX_EDGES
+#define MAX_EDGES 48
+#endif
+
+
 BOOL_OPTION(OPTIMIZE_COMBINE, 0)
 
 BOOL_OPTION(USE_NEXT_FORB, 1)
 
-#ifndef MAX_EDGES
-#define MAX_EDGES 48
-#endif
+BOOL_OPTION(EXPLICIT_NOMAL_EDGES, 0)
+REQUIRES(EXPLICIT_NORMAL_EDGES, USE_NEXT_FORB)
 
+BOOL_OPTION(USE_TWO_CUTS, 0)
+REQUIRES(USE_TWO_CUTS, USE_NEXT_FORB && EXPLICIT_NOMAL_EDGES)
 

generateCompileTimeOptions.sh

@@ -14,6 +14,10 @@ sed -re 's/BOOL_OPTION\((.*), *(.*)\)/#ifndef \1\
 #else\
 #pragma message "\1 off"\
 #endif\
+/;
+s/REQUIRES\((.*), (.*)\)/#if (\1) \&\& !(\2)\
+#error "\1 requires \2"\
+#endif\
 /'
 
 cat <<EOF