Commit 113a2400 authored by Giovanni La Mura's avatar Giovanni La Mura
Browse files

Explicitly set to void device flags when GPU is disabled

parent 9f7c1a9b

build/configure.sh

+8 −0
Original line number Original line Diff line number Diff line
@@ -627,6 +627,9 @@ if [ "xCUBLAS" != "xno" ]; then 
    else

    else

	echo "cuBLAS"

	echo "cuBLAS"

    fi

    fi

else

    CUBLASFLAGS=""

    CUBLASLDFLAGS=""

fi

fi

# End of cuBLAS checks

# End of cuBLAS checks

# MAGMA checks

# MAGMA checks
@@ -711,6 +714,9 @@ if [ "x$MAGMA" != "xno" ]; then 
    else

    else

	echo "yes"

	echo "yes"

    fi

    fi

else

    MAGMAFLAGS=""

    MAGMALDFLAGS=""

fi

fi

# End of MAGMA checks

# End of MAGMA checks

# Offload checks

# Offload checks
@@ -755,6 +761,8 @@ EOF 
	echo "no"

	echo "no"

	OFFLOADFLAGS=""

	OFFLOADFLAGS=""

    fi

    fi

else

    OFFLOADFLAGS=""

fi

fi

# End of offload checks

# End of offload checks

if [ "x$CXXFLAGS" = "x" ]; then

if [ "x$CXXFLAGS" = "x" ]; then