model-checker : last version (incorrect) of double dfs algorithm for liveness propert...

[simgrid.git] / src / smpi / smpicc.in

diff --git a/src/smpi/smpicc.in b/src/smpi/smpicc.in
index f0f712856443a01d1322487f4565d1ff16e5ad96..7a77cbae13c7007b34bdf55dc3c3258ebe7c624c 100755 (executable)
--- a/src/smpi/smpicc.in
+++ b/src/smpi/smpicc.in
@@ -1,6 +1,6 @@
 #! /bin/bash
 
-CC="gcc"
+CC=@CMAKE_C_COMPILER@
 CFLAGS="-O2 -Dmain=smpi_simulated_main"
 
 #FIXME: probably only want the last two pairs after 'make install'