echo "RUNNING SETUP FOR THE SMPD SOCK INTERFACE"

#
# NOTE: This file is sourced from the device with the current working directory set to the top-level build directory.
#

#
# Variables of interest...
#
# $with_device - device name and arguments
# $device_name - name of the device
# $device_args - contains name of channel select plus an channel args
# $channel_name - name of the channel
# $master_top_srcdir - top-level source directory
# $master_top_builddir - top-level build directory
# $ac_configure_args - all arguments passed to configure
#

. $master_top_srcdir/src/pm/smpd/sock/setup.args

devsubsystems="$devsubsystems src/pm/smpd/sock"

#    pathlist=""
#    pathlist="$pathlist src/pm/smpd/sock"
#    pathlist="$pathlist src/pm/smpd/sock/${sock_name}"
#    for path in $pathlist ; do
#    	#CPPFLAGS="$CPPFLAGS -I${master_top_builddir}/${path}"
#    	#CPPFLAGS="$CPPFLAGS -I${master_top_srcdir}/${path}"
#        MPICH2_INCLUDE_FLAGS="$MPICH2_INCLUDE_FLAGS -I${master_top_builddir}/${path} -I${master_top_srcdir}/${path}"
#    done
