diff options
author | Ian Lynagh <ian@well-typed.com> | 2012-12-02 16:49:36 +0000 |
---|---|---|
committer | Ian Lynagh <ian@well-typed.com> | 2012-12-02 16:58:21 +0000 |
commit | 8fd3f3cebaccd270e10bc7b288a169ea9d0d5e29 (patch) | |
tree | bae7154162dc72a778f39e75ff1d7d4e02189ecf /boot | |
parent | 691c8a8cef3b26a7f4734a6f7b69871a0ed726fd (diff) | |
download | haskell-8fd3f3cebaccd270e10bc7b288a169ea9d0d5e29.tar.gz |
Use a submodule for the time package
This bring the time package into line with how we handle other
packages.
Diffstat (limited to 'boot')
-rwxr-xr-x | boot | 43 |
1 files changed, 0 insertions, 43 deletions
@@ -85,51 +85,8 @@ sub sanity_check_tree { # Create libraries/*/{ghc.mk,GNUmakefile} sub boot_pkgs { my @library_dirs = (); - my @tarballs = glob("libraries/tarballs/*"); - my $tarball; my $package; - my $stamp; - - for $tarball (@tarballs) { - $package = $tarball; - $package =~ s#^libraries/tarballs/##; - $package =~ s/-[0-9.]*(-snapshot)?\.tar\.gz$//; - - # Sanity check, so we don't rmtree the wrong thing below - if (($package eq "") || ($package =~ m#[/.\\]#)) { - die "Bad package name: $package"; - } - - if (-d "libraries/$package/_darcs") { - print "Ignoring libraries/$package as it looks like a darcs checkout\n" - } - elsif (-d "libraries/$package/.git") { - print "Ignoring libraries/$package as it looks like a git checkout\n" - } - else { - if (! -d "libraries/stamp") { - mkdir "libraries/stamp"; - } - $stamp = "libraries/stamp/$package"; - if ((! -d "libraries/$package") || (! -f "$stamp") - || ((-M "libraries/stamp/$package") > (-M $tarball))) { - print "Unpacking $package\n"; - if (-d "libraries/$package") { - &rmtree("libraries/$package") - or die "Can't remove libraries/$package: $!"; - } - mkdir "libraries/$package" - or die "Can't create libraries/$package: $!"; - system ("sh", "-c", "cd 'libraries/$package' && { cat ../../$tarball | gzip -d | tar xf - ; } && mv */* .") == 0 - or die "Failed to unpack $package"; - open STAMP, "> $stamp" - or die "Failed to open stamp file: $!"; - close STAMP - or die "Failed to close stamp file: $!"; - } - } - } for $package (glob "libraries/*/") { $package =~ s/\/$//; |