ghc-bin/build

   1 #!/bin/sh -e
   2
   3 mkdir -p "$1/usr"
   4
   5 cp -r bin     "$1/usr"
   6 cp -r include "$1/usr"
   7 cp -r lib     "$1/usr"
   8 cp settings "$1/usr/lib/"
   9
  10 # These are provided by libffi.
  11 rm -f "$1/usr/lib/libffi.so" \
  12       "$1/usr/include/ffitarget.h" \
  13       "$1/usr/include/ffi.h"
  14
  15 install -Dm755 ghci    "$1/usr/bin"