From 4b0939539fb99ee8a399d8a59d295ff94c1eeebc Mon Sep 17 00:00:00 2001
From: Trygve Laugstøl <trygvis@inamo.no>
Date: Fri, 1 Jul 2016 23:50:53 +0200
Subject: o Creating targets for launching openocd and gdb.

---
 cmake/intel/openocd.cmake | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 cmake/intel/openocd.cmake

(limited to 'cmake/intel/openocd.cmake')

diff --git a/cmake/intel/openocd.cmake b/cmake/intel/openocd.cmake
new file mode 100644
index 0000000..e7ce892
--- /dev/null
+++ b/cmake/intel/openocd.cmake
@@ -0,0 +1,6 @@
+function(openocd_init)
+    set(openocd_bin "${ISSM_DIR}/tools/debugger/openocd/bin/openocd")
+    export_variable(openocd_bin)
+    set(openocd_scripts "${ISSM_DIR}/tools/debugger/openocd/scripts")
+    export_variable(openocd_scripts)
+endfunction()
-- 
cgit v1.2.3