Require CMake config minimum version 3.13 (#4389) (#4390)

This commit is contained in:
Vito Gamberini 2023-07-26 17:54:18 -04:00 committed by GitHub
parent 959387b69f
commit 837d9f9d77
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -165,6 +165,7 @@ Varun Koyyalagunta
Vassilis Papaefstathiou Vassilis Papaefstathiou
Veripool API Bot Veripool API Bot
Victor Besyakov Victor Besyakov
Vito Gamberini
William D. Jones William D. Jones
Wilson Snyder Wilson Snyder
Xi Zhang Xi Zhang

View File

@ -19,8 +19,7 @@
# #
###################################################################### ######################################################################
cmake_minimum_required(VERSION 3.12) cmake_minimum_required(VERSION 3.13)
cmake_policy(SET CMP0074 NEW)
# Prefer VERILATOR_ROOT from environment # Prefer VERILATOR_ROOT from environment
if (DEFINED ENV{VERILATOR_ROOT}) if (DEFINED ENV{VERILATOR_ROOT})