rml/PKGBUILD

   1 # Contributor: George Giorgidze <giorgidze (at) gmail.com>
   2
   3 pkgname=rml
   4 pkgver=2.3.8.svn.147
   5 pkgrel=1
   6 pkgdesc="Relational Meta-Language (RML) and Tools, A System for Developing, Compiling and Debugging and Teaching Structural Operational Semantics (SOS) and Natural Semantics Specifications"
   7 arch=('i686' 'x86_64')
   8 url="http://www.ida.liu.se/~pelab/rml/"
   9 license=('custom')
  10 groups=()
  11 depends=('gmp')
  12 makedepends=('mlton')
  13 optdepends=()
  14 provides=()
  15 conflicts=()
  16 replaces=()
  17 backup=()
  18 options=()
  19 install=
  20 source=(http://openmodelica.ida.liu.se:8080/cb/displayDocument/${pkgname}-mmc_${pkgver}.orig.tar.gz?doc_id=1297)
  21 noextract=()
  22 md5sums=('2f6aa7978a6a44af3601d36c1be92994')
  23
  24 build() {
  25   cd "${srcdir}/${pkgname}-mmc-${pkgver}"
  26
  27   sed  --in-place -e '6s/SMLCM=/SMLCM=mlton/'    configure
  28   sed  --in-place -e '7s/MLLEX=/MLLEX=mllex/'    configure
  29   sed  --in-place -e '8s/MLYACC=/MLYACC=mlyacc/' configure
  30
  31   make distclean
  32
  33   ./configure  --prefix="${pkgdir}/opt/rml" --disable-debug --disable-profile
  34
  35   make
  36   make install
  37   sed  --in-place -e '3c\PREFIX=/opt/rml' "${pkgdir}/opt/rml/bin/rmlc"
  38
  39   cd 'compiler'
  40   mlton -verbose 3 -target self rml.mlb
  41   cd ..
  42
  43   install -D -m755 compiler/rml  "${pkgdir}/opt/rml/bin/rml"
  44   install -D -m644 'COPYRIGHT' "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
  45 }