1 files changed, 45 insertions, 0 deletions
diff --git a/omega/omega_lib/src/pres_gen.cc b/omega/omega_lib/src/pres_gen.cc
new file mode 100644
index 0000000..0f05d40
--- /dev/null
+++ b/omega/omega_lib/src/pres_gen.cc
@@ -0,0 +1,45 @@
+#include <omega/pres_gen.h>
+
+namespace omega {
+
+int     skip_finalization_check=0;
+// int     skip_set_checks=0;
+
+int   pres_debug=0	;
+FILE *DebugFile=stderr;  // This is the default; it's best to set it yourself.
+
+negation_control pres_legal_negations = any_negation;
+
+//
+// I/O utility functions.
+//
+// void PresErrAssert(const char *t) {
+//   fprintf(stdout, "\nERROR: %s\n", t);
+//   if(pres_debug) {
+//     fprintf(DebugFile, "\nERROR: %s\n", t);
+//   }
+//   exit(1);
+// }
+
+
+
+//
+// Needed for gprof
+//
+#if defined PROFILE_MALLOCS
+void* operator new(size_t n) {
+  void *result = malloc (n < 1 ? 1 : n);
+  if (result)
+    return result;
+  else {
+    write(2,"Virtual memory exceeded in new\n",32);
+    return 0;
+  }
+}
+
+void operator delete (void* f) {
+  if (f) free(f);
+}
+#endif
+
+} // namespace