Arch Linux

Krzysiek_W

Member

From: Poland, Bialystok - tam gdzie

Registered: 2004-12-08

Posts: 45

Website

[NEW] MIZAR

Hi,
The Mizar Language is a formal language derived from the matematical vernacular. The principle idea of its author was to design a language readable for mathematicians and, simultaneously, sufficiently rigorous to enable processing and verifying by computer software. It has huge Mathematical Library (MML).

http://mizar.org

PKGBUILD

# Contributor: Krzysiek Wojszko <w dot krzysiek at gmail dot com>
pkgname=mizar
pkgver=7.3.01_4.25.898
pkgrel=1
pkgdesc="Proof checking system with huge Mathematical Library (MML)."
url="http://mizar.org"
license=""
depends=('bash' 'grep' 'perl')
makedepends=()
conflicts=()
replaces=()
backup=()
install=mizar.install
source=(ftp://mizar.uwb.edu.pl/pub/system/linux/$pkgname-$pkgver-linux.tar 
mizar.sh mizar.install)

build() {
  cd $startdir/src/
  #fix install.sh
  sed -i "s@/usr/local/bin@$startdir/pkg/usr/bin@g" install.sh
  sed -i "s@/usr/local/doc/mizar@$startdir/pkg/usr/doc/mizar@g" install.sh
  sed -i "s@/usr/local/share/mizar@$startdir/pkg/usr/share/mizar@g" install.sh
  #install
  bash install.sh --default
  #set variable
  install -Dm755  mizar.sh $startdir/pkg/etc/profile.d/mizar.sh
  #rm docs
  rm -r $startdir/pkg/usr/doc

}

mizar.sh

export MIZFILES=/usr/share/mizar

mizar.install

# This is a default template for a post-install scriptlet.  You can
# remove any functions you don't need (and this header).

# arg 1:  the new package version
pre_install() {
  /bin/true
}

# arg 1:  the new package version
post_install() {
echo "Add this to your .emasc file to use mizar-mode:"
echo "---begin .emacs---"
echo ";;; example setting for Mizar mode"
echo ""
echo " (global-font-lock-mode t)"
echo " (setq require-final-newline t)"
echo " (setq load-path (cons (substitute-in-file-name "$MIZFILES") load-path))"
echo " (autoload 'mizar-mode "mizar" "Major mode for editing Mizar articles." t)"
echo " (autoload 'mmlquery-decode "mizar")"
echo " (autoload 'mmlquery-mode "mizar")"
echo " (setq auto-mode-alist (append '(  ("\.miz" . mizar-mode)"
echo "                                   ("\.abs" . mizar-mode))"
echo "                              auto-mode-alist))"
echo " (setq format-alist"
echo "      (append  '("
echo "                 (text/mmlquery "Extended MIME text/mmlquery format.""
echo "                  "::[ t]*Content-[Tt]ype:[    ]*text/mmlquery""
echo "                  mmlquery-decode nil nil mmlquery-mode))"
echo "               format-alist))"
echo ""
echo "---end .emacs---"
echo ""
echo "warning: Mizar is free of charge for non commercial purposes."
echo "NOTE: Almost all material contained in the Mizar distribution is copyrighted."
echo ""
echo "    Mizar Users Group"
echo "    Lasek Brzozowy 15/9"
echo "    02-792 Warsaw"
echo "    POLAND"
echo ""
}

# arg 1:  the new package version
# arg 2:  the old package version
pre_upgrade() {
  /bin/true
}

# arg 1:  the new package version
# arg 2:  the old package version
post_upgrade() {
  /bin/true
}

# arg 1:  the old package version
pre_remove() {
  /bin/true
}

# arg 1:  the old package version
post_remove() {
  /bin/true
}

op=$1
shift
$op $*

---

Greetings
Krzysiek Wojszko