From 1eda59e3da33312ea45cbe97eaa8fc1afa82a4e4 Mon Sep 17 00:00:00 2001 From: Julien Fischer Date: Wed, 2 Jan 2013 15:50:02 +1100 Subject: [PATCH] Convert .cvsignore files into .gitignore files. Delete the empty lazy_evaluation directory from extras. */.cvsignore: Make this into .gitignore files. (Update them where necessary.) extra/lazy_evalution: Delete this directory; its former contents were moved elsewhere some time ago. --- .cvsignore => .gitignore | 11 ++++++-- bindist/{.cvsignore => .gitignore} | 0 browser/{.cvsignore => .gitignore} | 0 compiler/{.cvsignore => .gitignore} | 0 deep_profiler/{.cvsignore => .gitignore} | 0 extras/lazy_evaluation/.nocopyright | 0 java/runtime/{.cvsignore => .gitignore} | 0 library/{.cvsignore => .gitignore} | 0 mdbcomp/{.cvsignore => .gitignore} | 0 profiler/{.cvsignore => .gitignore} | 0 robdd/{.cvsignore => .gitignore} | 0 runtime/{.cvsignore => .gitignore} | 2 ++ scripts/.cvsignore | 14 ---------- scripts/.gitignore | 33 ++++++++++++++++++++++++ slice/{.cvsignore => .gitignore} | 0 ssdb/{.cvsignore => .gitignore} | 0 tests/{.cvsignore => .gitignore} | 0 tools/.cvsignore | 1 - tools/.gitignore | 2 ++ util/{.cvsignore => .gitignore} | 0 20 files changed, 46 insertions(+), 17 deletions(-) rename .cvsignore => .gitignore (66%) rename bindist/{.cvsignore => .gitignore} (100%) rename browser/{.cvsignore => .gitignore} (100%) rename compiler/{.cvsignore => .gitignore} (100%) rename deep_profiler/{.cvsignore => .gitignore} (100%) delete mode 100644 extras/lazy_evaluation/.nocopyright rename java/runtime/{.cvsignore => .gitignore} (100%) rename library/{.cvsignore => .gitignore} (100%) rename mdbcomp/{.cvsignore => .gitignore} (100%) rename profiler/{.cvsignore => .gitignore} (100%) rename robdd/{.cvsignore => .gitignore} (100%) rename runtime/{.cvsignore => .gitignore} (95%) delete mode 100644 scripts/.cvsignore create mode 100644 scripts/.gitignore rename slice/{.cvsignore => .gitignore} (100%) rename ssdb/{.cvsignore => .gitignore} (100%) rename tests/{.cvsignore => .gitignore} (100%) delete mode 100644 tools/.cvsignore create mode 100644 tools/.gitignore rename util/{.cvsignore => .gitignore} (100%) diff --git a/.cvsignore b/.gitignore similarity index 66% rename from .cvsignore rename to .gitignore index 1892a8002..9b4c12394 100644 --- a/.cvsignore +++ b/.gitignore @@ -1,4 +1,7 @@ -README INSTALL TODO WORK_IN_PROGRESS +README +INSTALL +TODO +WORK_IN_PROGRESS mercury-compiler.spec configure config.cache @@ -10,6 +13,10 @@ so_locations Mmake.common Mmake.params Mmake.stage.params -stage1 stage2 stage3 +stage1 +stage2 +stage3 Mercury.options autom4te.cache +aclocal.m4 +.configured_library_grades diff --git a/bindist/.cvsignore b/bindist/.gitignore similarity index 100% rename from bindist/.cvsignore rename to bindist/.gitignore diff --git a/browser/.cvsignore b/browser/.gitignore similarity index 100% rename from browser/.cvsignore rename to browser/.gitignore diff --git a/compiler/.cvsignore b/compiler/.gitignore similarity index 100% rename from compiler/.cvsignore rename to compiler/.gitignore diff --git a/deep_profiler/.cvsignore b/deep_profiler/.gitignore similarity index 100% rename from deep_profiler/.cvsignore rename to deep_profiler/.gitignore diff --git a/extras/lazy_evaluation/.nocopyright b/extras/lazy_evaluation/.nocopyright deleted file mode 100644 index e69de29bb..000000000 diff --git a/java/runtime/.cvsignore b/java/runtime/.gitignore similarity index 100% rename from java/runtime/.cvsignore rename to java/runtime/.gitignore diff --git a/library/.cvsignore b/library/.gitignore similarity index 100% rename from library/.cvsignore rename to library/.gitignore diff --git a/mdbcomp/.cvsignore b/mdbcomp/.gitignore similarity index 100% rename from mdbcomp/.cvsignore rename to mdbcomp/.gitignore diff --git a/profiler/.cvsignore b/profiler/.gitignore similarity index 100% rename from profiler/.cvsignore rename to profiler/.gitignore diff --git a/robdd/.cvsignore b/robdd/.gitignore similarity index 100% rename from robdd/.cvsignore rename to robdd/.gitignore diff --git a/runtime/.cvsignore b/runtime/.gitignore similarity index 95% rename from runtime/.cvsignore rename to runtime/.gitignore index 523bb9abe..a0025d136 100644 --- a/runtime/.cvsignore +++ b/runtime/.gitignore @@ -1,8 +1,10 @@ *.pic_o +*.o *.dll mercury_conf.h mer_rt.init mercury_conf.h.date +libmer_rt.a libmer_rt.lib libmer_rt.dylib mercury_profiling_builtin.c diff --git a/scripts/.cvsignore b/scripts/.cvsignore deleted file mode 100644 index 100b98cc5..000000000 --- a/scripts/.cvsignore +++ /dev/null @@ -1,14 +0,0 @@ -c2init mmc mercury_update_interface mgnuc mint mkfifo_using_mknod ml -mmake mnc mnl mnp mprof msc msl msp sicstus_conv -Mmake.vars -mdb mdbrc test_mdbrc -canonical_grade -mercury.bat -mdprof -parse_ml_options.sh-subr -Mercury.config Mercury.config.bootstrap mercury_config -prepare_tmp_dir_fixed_part -config.log -mtags -prepare_install_dir -mdb.bat mprof.bat diff --git a/scripts/.gitignore b/scripts/.gitignore new file mode 100644 index 000000000..452b18398 --- /dev/null +++ b/scripts/.gitignore @@ -0,0 +1,33 @@ +c2init +mmc +mercury_update_interface +mgnuc +mint +mkfifo_using_mknod +ml +mmake +mnc +mnl +mnp +mprof +msc +msl +msp +sicstus_conv +Mmake.vars +mdb mdbrc test_mdbrc +canonical_grade +mercury.bat +mdprof +parse_ml_options.sh-subr +Mercury.config +Mercury.config.bootstrap +mercury_config +prepare_tmp_dir_fixed_part +config.log +mtags +prepare_install_dir +mdb.bat +mprof.bat +mdb +mdbrc diff --git a/slice/.cvsignore b/slice/.gitignore similarity index 100% rename from slice/.cvsignore rename to slice/.gitignore diff --git a/ssdb/.cvsignore b/ssdb/.gitignore similarity index 100% rename from ssdb/.cvsignore rename to ssdb/.gitignore diff --git a/tests/.cvsignore b/tests/.gitignore similarity index 100% rename from tests/.cvsignore rename to tests/.gitignore diff --git a/tools/.cvsignore b/tools/.cvsignore deleted file mode 100644 index 2edc103fa..000000000 --- a/tools/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -lmc dotime diff --git a/tools/.gitignore b/tools/.gitignore new file mode 100644 index 000000000..a0615eb2a --- /dev/null +++ b/tools/.gitignore @@ -0,0 +1,2 @@ +lmc +dotime diff --git a/util/.cvsignore b/util/.gitignore similarity index 100% rename from util/.cvsignore rename to util/.gitignore