1 files changed, 57 insertions, 0 deletions
diff --git a/src/theory/mktheoryof b/src/theory/mktheoryof
new file mode 100755
index 000000000..38c2153d6
--- /dev/null
+++ b/src/theory/mktheoryof
@@ -0,0 +1,57 @@
+#!/bin/bash
+#
+# mktheoryof
+# Morgan Deters <mdeters@cs.nyu.edu> for CVC4
+# Copyright (c) 2010  The CVC4 Project
+#
+# The purpose of this script is to create theoryof_table.h from a
+# prologue, epilogue, and a list of theory kinds.
+#
+# Invocation:
+#
+#   mktheoryof prologue-file epilogue-file theory-kind-files...
+#
+# Output is to standard out.
+#
+
+cat <<EOF
+/*********************                                           -*- C++ -*-  */
+/** theoryof_table.h
+ **
+ ** Copyright 2010  The AcSys Group, New York University, and as below.
+ **
+ ** This header file automatically generated by:
+ **
+ **     $0 $@
+ **
+ ** for the CVC4 project.
+ **/
+
+EOF
+
+prologue=$1; shift
+middle=$1; shift
+epilogue=$1; shift
+
+registers=
+cat "$prologue"
+while [ $# -gt 0 ]; do
+  b=$(basename $(dirname "$1"))
+  B=$(echo "$b" | tr 'a-z' 'A-Z')
+  echo "#include \"theory/$b/theory_def.h\""
+  registers="$registers
+  /* from $b */
+  void registerTheory(::CVC4::theory::$b::Theory$B* th) {
+"
+  for r in `cat "$1"`; do
+    registers="$registers    d_table[::CVC4::kind::$r] = th;
+"
+  done
+  registers="$registers  }
+"
+  shift
+done
+echo
+cat "$middle"
+echo "$registers"
+cat "$epilogue"