diff -r 38eadfc525ce -r 13589d529899 CMakeLists.txt
--- a/CMakeLists.txt	Tue Apr 30 14:49:37 2019 +0200
+++ b/CMakeLists.txt	Tue Apr 30 15:29:44 2019 +0200
@@ -50,6 +50,12 @@
 
 option(NOVERSIONINFOUPDATE "Disable update of version_info.txt. To be used if source is in a git/repo that is NOT the hedgewars repo" OFF)
 
+# FIXME: Pas2C Hedgewars cannot be built with video recording atm because the Pas2C parser has a problem parsing uVideoRec.pas.
+# See bug 722 <https://issues.hedgewars.org/show_bug.cgi?id=722>.
+# As a workaround, we simply force-disable video recording for now.
+if(BUILD_ENGINE_C)
+    set(NOVIDEOREC ON CACHE STRING "Required for BUILD_ENGINE_C" FORCE)
+endif()
 
 if(BUILD_ENGINE_JS)
     if(NOT CMAKE_TOOLCHAIN_FILE)