Commit e27c3aa2 authored by Ian Lynagh's avatar Ian Lynagh

Add the time library, and support for libraries in tarballs

parent 4c96e490
#! /bin/sh
set -e
# Create libraries/*/{ghc.mk,GNUmakefile}
sh boot-pkgs
# Check that we have all boot packages.
for dir in `grep "^[^# ][^ ]* *[^ ][^ ]* *[^ ][^ ]*$" packages | sed "s/ .*//"`
do
......@@ -30,6 +33,3 @@ do
chmod +x $f
fi
done
# Create libraries/*/{ghc.mk,GNUmakefile}
sh boot-pkgs
......@@ -3,6 +3,33 @@ set -e
libraries=
tarred="time"
for p in $tarred
do
libraries="$libraries libraries/$p"
if [ -d "libraries/$p/_darcs" ]
then
echo Ignoring libraries/$p as it looks like a darcs checkout
else
tarball=libraries/tarballs/$p-*.tar.gz
stamp="libraries/stamp/$p"
if [ ! -d "libraries/$p" ] ||
[ ! -f "$stamp" ] ||
[ "libraries/stamp/$p" -ot $tarball ]
then
rm -rf "libraries/$p"
mkdir "libraries/$p"
(
cd "libraries/$p"
tar -zxf ../../$tarball
mv */* .
)
touch "$stamp"
fi
fi
done
for f in libraries/*; do
pkgs=$f/ghc-packages
if test -f $pkgs; then
......
......@@ -302,6 +302,7 @@ endif
PACKAGES += \
old-locale \
old-time \
time \
directory \
process \
random \
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment