add coq-categories as a submodule

[coq-hetmet.git] / Makefile

diff --git a/Makefile b/Makefile
index 06d0382..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
 
@@ -29,9 +33,6 @@ push: build/CoqPass.hs
          git commit -m 'update baked-in CoqPass.hs' && \
          (git push -f http://git.megacz.com/coq-hetmet.git master:coq-extraction-baked-in; \
           git reset HEAD^)
-       make publish
-
-publish:
        rm -rf .temp
        mkdir .temp
        cd .temp; ln -s ../src/*.v .