From cb75d01584275471c0fa69096eef81aed591a035 Mon Sep 17 00:00:00 2001 From: Mark Olesen Date: Sun, 15 Dec 2019 13:44:04 +0100 Subject: [PATCH] ENH: improve toolset naming - if passed things like "clang-9", strip down to the base name "clang" --- makeCGAL | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/makeCGAL b/makeCGAL index 41c8485..58bd120 100755 --- a/makeCGAL +++ b/makeCGAL @@ -128,7 +128,7 @@ do shift ;; -toolset=*) - optToolset="${1*=}" + optToolset="${1#*=}" ;; -sys*) gmpPACKAGE="gmp-system" @@ -268,7 +268,15 @@ else (*) # Toolset for bootstrap and build - [ -n "$optToolset" ] || optToolset="$(whichCC)" + if [ -z "$optToolset" ] + then + optToolset="$(whichCC)" + # Base names for gcc-8, clang-9 etc. + case "$optToolset" in + (clang*) optToolset=clang;; + (gcc*) optToolset=gcc;; + esac + fi buildOpt="toolset=$optToolset" ;; esac