From d00496c39721d2e2c320529c77ef23a43b4ddb31 Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Mon, 5 Nov 2012 16:49:05 -0500 Subject: [PATCH] Add DAMSL K3 as an external repository --- .gitmodules | 3 +++ README | 6 ++++++ external/damsl-k3 | 1 + 3 files changed, 10 insertions(+) create mode 160000 external/damsl-k3 diff --git a/.gitmodules b/.gitmodules index 45cb1a6..be60043 100644 --- 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 9bd3589..46658f1 100644 --- 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 index 0000000..c3b0e41 --- /dev/null +++ b/external/damsl-k3 @@ -0,0 +1 @@ +Subproject commit c3b0e41c74c11c7e62934fd0f6fb96607a83e270 -- 2.50.1