mosml/PKGBUILD

   1 # Maintainer : DAI Yi <plmday_at_gmail_dot_com>
   2 # Contributor: Constantin Berhard <cberhard_at_directbox_dot_com>
   3 #            , Moritz Wilhelmy <echo dGhlLnd1bGYuZ2FuZ0Bnb29nbGVtYWlsLmNvbQ== | base64 -d>
   4 #            , Drew Desai <alerante_at_yahoo_dot_com>
   5
   6 pkgname=mosml
   7 pkgver=2.01
   8 pkgrel=4
   9 pkgdesc="Moscow ML is a light-weight implementation of Standard ML (SML)"
  10 url="http://www.itu.dk/~sestoft/mosml.html"
  11 license=('GPL')
  12 arch=('i686' 'x86_64')
  13 install=mosml.install
  14 source=(http://www.itu.dk/people/sestoft/mosml/mos201src.tar.gz mosml.sh http://www.itu.dk/people/sestoft/mosml/gc_ctrl.c)
  15 md5sums=('74aaaf988201fe92a9dbfbcb1e646f70' 'e226cfe205477a1fb77caa9b8a44d3ee' 'ebb714a2d45889f4ecc796a9add40bd6')
  16
  17 build() {
  18   cd "${srcdir}/${pkgname}/src/"
  19
  20   [ "$CARCH" = "x86_64" ] && cp "${srcdir}/gc_ctrl.c" "./runtime/"
  21   mkdir -p "${pkgdir}/opt/mosml"
  22   make MOSMLHOME="/opt/mosml" world
  23 }
  24
  25 package() {
  26   cd "${srcdir}/${pkgname}/src"
  27
  28   make MOSMLHOME="${pkgdir}/opt/mosml" install
  29   cp -r ../examples "${pkgdir}/opt/mosml/"
  30   cp -r ../copyrght "${pkgdir}/opt/mosml/"
  31   install -D -m755 "${srcdir}/mosml.sh" "${pkgdir}/etc/profile.d/mosml.sh"
  32 }
  33