From b41315404419309bd4f30131547910d6f1ad3ea4 Mon Sep 17 00:00:00 2001 From: Silvan Sievers Date: Wed, 2 Aug 2023 16:06:31 +0200 Subject: [PATCH] remove hack to explicitly look for cc variables and use gcc as fallback --- src/CMakeLists.txt | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 5a2c0a5f5c..4de0067d5a 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -25,13 +25,6 @@ cmake_minimum_required(VERSION 3.16) -# TODO: test if this is still needed on ony of the generators we care about. -# Select a default compiler because CMake does not respect the PATH environment variable for some generators, -# e.g. used by existing compute servers in Basel. -# See https://stackoverflow.com/a/45934279 and https://issues.fast-downward.org/issue1031 for details. -find_program(CMAKE_C_COMPILER NAMES $ENV{CC} cc gcc PATHS ENV PATH NO_DEFAULT_PATH) -find_program(CMAKE_CXX_COMPILER NAMES $ENV{CXX} c++ g++ PATHS ENV PATH NO_DEFAULT_PATH) - # Path containing custom CMake modules list(APPEND CMAKE_MODULE_PATH ${CMAKE_CURRENT_SOURCE_DIR}/cmake_modules) include(FastDownwardMacros)