diff --git a/.gitmodules b/.gitmodules index 34b2cb4..24bcd0f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "pebbles"] path = pebbles url = https://github.com/blarney-lang/pebbles +[submodule "llvm-project"] + path = llvm-project + url = git@github.com:CTSRD-CHERI/llvm-project.git diff --git a/llvm-project b/llvm-project new file mode 160000 index 0000000..19d402e --- /dev/null +++ b/llvm-project @@ -0,0 +1 @@ +Subproject commit 19d402e23fcaa197e1d40547da403dc17e13c7ae