From: Richard Jones Date: Tue, 26 May 2009 11:44:47 +0000 (+0100) Subject: Git ignore and other build fixes for git. X-Git-Tag: 0.9.0~7 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=88becff73ee0dda06c948273891fa609390fc538;p=ocaml-ancient.git Git ignore and other build fixes for git. --- diff --git a/.cvsignore b/.cvsignore deleted file mode 100644 index 9e75e4a..0000000 --- a/.cvsignore +++ /dev/null @@ -1,9 +0,0 @@ -*.cmi -*.cmo -*.cmx -*.cma -*.cmxa -*.opt -META -ancient-*.tar.gz -dictionary.data diff --git a/.depend b/.depend index c46008f..49a6579 100644 --- a/.depend +++ b/.depend @@ -1,5 +1,8 @@ +ancient.cmi: ancient.cmo: ancient.cmi ancient.cmx: ancient.cmi +ocaml_version.cmo: +ocaml_version.cmx: test_ancient_dict_read.cmo: ancient.cmi test_ancient_dict_read.cmx: ancient.cmx test_ancient_dict_verify.cmo: ancient.cmi diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..633b001 --- /dev/null +++ b/.gitignore @@ -0,0 +1,18 @@ +*~ +*.cmi +*.cmo +*.cmx +*.cma +*.cmxa +*.opt +*.a +*.o +*.so +META +ancient-*.tar.gz +dictionary.data +mmalloc/Makefile +mmalloc/autom4te.cache +mmalloc/config.cache +mmalloc/config.log +mmalloc/config.status \ No newline at end of file diff --git a/mmalloc/.cvsignore b/mmalloc/.cvsignore deleted file mode 100644 index c166791..0000000 --- a/mmalloc/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -Makefile -autom4te.cache -config.cache -config.log -config.status \ No newline at end of file