From 8dc348a407d7a476388401765b24f7815cc801cf Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 20 Mar 2011 18:57:07 -0700 Subject: [PATCH] add coq-categories as a submodule --- .gitmodules | 3 +++ Makefile | 8 ++++++-- src/categories | 1 + 3 files changed, 10 insertions(+), 2 deletions(-) create mode 100644 .gitmodules create mode 160000 src/categories diff --git a/.gitmodules b/.gitmodules new file mode 100644 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 --- 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 index 0000000..d490aac --- /dev/null +++ b/src/categories @@ -0,0 +1 @@ +Subproject commit d490aac37c55dcdaaf3fca152846f13acbb447c6 -- 1.7.10.4