# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1457688412 -32400
# Node ID a13620720e35ebf0f3ce51e12793e673c4440116
# Parent  73c49379911a270cde5e0d8976d774e55c38eae8
Add directory for insert verification

diff -r 73c49379911a -r a13620720e35 src/CMakeLists.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/CMakeLists.txt	Fri Mar 11 18:26:52 2016 +0900
@@ -0,0 +1,12 @@
+cmake_minimum_required(VERSION 3.3)
+
+# output compile log
+set(CMAKE_VERBOSE_MAKEFILE 1)
+
+# set compiler
+set(CMAKE_C_COMPILER $ENV{CBC_COMPILER})
+add_definitions("-Wall -g -O0")
+
+include_directories(include)
+add_subdirectory(insert_verification)
+
diff -r 73c49379911a -r a13620720e35 src/insert_verification/CMakeLists.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/insert_verification/CMakeLists.txt	Fri Mar 11 18:26:52 2016 +0900
@@ -0,0 +1,4 @@
+cmake_minimum_required(VERSION 3.3)
+
+add_executable(insert_verification
+               main.c)
diff -r 73c49379911a -r a13620720e35 src/insert_verification/main.c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/insert_verification/main.c	Fri Mar 11 18:26:52 2016 +0900
@@ -0,0 +1,10 @@
+#include <stdio.h>
+
+__code hello() {
+    printf("hello\n");
+}
+
+int main(int argc, char const* argv[]) {
+
+    goto hello();
+}