[Souffle] add new repository

petablox · Oct 2, 2017 · 38089a4 · 38089a4
1 parent 40f4550
commit 38089a4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -14,3 +14,6 @@
 	path = libsrc/soot
 	url = https://github.com/petablox-project/soot.git
 	branch = develop
+[submodule "libsrc/souffle"]
+	path = libsrc/souffle
+	url = https://github.com/souffle-lang/souffle.git
diff --git a/libsrc/souffle b/libsrc/souffle