CMakeLists.txt - 3p/sel4/camkes-tool - Git at Google

 #
 # Copyright 2018, Data61, CSIRO (ABN 41 687 119 230)
 #
 # SPDX-License-Identifier: BSD-2-Clause
 #

 cmake_minimum_required(VERSION 3.7.2)
	#
	# Copyright 2018, Data61, CSIRO (ABN 41 687 119 230)
	#
	# SPDX-License-Identifier: BSD-2-Clause
	#

	cmake_minimum_required(VERSION 3.7.2)