]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02c3583) | patch
META files are now automatically generated from META-*.src files.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 28 Nov 2001 11:23:51 +0000 (11:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 28 Nov 2001 11:23:51 +0000 (11:23 +0000)
commit425f2471b811c898c84cf7f5230037dd3c8b719b
treee911fdeba123db5cb97d473070fbdd5d36fcf6cftree | snapshot
parent02c3583e17631f04375a185af5d7b49698cd3d24commit | diff
META files are now automatically generated from META-*.src files.
In this way all the hard-coded file paths have been removed.
Installation and uninstallation (still not implemented) should be also
easier.
Moreover, an error in a sub-directory now stops the whole processing.
20 files changed:
helm/ocaml/.cvsignore [new file with mode: 0644] blob
helm/ocaml/META.helm-cic [deleted file] blob | history
helm/ocaml/META.helm-cic.src [new file with mode: 0644] blob
helm/ocaml/META.helm-cic_annotations [deleted file] blob | history
helm/ocaml/META.helm-cic_annotations.src [new file with mode: 0644] blob
helm/ocaml/META.helm-cic_annotations_cache [deleted file] blob | history
helm/ocaml/META.helm-cic_annotations_cache.src [new file with mode: 0644] blob
helm/ocaml/META.helm-cic_cache [deleted file] blob | history
helm/ocaml/META.helm-cic_cache.src [new file with mode: 0644] blob
helm/ocaml/META.helm-cic_proof_checking [deleted file] blob | history
helm/ocaml/META.helm-cic_proof_checking.src [new file with mode: 0644] blob
helm/ocaml/META.helm-getter [deleted file] blob | history
helm/ocaml/META.helm-getter.src [new file with mode: 0644] blob
helm/ocaml/META.helm-pxp [deleted file] blob | history
helm/ocaml/META.helm-pxp.src [new file with mode: 0644] blob
helm/ocaml/META.helm-urimanager [deleted file] blob | history
helm/ocaml/META.helm-urimanager.src [new file with mode: 0644] blob
helm/ocaml/META.helm-xml [deleted file] blob | history
helm/ocaml/META.helm-xml.src [new file with mode: 0644] blob
helm/ocaml/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.