diff --git a/src/PikaVersion.h b/src/PikaVersion.h
new file mode 100644
index 000000000..e628c8ba1
--- /dev/null
+++ b/src/PikaVersion.h
@@ -0,0 +1,5 @@
+#define PIKA_VERSION_MAJOR       1
+#define PIKA_VERSION_MINOR       8
+#define PIKA_VERSION_MICRO       8
+
+#define PIKA_EDIT_TIME      "2022/06/27 09:48:42"