Fix C/C++ library check command line

Compiler names may include spaces (such as `ccache gcc`).

Author: tautschnig

src/ansi-c/Makefile

@@ -109,7 +109,7 @@ else
   platform_unavail = library/java.io.c library/threads.c
 endif
 library_check: library/*.c
-	./library_check.sh $(CC) $(filter-out $(platform_unavail), $^)
+	./library_check.sh "$(CC)" $(filter-out $(platform_unavail), $^)
 	touch $@
 
 cprover_library.inc: library/converter$(EXEEXT) library/*.c

src/ansi-c/library_check.sh

@@ -12,8 +12,8 @@ for f in "$@"; do
     perl -p -i -e 's/(_mm_.fence)/s$1/' __libcheck.c
     perl -p -i -e 's/(__sync_)/s$1/' __libcheck.c
     perl -p -i -e 's/(__atomic_)/s$1/' __libcheck.c
-    "$CC" -std=gnu99 -E -include library/cprover.h -D__CPROVER_bool=_Bool -D__CPROVER_thread_local=__thread -DLIBRARY_CHECK -o __libcheck.i __libcheck.c
-    "$CC" -S -Wall -Werror -pedantic -Wextra -std=gnu99 __libcheck.i \
+    $CC -std=gnu99 -E -include library/cprover.h -D__CPROVER_bool=_Bool -D__CPROVER_thread_local=__thread -DLIBRARY_CHECK -o __libcheck.i __libcheck.c
+    $CC -S -Wall -Werror -pedantic -Wextra -std=gnu99 __libcheck.i \
       -o __libcheck.s -Wno-unused-label -Wno-unknown-pragmas
     ec="${?}"
     rm __libcheck.s __libcheck.i __libcheck.c

src/cpp/Makefile

@@ -69,7 +69,7 @@ cprover_library$(OBJEXT): cprover_library.inc
 	$(MAKE) -C ../ansi-c library/converter$(EXEEXT)
 
 library_check: library/*.c
-	../ansi-c/library_check.sh $(CC) $^
+	../ansi-c/library_check.sh "$(CC)" $^
 	touch $@
 
 cprover_library.inc: ../ansi-c/library/converter$(EXEEXT) library/*.c