add coq-categories as a submodule

diff --git a/.gitmodules b/.gitmodules
new file mode 100644 (file)
index 0000000..cf3cae9
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "src/categories"]
+       path = src/categories
+       url = http://git.megacz.com/coq-categories.git/

diff --git a/Makefile b/Makefile
index 7959831..9c73d49 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -10,13 +10,17 @@ build/CoqPass.hs: $(allfiles)
        cat src/Extraction-prefix.hs                                     > build/CoqPass.hs
        cat build/Extraction.hs | grep -v '^module' | grep -v '^import' >> build/CoqPass.hs
 
-build/Makefile.coq: $(coqfiles)
+build/Makefile.coq: $(coqfiles) src/categories/src
        mkdir -p build
        rm -f build/*.v
        rm -f build/*.d
-       cd build; ln -s ../src/*.v .
+       cd build; ln -fs `find ../src -name \*.v` .
        cd build; coq_makefile *.v > Makefile.coq
 
+src/categories/src:
+       git submodule update --init src/categories
+       cd compiler/categories; git checkout master
+
 clean:
        rm -rf build
 

diff --git a/src/categories b/src/categories
new file mode 160000 (submodule)
index 0000000..d490aac
--- /dev/null
+++ b/src/categories
@@ -0,0 +1 @@
+Subproject commit d490aac37c55dcdaaf3fca152846f13acbb447c6