diff --git a/check.conf b/check.conf
new file mode 100644
index 000000000..2c94e8ffd
--- /dev/null
+++ b/check.conf
@@ -0,0 +1,6 @@
+
+# The make check target uses this to check the compilation of the
+# compiler.
+
+[-tvvm]
+<ivl>./ivl %W %[s-s%s] %[N-N%N] %[T-T%T] -tvvm -Fcprop -Fnodangle -fVPI_MODULE_PATH=vpi %f %m -o%o.cc -- -