mizar/PKGBUILD

   1 # Contributor: Roberto Nobrega <rwnobrega@gmail.com>
   2 pkgname=mizar
   3 pkgver=7.12.01_4.166.1132
   4 pkgrel=1
   5 pkgdesc="An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software (binary only)"
   6 arch=('i686' 'x86_64')
   7 url="http://mizar.org/"
   8 license=('custom')
   9 depends=()
  10 makedepends=()
  11 optdepends=('emacs: GNU Emacs Lisp mode support')
  12 install=${pkgname}.install
  13 source=(ftp://mizar.uwb.edu.pl/pub/system/i386-linux/$pkgname-$pkgver-i386-linux.tar)
  14 md5sums=('b52a7af8b1cc11ea63ed781c6c9843e5')
  15
  16 build() {
  17     cd $srcdir
  18     ./install.sh --nodialog <<< "$pkgdir/usr/bin
  19         $pkgdir/usr/share/$pkgname
  20         $pkgdir/usr/share/doc/$pkgname" > /dev/null || return 1
  21 }
  22
  23 package() {
  24     cd $pkgdir
  25     mkdir -p etc/profile.d
  26     echo "export MIZFILES=/usr/share/$pkgname" > etc/profile.d/$pkgname.sh  || return 1
  27 }