]> matita.cs.unibo.it Git - helm.git/commit
now we try two distinct depend files for compilation in byte and native code
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 29 Dec 2006 14:35:31 +0000 (14:35 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 29 Dec 2006 14:35:31 +0000 (14:35 +0000)
commit2bc5d5bfa8278945527b3f36ffd467802899b148
treea9bc96d483bedf6e7997cdfd07ed8ef2781e2b59
parent1253cd9cbbdef7def40fa4688d8db953f8c99726
now we try two distinct depend files for compilation in byte and native code
39 files changed:
helm/software/components/Makefile.common
helm/software/components/acic_content/.depend.opt [new file with mode: 0644]
helm/software/components/binaries/extractor/.depend.opt [new file with mode: 0644]
helm/software/components/binaries/extractor/Makefile
helm/software/components/binaries/saturate/Makefile
helm/software/components/binaries/table_creator/.depend.opt [new file with mode: 0644]
helm/software/components/binaries/table_creator/Makefile
helm/software/components/binaries/utilities/.depend.opt [new file with mode: 0644]
helm/software/components/binaries/utilities/Makefile
helm/software/components/cic/.depend.opt [new file with mode: 0644]
helm/software/components/cic_acic/.depend.opt [new file with mode: 0644]
helm/software/components/cic_disambiguation/.depend.opt [new file with mode: 0644]
helm/software/components/cic_proof_checking/.depend.opt [new file with mode: 0644]
helm/software/components/cic_unification/.depend.opt [new file with mode: 0644]
helm/software/components/content_pres/.depend
helm/software/components/content_pres/.depend.opt [new file with mode: 0644]
helm/software/components/extlib/.depend.opt [new file with mode: 0644]
helm/software/components/getter/.depend.opt [new file with mode: 0644]
helm/software/components/grafite/.depend.opt [new file with mode: 0644]
helm/software/components/grafite_engine/.depend.opt [new file with mode: 0644]
helm/software/components/grafite_parser/.depend.opt [new file with mode: 0644]
helm/software/components/hgdome/.depend.opt [new file with mode: 0644]
helm/software/components/hmysql/.depend.opt [new file with mode: 0644]
helm/software/components/lexicon/.depend.opt [new file with mode: 0644]
helm/software/components/library/.depend.opt [new file with mode: 0644]
helm/software/components/logger/.depend.opt [new file with mode: 0644]
helm/software/components/metadata/.depend.opt [new file with mode: 0644]
helm/software/components/registry/.depend.opt [new file with mode: 0644]
helm/software/components/syntax_extensions/.depend.opt [new file with mode: 0644]
helm/software/components/tactics/.depend.opt [new file with mode: 0644]
helm/software/components/tactics/tactics.mli
helm/software/components/thread/.depend.opt [new file with mode: 0644]
helm/software/components/tptp_grafite/.depend.opt [new file with mode: 0644]
helm/software/components/urimanager/.depend.opt [new file with mode: 0644]
helm/software/components/whelp/.depend.opt [new file with mode: 0644]
helm/software/components/xml/.depend.opt [new file with mode: 0644]
helm/software/components/xmldiff/.depend.opt [new file with mode: 0644]
helm/software/matita/.depend.opt [new file with mode: 0644]
helm/software/matita/Makefile