Complain if the old haddock or binary repos are in the tree
authorIan Lynagh <igloo@earth.li>
Fri, 17 Jun 2011 17:27:59 +0000 (18:27 +0100)
committerIan Lynagh <igloo@earth.li>
Fri, 17 Jun 2011 17:27:59 +0000 (18:27 +0100)
Also, change the haddock repo URL to point at the new repo.

NOTE: After pulling, you need to
    rm -r libraries/binary
    rm -r utils/haddock
    ./sync-all get

packages
sync-all

index 923b620..743150e 100644 (file)
--- a/packages
+++ b/packages
@@ -41,7 +41,7 @@
 .                               -           ghc.git                             git
 ghc-tarballs                    -           ghc-tarballs.git                    git
 utils/hsc2hs                    -           hsc2hs.git                          git
-utils/haddock                   -           haddock2.git                        git
+utils/haddock                   -           haddock.git                         git
 libraries/array                 -           packages/array.git                  git
 libraries/base                  -           packages/base.git                   git
 libraries/binary                -           packages/binary.git                 git
index ac06af1..b5c024c 100755 (executable)
--- a/sync-all
+++ b/sync-all
@@ -519,5 +519,48 @@ sub main {
     }
 }
 
+END {
+    my $ec = $?;
+    my $pwd = getcwd();
+
+    message "== Checking for old haddock repo";
+    if (-d "utils/haddock/.git") {
+        chdir("utils/haddock");
+        if ((system "git log -1 87e2ca11c3d1b1bc49900fba0b5c5c6f85650718 > /dev/null 2> /dev/null") == 0) {
+            print <<EOF;
+============================
+ATTENTION!
+
+You have an old haddock repository in your GHC tree!
+
+Please remove it (e.g. "rm -r utils/haddock"), and then run
+"./syncs-all get" to get the new repository.
+============================
+EOF
+        }
+        chdir($pwd);
+    }
+
+    message "== Checking for old binary repo";
+    if (-d "libraries/binary/.git") {
+        chdir("libraries/binary");
+        if ((system "git log -1 749ac0efbde3b14901417364a872796598747aaf > /dev/null 2> /dev/null") == 0) {
+            print <<EOF;
+============================
+ATTENTION!
+
+You have an old binary repository in your GHC tree!
+
+Please remove it (e.g. "rm -r libraries/binary"), and then run
+"./syncs-all get" to get the new repository.
+============================
+EOF
+        }
+        chdir($pwd);
+    }
+
+    $? = $ec;
+}
+
 main(@ARGV);