diff --git a/.gitmodules b/.gitmodules index 3a40aa3f..6d991b3d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -2,3 +2,7 @@ path = Alice url = git@github.com:hananiahhsu/Alice.git branch = main +[submodule "ToolChain"] + url = git@github.com:ToshihideMaskawa/ToolChain.git + path = ToolChain + branch = main diff --git a/ToolChain b/ToolChain new file mode 160000 index 00000000..44cf9e5a --- /dev/null +++ b/ToolChain @@ -0,0 +1 @@ +Subproject commit 44cf9e5a0b0e6ef8c8f5a6145b0e57dfbddb949e