add coq-categories as a submodule

[coq-hetmet.git] / Makefile

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