Add DAMSL K3 as an external repository

diff --git a/.gitmodules b/.gitmodules
index 45cb1a6f351d4b29f9041947d65a39116d05d235..be6004304aff032e4eb180b6a3c4b70de4f4f77c 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "external/ekmett-trifecta"]
        path = external/ekmett-trifecta
        url = git://github.com/ekmett/trifecta.git
+[submodule "external/damsl-k3"]
+       path = external/damsl-k3
+       url = git@git.assembla.com:damsl.k3.git

diff --git a/README b/README
index 9bd35895cabf0e4b5a6e07eb977520e05cd6447f..46658f1546f5ee2d5fb257c47dcd78cf0487de89 100644 (file)
--- a/README
+++ b/README
@@ -2,6 +2,8 @@ An overview of the source tree
 ------------------------------
 
 external/
+  damsl-k3         -- The DAMSL K3 tree, tracked as a git submodule.
+
   ekmett-trifecta  -- The trifecta parser combinator library, tracked
                    -- as a git submodule.
 
@@ -35,6 +37,10 @@ git submodule init
 git submodule update
 (cd external/ekmett-trifecta; cabal install --user)
 
+Build K3, which requires OCaml:
+
+(cd external/damsl-k3; make)
+
 Then fetch, build, and install any dependencies
 
 (cabal install --enable-tests --only-dependencies)

diff --git a/external/damsl-k3 b/external/damsl-k3
new file mode 160000 (submodule)
index 0000000..c3b0e41
--- /dev/null
+++ b/external/damsl-k3
@@ -0,0 +1 @@
+Subproject commit c3b0e41c74c11c7e62934fd0f6fb96607a83e270