install_parallel_debugger

#! /bin/bash
source script/discover_os
discover_os

if [ x"$platform" == x"$osx" ]; then
	exit 0
fi

if [ -f gdbgui/executable/linux/gdbgui_0.14.0.2 ]; then
	install_d=$(cat install_dir)
	mkdir -p "$install_d/gdbgui/bin"
	cp gdbgui/executable/linux/gdbgui_0.14.0.2 "$install_d/gdbgui/bin/gdbgui"
	cp gdbgui/gdbgui-mpi/print_nodes "$install_d/gdbgui/bin"
	cp gdbgui/gdbgui-mpi/launch_mpi_debugger "$install_d/gdbgui/bin"
	cp gdbgui/gdbgui-mpi/launch_gdb_server "$install_d/gdbgui/bin"
fi