]> matita.cs.unibo.it Git - helm.git/commit
matitamake stuff:
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 13 Jul 2005 08:38:00 +0000 (08:38 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 13 Jul 2005 08:38:00 +0000 (08:38 +0000)
commitb11d278a26840884692cdfb89e168081134d293f
treef993b4530cd90579fab92d2b728f77674ec7bc86
parentc27b932e5adcf89dc9de0e28f65e3370fe3e6b05
matitamake stuff:
- added matitamake
- matita.basedir has no /xml (added in save_object_to_disk)
- matitadep and matitac take -I <path> to add that path to
  where includes are searched
25 files changed:
helm/matita/.depend
helm/matita/Makefile.in
helm/matita/buildTimeConf.ml.in
helm/matita/matita.conf.xml.sample.in
helm/matita/matitaEngine.ml
helm/matita/matitaEngine.mli
helm/matita/matitaLog.ml
helm/matita/matitaLog.mli
helm/matita/matitaMisc.ml
helm/matita/matitaMisc.mli
helm/matita/matitaSync.ml
helm/matita/matitacLib.ml
helm/matita/matitaclean.ml
helm/matita/matitacleanLib.ml
helm/matita/matitadep.ml
helm/matita/matitamake.ml [new file with mode: 0644]
helm/matita/matitamakeLib.ml [new file with mode: 0644]
helm/matita/matitamakeLib.mli [new file with mode: 0644]
helm/matita/template_makefile.in [new file with mode: 0644]
helm/matita/tests/interactive/drop.ma
helm/matita/tests/interactive/grafite.ma
helm/matita/tests/interactive/test5.ma
helm/matita/tests/interactive/test6.ma
helm/matita/tests/interactive/test7.ma
helm/matita/tests/interactive/test_instance.ma