From b96239c65703afba195a952d9f21b9588c136ac7 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 10 Jul 2003 09:11:30 +0000
Subject: [PATCH] * Moved the fetchutl package to corepkgs.

---
 corepkgs/fetchurl/fetchurl.fix | 9 +++++++++
 corepkgs/fetchurl/fetchurl.sh  | 3 +++
 2 files changed, 12 insertions(+)
 create mode 100644 corepkgs/fetchurl/fetchurl.fix
 create mode 100644 corepkgs/fetchurl/fetchurl.sh

diff --git a/corepkgs/fetchurl/fetchurl.fix b/corepkgs/fetchurl/fetchurl.fix
new file mode 100644
index 0000000000..a3b3d46e10
--- /dev/null
+++ b/corepkgs/fetchurl/fetchurl.fix
@@ -0,0 +1,9 @@
+Function(["url", "hash"],
+  Package(
+    [ ("build", Relative("fetchurl/fetchurl.sh"))
+    , ("url", Var("url"))
+    , ("hash", Var("hash"))
+    , ("name", BaseName(Var("url")))
+    ]
+  )
+)
diff --git a/corepkgs/fetchurl/fetchurl.sh b/corepkgs/fetchurl/fetchurl.sh
new file mode 100644
index 0000000000..a92092c6ee
--- /dev/null
+++ b/corepkgs/fetchurl/fetchurl.sh
@@ -0,0 +1,3 @@
+#! /bin/sh
+
+wget "$url" -O "$out"