From e1584cc9c7683ebb0a81022c43ebbce29f8b44cb Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Mon, 29 Feb 2016 15:37:20 +0000
Subject: [PATCH] CMake 2.8.12 does not support the ``LANGUAGES`` argument.

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 3c10b4f0a..8652dc046 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,6 +1,6 @@
 # This overrides the default flags for the different CMAKE_BUILD_TYPEs
 set(CMAKE_USER_MAKE_RULES_OVERRIDE "${CMAKE_CURRENT_SOURCE_DIR}/cmake/compiler_flags_override.cmake")
-project(Z3 LANGUAGES C CXX)
+project(Z3 C CXX)
 cmake_minimum_required(VERSION 2.8.12)
 
 ################################################################################