diff --git a/ghc/ghc.wrapper b/ghc/ghc.wrapper deleted file mode 100644 index 083a66db7e7d55a0a3eeb887d5cf431533d0d678..0000000000000000000000000000000000000000 --- a/ghc/ghc.wrapper +++ /dev/null @@ -1 +0,0 @@ -exec "$executablename" -B"$topdir" ${1+"$@"} diff --git a/utils/ghc-pkg/ghc-pkg.wrapper b/utils/ghc-pkg/ghc-pkg.wrapper deleted file mode 100644 index 3a14de1e22f7e8e2da4251aa2b41df43a4ad30d4..0000000000000000000000000000000000000000 --- a/utils/ghc-pkg/ghc-pkg.wrapper +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh - -PKGCONF="$topdir/package.conf.d" -exec "$executablename" --global-package-db "$PKGCONF" ${1+"$@"} - diff --git a/utils/haddock/haddock.wrapper b/utils/haddock/haddock.wrapper deleted file mode 100644 index a0fbda305714ca094c1502acb66bbb2785f351c6..0000000000000000000000000000000000000000 --- a/utils/haddock/haddock.wrapper +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -exec "$executablename" -B"$topdir" -l"$topdir" ${1+"$@"} diff --git a/utils/hp2ps/hp2ps.wrapper b/utils/hp2ps/hp2ps.wrapper deleted file mode 100644 index 22982ef0f84098c05d95a75f00600215e649006e..0000000000000000000000000000000000000000 --- a/utils/hp2ps/hp2ps.wrapper +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -exec "$executablename" ${1+"$@"} diff --git a/utils/runghc/runghc.wrapper b/utils/runghc/runghc.wrapper deleted file mode 100644 index 5caea0b6c71086ce1170f72df4c157d23df5c9f3..0000000000000000000000000000000000000000 --- a/utils/runghc/runghc.wrapper +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -exec "$executablename" -f "$bindir/$ghcprog" ${1+"$@"}