]> matita.cs.unibo.it Git - helm.git/commit
added SRC parameter to makefile (the one placed in the root of a development) to...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 26 Sep 2006 16:06:54 +0000 (16:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 26 Sep 2006 16:06:54 +0000 (16:06 +0000)
commit3811995e8c58a431ee03b75a7f30a760df327519
tree628e88886e012eba1c86b6e9d3a7cd3b63abdea3
parent4527c3cd00ac1de7e248c4f90e7d826ad572ccc0
added SRC parameter to makefile (the one placed in the root of a development) to specify the set of files to handle (if omitted all files reachable from the root dir of the development are used).
matita/matitamakeLib.ml
matita/template_makefile_devel.in